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

10.3. ALGORITMO DE RECONCILIAÇÃO 153
de outra transacção. Se duas transacções forem independentes, a ordem pela qual são executadas não
influencia o resultado final. Face às relações definidas anteriormente, as transacções a e b são indepen-
dentes sse:
independentes(a,b) =¬predecessor/sucessor(a,b) ∧ ¬predecessor/sucessor(b,a)∧
¬predecessor/sucessor f raco(a,b) ∧ ¬predecessor/sucessor f raco(b,a)∧
∧ comutativas(a,b)
10.3 Algoritmo de reconciliação
O algoritmo de reconciliação define a ordem de execução das transacções na base de dados. O espaço de
soluções possíveis é explorado por amostragem de forma heurística. Para tal, sucessivas soluções são cri-
adas e executadas até que uma solução satisfatória seja encontrada. Cada solução gerada é independente
das anteriores, i.e., não se usa uma aproximação de optimização local.
Uma solução inclui apenas as transacções executadas com sucesso. As restantes transacções podem
ter sido excluídas da solução por não poderem ser executadas no estado final da base de dados ou por vi-
olarem uma relação estática (por exemplo, pertencer a um conjunto de alternativas, do qual foi executada
uma transacção).
A cada transacção pode ser atribuído um valor numérico que representa a sua importância no contexto
da aplicação (no sistema Mobisnap, assume-se que todas as transacções tem valor igual a um). A soma
dos valores numéricos das transacções incluídas numa sequência representa o valor da solução — o
sistema SqlIceCube tenta criar uma sequência de transacções que maximize este valor.
Para melhorar o desempenho do sistema de reconciliação decompõe-se a criação da sequência de
execução em vários subproblemas. Cada subproblema consiste em criar uma parte da sequência a partir
de um subconjunto de transacções independentes do resto das transacções. Nesta secção detalham-se os
algoritmos usados no sistema de reconciliação.
10.3.1 Heurística
Uma solução (sequência de execução) é criada incrementalmente seleccionando em cada passo uma
transacção para execução. Esta selecção é efectuada, aleatoriamente, entre as transacções com mérito
mais elevado.
O mérito associado a uma transacção é estimado, de forma heurística, a partir das relações estáticas
que se estabelecem entre as transacções. Nesta estimativa, apenas são consideradas as transacções que
podem ser executadas. O mérito de uma transacção que não pode ser executada imediatamente por as
relações da aplicação estabelecidas não estarem satisfeitas (por exemplo, uma transacção que é sucessora