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

10.5. EXTRACÇÃO AUTOMÁTICA DE RELAÇÕES 165
• t1 modifica (insere, actualiza ou remove) a base de dados de forma a que sejam verdadeiros todos
os elementos do conjunto de pré-condições de t2.
Se for impossível obter o resultado da regra anterior, deve assumir-se que t1 não torna possível t2.
10.5.2.4 Desfavorece
Uma transacção t1 desfavorece uma transacção t2 se a seguinte regra for verdadeira.
• t1 modifica a base de dados de forma a prejudicar a veracidade de, pelo menos, um dos elementos
do conjunto de pré-condições de t2. Por exemplo, seja x uma variável (coluna de um registo) na
base de dados, x ← x − 1 prejudica a veracidade da pré-condição x ≥ 10.
Se for impossível obter o resultado da regra anterior, deve assumir-se que t1 desfavorece t2.
10.5.2.5 Favorece
Uma transacção t1 favorece uma transacção t2 se a seguinte regra for verdadeira.
• t1 modifica a base de dados de forma a favorecer a veracidade de, pelo menos, um dos elementos
do conjunto de pré-condições de t2. Por exemplo, seja x uma variável (coluna de um registo) na
base de dados, x ← x + 1 favorece a veracidade da pré-condição x ≥ 10.
Se for impossível obter o resultado da regra anterior, deve assumir-se que t1 favorece t2.
10.5.2.6 Absorve
Uma transacção t1 absorve uma transacção t2 se todas as seguintes regras são verdadeiras.
• Todos os registos inseridos por t2 são removidos por t1.
• Todos os registos removidos por t2 são reinseridos por t1 ou igualmente removidos por t1.
• Todos os dados actualizados por t2 são também actualizados (usando valores absolutos) por t1.
• As modificações produzidas por t2 não influenciam a execução de t1.
Estas regras apenas são válidas se for possível executar t1 após executar t2. Assim, deve ser possível
executar t1 em todos os estados da base de dados que resultam de executar t2 num qualquer estado da
base de dados em que tal seja possível. Para tal, é necessário que as pré-condições de t1 sejam tão gerais
como as pré-condições de t2, quando modificadas pelas operações de modificação definidas em t2.
Se for impossível obter o resultado das regras anteriores, deve assumir-se que t1 não absorve t2.