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

152 CAPÍTULO 10. SISTEMA DE RECONCILIAÇÃO SQLICECUBE
10.2.2 Relações dos dados
As relações dos dados (data contraints) exprimem relações, entre duas transacções, que reflectem a
semântica das operações e dos dados, independentemente do estado da base de dados.
Foram definidas as seguintes relações:
Comutativas Indica que duas transacções são comutativas, i.e., que o resultado da sua execução é idên-
tico independentemente da ordem de execução (se executadas consecutivamente). Duas transac-
ções t1 e t2 são comutativas sse ∀s ∈ S,t1(t2(s)) = t2(t1(s)), com S o conjunto de todos os estados
possíveis da base de dados, e t(s) o estado da base de dados que resulta de executar a transacção t
no estado s.
Impossibilita Indica que uma transacção torna impossível a execução (sucessiva) de outra transacção.
t1 impossibilita t2 sse ∀s ∈ S,¬valido(t2,t1(s)), com valido(t,s) verdadeiro sse é possível executar
com sucesso a transacção t no estado s. Por exemplo, uma transacção que reserve um dado lugar
num comboio impossibilita a execução com sucesso de outra transacção que reserve o mesmo
lugar.
Torna possível Indica que uma transacção torna possível a execução (sucessiva) de outra transacção.
t1 torna possível t2 sse ∀s ∈ S,valido(t2,t1(s)). Por exemplo, uma transacção que cancele uma
reserva de um dado lugar num comboio possibilita a execução com sucesso de outra transacção
que reserve o mesmo lugar.
Desfavorece Indica que uma transacção desfavorece a execução (sucessiva) de outra transacção. t1
desfavorece t2 sse ∃s ∈ S : valido(t2,s) ∧ ¬valido(t2,t1(s)). Por exemplo, uma transacção que
aumente o preço de um produto desfavorece a possibilidade de se executar uma transacção cujo
preço a usar tenha um limite máximo.
Favorece Indica que uma transacção favorece a execução (sucessiva) de outra transacção. t1 favorece
t2 sse ∃s ∈ S,¬valido(t2,s) ∧ valido(t2,t1(s)). Por exemplo, uma transacção que reduza o preço
de um produto favorece a possibilidade de se executar uma transacção cujo preço a usar tenha um
limite máximo.
Estas relações são extraídas automaticamente a partir do código das transacções móveis como se
explica na secção 10.5.
10.2.3 Transacções independentes
Com base nas relações anteriores, definiu-se a relação de independência entre duas transacções. Duas
transacções dizem-se independentes se a execução de uma transacção não puder influenciar a execução