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

10.5. EXTRACÇÃO AUTOMÁTICA DE RELAÇÕES 161
10.5.1 Extracção de informação
A extracção de informação associada a uma transacção móvel é executada a partir do seu programa,
analisando estaticamente os vários caminhos de execução possíveis. Para cada caminho de execução que
termina numa instrução commit, extrai-se a seguinte informação:
Conjunto de escrita semântico Constituído pela descrição semântica de todas as modificações produ-
zidas pela transacção.
Conjunto de leitura semântico Constituído pela descrição semântica de todos os elementos de dados
lidos e usados pela transacção (os elementos de dados lidos e não usados são ignorados).
Conjunto de pré-condições Constituído por todas as condições usadas para determinar o caminho de
execução.
Durante o processo de análise estática, as seguintes instruções são processadas de forma especial:
Instrução select C into X from T where Cond Atribui ao valor da variável X o valor especial
read(T,Cond,C) que descreve semanticamente os dados lidos. Este valor não pode ser obtido de
forma estática porque depende do estado da base de dados no momento em que a transacção móvel
é executada.
Instrução update T set C = Val where Cond Adiciona ao conjunto de escrita a seguinte descrição se-
mântica associada à instrução de actualização: update(T,Cond,C,Val).
Instrução insert into T[Cols] values Vals Adiciona ao conjunto de escrita a seguinte descrição semân-
tica associada à instrução de inserção: insert(T,Cols,Vals).
Instrução delete from T where Cond Adiciona ao conjunto de escrita a seguinte descrição semântica
associada à instrução de remoção: delete(T,Cond).
Instrução if(Cond) then ... else ... No caso de o valor de Cond ser conhecido nenhuma acção especial
é executada. No caso de o valor de Cond ser desconhecido serão analisados os dois possíveis
caminhos de execução, assumindo num caso que a condição é verdadeira e adicionando o valor
precond(Cond) ao conjunto de pré-condições e no outro que a condição é falsa e adicionando
precond(not Cond) ao conjunto de pré-condições.
Durante a análise estática, qualquer expressão, e, cujo valor dependa de uma variável com um valor
obtido numa instrução de leitura, tem igualmente um valor especial, expr(e). Este valor pode ser atribuído
a uma variável (numa instrução de atribuição) ou usado em qualquer das instruções de acesso à base de
dados (apresentadas anteriormente).