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

10.5. EXTRACÇÃO AUTOMÁTICA DE RELAÇÕES 171
init stats
IF c1 THEN
alt. stats 1
COMMIT
ENDIF
IF c2 THEN
alt. stats 2
COMMIT
ENDIF
....
IF cn THEN
alt. stats n
COMMIT
ENDIF
ROLLBACK
init stats
IF c1 THEN
alt. stats 1
COMMIT
ELSE
ABORT
ENDIF
init stats
IF c2 AND NOT c1 THEN
alt. stats 2
COMMIT
ELSE
ABORT
ENDIF
conjunto ordenado de
alternativas
init stats
IF cn AND NOT c1 AND
... THEN
alt. stats n
COMMIT
ELSE
ABORT
ENDIF
...
Figura 10.9: Divisão de uma transacção composta por uma sequência de instruções if num conjunto
ordenado de transacções alternativas.
10.5.4.3 Transacções complexas
O mecanismo de inferência de relações pode ter dificuldade em lidar com transacções longas e complexas
que acedam a muitos elementos de dados ou incluam vários caminhos de execução possíveis. Devido
a estas características, estas transacções podem estabelecer relações, possivelmente contraditórias, com
um elevado número de outras transacções. Assim, as relações estabelecidas podem tornar-se inúteis para
guiar a pesquisa executada pelo algoritmo de reconciliação.
Por exemplo, a utilidade da relação de comutatividade consiste em separar as transacções em con-
juntos de transacções independentes. O facto de as transacções complexas tenderem a ser comutativas
com um menor número de outras transacções põe em causa a possibilidade de separar as transacções a
reconciliar e, portanto, o papel que esta relação deve desempenhar.
Para evitar estes problemas, a API do sistema SqlIceCube permite aos programadores submeterem
as transacções longas como um conjunto de pequenas transacções ligadas pelas relações da aplicação
apropriadas. No protótipo do sistema Mobisnap, esta API não está directamente disponível 8 .
O sistema SqlIceCube pode ainda pré-processar as transacções móveis complexas e dividi-las num
conjunto de pequenas transacções ligadas pelas relações da aplicação apropriadas. As seguintes regras
de pré-processamento podem ser aplicadas:
• A separação dos vários caminhos de execução de uma transacção móvel num conjunto ordenado
de transacções alternativas (usando as relações alternativas e predecessor/sucessor fraco). Nas
8 Para permitir que as aplicações especifiquem as relações da aplicação directamente, garantindo o respeito pelas relações
definidas durante o processamento normal, poder-se-ia usar a seguinte aproximação. As transacções ligadas pela relação grupo
indivisível são executadas como uma única transacção apenas após a submissão da última transacção que pertença ao grupo
indivisível. Para respeitar as outras relações é apenas necessário abortar as transacções cuja execução viole as relações estabe-
lecidas, tendo em conta as transacções já executadas com sucesso.