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

162 CAPÍTULO 10. SISTEMA DE RECONCILIAÇÃO SQLICECUBE
O conjunto de leitura associado a um caminho de execução é obtido a partir dos elementos dos
conjuntos de escrita e do conjunto de pré-condições, obtendo todos os valores especiais read(...) usados
na descrição semântica desses elementos.
Associado a cada caminho de execução que termina com sucesso obtém-se um grupo de informação
semântica composto pelo conjunto de escrita, de leitura e de pré-condições. Relativamente aos caminhos
de execução que terminam numa instrução rollback não se obtém qualquer informação. Assim, associada
a cada transacção podem existir vários grupos de informação semântica.
Exemplo: Considere-se o seguinte programa:
1 BEGIN
2 IF c1 THEN
3 IF c2 THEN
4 COMMIT;
5 ELSE
6 COMMIT;
7 END IF;
8 ELSEIF c3 THEN
9 ROLLBACK;
10 END IF;
11 END
Este programa tem quatro caminhos de execução possíveis. O primeiro termina na instrução commit
da linha 4. Neste caso, o conjunto de pré-condições inclui os valores precond(c1) e precond(c2). O
segundo termina na instrução commit da linha 6 e o respectivo conjunto de pré-condições inclui os
valores precond(c1) e precond(not c2). O terceiro termina na instrução rollback da linha 9. Assim, não
se extrai informação semântica deste caminho de execução. O quarto caminho de execução termina no
fim do programa e o conjunto de pré-condições inclui os valores precond(not c1) e precond(not c3).
Desta forma, associado e esta transacção existem três grupos de informação semântica. Para que
seja possível executar a transacção num dado estado da base de dados é apenas necessário que todos os
valores de um dos conjuntos de pré-condições seja verdadeiro nesse estado.
Na figura 10.5 apresenta-se uma transacção móvel que introduz uma nova encomenda (semelhante à
transacção apresentada na figura 8.1, mas usando identificadores numéricos para identificar os produtos,
vendedores e clientes). Neste caso, apenas existe um caminho de execução possível, sendo a informação
semântica extraída apresentada na figura como comentários (linhas iniciadas por --).
10.5.2 Inferir relações
As relações estáticas entre cada par de transacções são inferidas a partir da informação semântica extraída
de cada uma das transacções usando as regras que se apresentam nesta subsecção. Diz-se que o valor de
uma relação é verdadeiro se a relação se estabelece entre as duas transacções e falso no caso contrário.
Durante a avaliação das regras definidas é necessário verificar se as descrições semânticas obtidas
a partir das transacções referem os mesmos elementos de dados. Esta verificação inclui os elementos