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

128 CAPÍTULO 8. RESERVAS
tipo tabela coluna condição valor informação
escrow trains available train=’London-Paris 10:00’ 2 ≥ 0
value-use trains price AND 95.00 -
value-change tickets * day=’18-FEB-2002’ (4A, f alse,...) -
value-change tickets * (4B, f alse,...) -
Tabela 8.3: Reservas obtidas pelo garantir reservas de bilhetes de comboio (identificador, ligação e data
de expiração omitidos).
tipo tabela coluna condição valor
value-lock trainsids * true todos os registos
value-use trains price train=23 AND day=’18-FEB-2002’ 95.00
value-change tickets * train=23 AND day=’18-FEB-2002’ (4A, f alse,...)
value-change tickets * train=23 AND day=’18-FEB-2002’ (4B, f alse,...)
Tabela 8.4: Reservas obtidas pelo garantir reservas de bilhetes de comboio: segunda alternativa (identi-
ficador, ligação, informação e data de expiração omitidos).
nome do passageiro associada a esse lugar (linhas 10-11).
Vamos assumir que o cliente obteve reservas sobre dois lugares do comboio: as reservas respectivas
são apresentadas na tabela 8.3. O processamento da transacção móvel prossegue de forma similar ao
exemplo anterior até ser necessário obter o identificador do lugar a usar. A instrução select (linhas 8-9),
que obtém o identificador do lugar, devolve um dos lugares reservados porque as instruções de leitura
devolvem preferencialmente valores reservados. Neste caso, poder-se-ia obter, por exemplo, o lugar
“4A”. A instrução update (linhas 10-11) actualiza a informação relativa ao lugar “4A” com o nome do
passageiro e o preço do bilhete. Estas instruções são garantidas pela reserva value-change que o cliente
detém sobre o registo que mantém a informação do lugar “4A”. Quando a transacção móvel é executada
no servidor, o sistema garante que a instrução select devolve o mesmo registo, i.e., o registo relativo ao
lugar “4A”. Assim, o resultado da transacção no cliente é o nível full de reservation commit (todas as
instruções são garantidas).
Se as reservas value-change não estivessem disponíveis, seria impossível garantir as instruções de
leitura e escrita relacionadas com o lugar (linhas 8–11). O resultado da instrução select seria obtido a
partir da versão provisória dos dados. Assim, o resultado da execução local da transacção seria o nível
pre-condition de reservation commit. Para esta transacção, este resultado significa que é possível garantir
a disponibilidade e preço do lugar, mas é impossível garantir o lugar que será atribuído ao passageiro.
Na figura 8.3 apresenta-se uma versão alternativa para reservar um lugar num comboio. Neste exem-
plo, a base de dados mantém uma tabela que associa o nome do comboio com o seu identificador (um
inteiro). Adicionalmente, não existe informação sobre o número de lugares disponíveis: este valor é
obtido contando o número de lugares não ocupados.
Na tabela 8.4 apresentam-se as reservas obtidas para garantir dois lugares. Relativamente à versão