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

168 CAPÍTULO 10. SISTEMA DE RECONCILIAÇÃO SQLICECUBE
1 ------ REMOVE MARCAÇÃO: ’16-FEB-2002’ às 10:00, utilizador=’J.Smith’, id=3476554
2 BEGIN
3 SELECT count(*) INTO cnt FROM datebook
4 WHERE id=3476554 AND day=’16-FEB-2002’ AND hour=10 AND user=’J.Smith’;
5 -- cnt = read(datebook,id=3476554 AND day=’16-FEB-2002’ AND hour=10 AND user=’J.Smith’,count(*))
6 IF (cnt > 0) THEN
7 -- precond(read(datebook,...,count(*))>0)
8 DELETE FROM datebook WHERE id = 3476554 AND day=’16-FEB-2002’ AND hour=10 AND user=’John Smith’;
9 -- delete(datebook,id=3476554 AND day=’16-FEB-2002’ AND hour=10 AND user=’J.Smith’)
10 COMMIT;
11 END IF;
12 ROLLBACK;
13 END;
Figura 10.8: Informação extraída da transacção móvel que cancela uma marcação numa agenda parti-
lhada usando os detalhes da marcação (o bloco de declaração de variáveis é omitido).
Duas operações relativas a marcações não sobrepostas são comutativas. A remoção de uma marca-
ção favorece a introdução de uma marcação sobreposta com a primeira, porque a remoção do registo da
marcação é favorável à inexistência de um registo que impossibilite a introdução da marcação. A intro-
dução de uma marcação torna possível a remoção da mesma marcação porque o registo inserido garante
a veracidade da pré-condição de remoção.
As relações inferidas são as esperadas, levando à execução das operações de remoção antes das
operações de introdução de novas marcações. As operações relativas à mesma marcação são executadas
pela ordem esperada, i.e., as remoções após as inserções.
Sistema de reserva de bilhetes de comboio As relações inferidas relativamente às transacções defi-
nidas no sistema de reserva de bilhetes de comboio são idênticas às obtidas na aplicação de suporte a
uma força de vendas. Note-se que o facto de ser necessário obter o identificador do bilhete vendido
não influencia as relações inferidas porque esses elementos de dados não influenciam as pré-condições
definidas.
10.5.4 Extensões
Até ao momento descreveu-se o funcionamento básico da inferência de relações semânticas a partir
do código das transacções móveis. As funcionalidades descritas foram implementadas no protótipo do
sistema SqlIceCube. Nesta subsecção propõem-se algumas extensões ao modelo básico descrito. Estas
extensões estão a ser implementadas no sistema SqlIceCube.
Os exemplos apresentados na subsecção anterior mostram exemplos em que é possível inferir as
relações esperadas a partir do código das transacções móveis. No entanto, como se referiu anterior-
mente, existem situações em que não é possível obter imediatamente a informação semântica necessária
para o processo de inferência de relações. Nesta subsecção discutem-se essas situações e apresentam-se