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

172 CAPÍTULO 10. SISTEMA DE RECONCILIAÇÃO SQLICECUBE
init stats
IF c1 THEN
IF c2 THEN
alt. stats 1
COMMIT
ELSE
alt. stats 2
COMMIT
ENDIF
ELSEIF c3 THEN
alt. stats 3
COMMIT
ELSE
ROLLBACK
ENDIF
init stats
IF c1 AND c2 THEN
alt. stats 1
COMMIT
ELSE
ABORT
ENDIF
init stats
IF c1 AND NOT c2
THEN
alt. stats 2
COMMIT
ELSE
ABORT
ENDIF
conjunto ordenado de
alternativas
init stats
IF c3 AND NOT c1
THEN
alt. stats 3
COMMIT
ELSE
ABORT
ENDIF
Figura 10.10: Divisão de uma transacção composta por um conjunto de instruções if encadeadas num
conjunto ordenado de transacções alternativas.
figuras 10.9 e 10.10 apresentam-se exemplos deste pré-processamento.
• A divisão de uma transacção longa num conjunto de pequenas transacções associadas num grupo
indivisível e ligadas, se necessário, pela relação predecessor/sucessor.
O sistema pode ainda inferir automaticamente a causalidade entre as transacções submetidas por
uma aplicação usando a seguinte regra: se uma transacção aceder (ler ou modificar) a um elemento
de dados escrito por uma transacção submetida anteriormente, pode assumir-se que existe uma relação
predecessor/sucessor fraco (a segunda transacção deve ser executada após a execução da primeira).
10.6 Observações finais
O sistema SqlIceCube é um sistema de reconciliação genérico que aborda o processo de reconciliação
como um problema de optimização, aproximação da qual foi pioneiro o sistema IceCube [85]. O sistema
pesquisa o espaço de possíveis soluções eficientemente [133, 134] com base numa heurística baseada na
informação semântica associada às transacções móveis.
Ao contrário dos sistemas de reconciliação que exigem que o programador exponha a semântica
das operações, o sistema SqlIceCube é o primeiro a incluir um mecanismo de inferência automática
que permite extrair a informação semântica necessária a partir do código das transacções móveis. Esta
aproximação permite simplificar bastante a utilização dum sistema de reconciliação baseado na utilização
da informação semântica. Uma aplicação pode, caso o deseje, impor relações arbitrárias adicionais entre
as transacções que executa.
Os exemplos apresentados mostram que, caso se tenham alguns cuidados na definição das transac-
ções móveis, o sistema SqlIceCube consegue inferir as relações semânticas esperadas. As extensões
propostas permitem eliminar (a maioria) esses cuidados.