gestão de dados partilhados em ambientes de computação móvel

160 CAPÍTULO 10. SISTEMA DE RECONCILIAÇÃO SQLICECUBE
• [a,t0,t1,...,tn,b] ≡ [a,b,t0,t1,...,tn], sse independentes(t0,b) ∧ ... ∧ independentes(tn,b);
• [a,t0,t1,...,tn,b] ≡ [t0,t1,...,tn,a,b], sse independentes(a,t0) ∧ ... ∧ independentes(a,tn).
Adicionalmente, é necessário garantir que as intenções dos utilizadores expressas através de relações
da aplicação estabelecidas entre as transacções são respeitadas. Para tal, aplicam-se as seguintes regras
sempre que se comprime um par de transacções a e b usando qualquer das regras especificadas:
• Se a pertence a um conjunto de transacções alternativas A (relação alternativas), todas as transac-
ções A \ {a} são removidas da sequência produzida. A mesma regra é aplicada a b.
• Se a pertence a um grupo indivisível, a transacção que resulta da compressão também deve per-
tencer a esse grupo indivisível (se o resultado for a sequência vazia, todas as transacções do grupo
indivisível devem ser executadas com sucesso). A mesma regra é aplicada a b.
• Se existe uma relação predecessor/sucessor fraco ou predecessor/sucessor entre a e b, essa relação
desaparece.
• Se a tem um predecessor (sucessor) t (relação predecessor/sucessor fraco ou predeces-
sor/sucessor), a mesma relação deve ser estabelecida entre a transacção resultado da compressão e
t. A mesma regra é aplicada a b.
A sequência de transacções a propagar para o servidor, armazenada num cliente, é comprimida in-
crementalmente. Assim, o cliente verifica imediatamente se pode comprimir cada nova transacção 5
10.5 Extracção automática de relações
A extracção automática de relações entre as transacções móveis é executada a partir da análise estática
dos seus programas. Este processo consiste em dois passos. Primeiro, para cada transacção, extrai-
-se a informação sobre os dados lidos, os dados escritos, e as pré-condições que levam ao sucesso da
transacção. Segundo, as relações entre duas transacções são inferidas comparando a informação obtida
anteriormente. Nesta secção detalha-se cada um destes processos.
A análise estática de programas [49] foi usada em vários sistemas com várias finalidades, entre as
quais se destacam a verificação da correcção [48, 69, 10] e equivalência de programas [92]. No entanto,
que o autor saiba, este trabalho é o primeiro a utilizar uma aproximação similar na reconciliação de dados.
A análise estática executada no sistema SqlIceCube apresenta algumas características pouco comuns: é
executada durante o funcionamento do sistema e a informação extraída dos programas é usada para
inferir relações diferentes da equivalência entre dois programas.
5 No âmbito do sistema Mobisnap, apenas as transacções não garantidas localmente são comprimidas.