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

Capítulo 8
Reservas
Neste capítulo descreve-se o sistema de reservas do sistema Mobisnap. O objectivo das reservas é permi-
tir ao sistema garantir o resultado de uma transacção móvel de forma independente. Para tal, é necessá-
rio garantir que não surgirá nenhum conflito quando o programa da transacção é executado no servidor.
Assim, é possível garantir que uma transacção móvel tem o mesmo resultado e produz as mesmas mo-
dificações no cliente e no servidor (ou modificações equivalentes no contexto da aplicação). O sistema
de reservas do sistema Mobisnap é desenhado com o objectivo de alcançar estes objectivos enquanto as
aplicações continuam a usar as instruções usuais no PL/SQL. No cliente, o sistema verifica automati-
camente a possibilidade de garantir o resultado de uma transacção a partir do programa da transacção
móvel.
8.1 Tipos de reservas
Uma reserva pode fornecer dois tipos de garantias para a execução de uma transacção móvel no servidor.
Primeiro, uma garantia sobre o valor da base de dados. Assim, é possível garantir que o estado da base
de dados respeita as pré-condições para a execução da transacção móvel. Segundo, uma garantia sobre
a exequibilidade de uma operação de modificação. Assim, garante-se que é possível executar as opera-
ções da transacção móvel. De seguida, apresentam-se as reservas definidas no sistema Mobisnap 1 . Na
secção 8.5 apresentam-se exemplos que mostram a necessidade de combinar diferentes tipos de reservas
para garantir uma transacção móvel.
8.1.1 Reservas value-change e slot
Uma reserva value-change fornece o direito exclusivo de alterar um subconjunto de colunas num registo
já existente. Por exemplo, um utilizador pode reservar o direito de modificar a descrição do ocupante
1 Para nomear as reservas, usam-se os termos ingleses propostos em [126, 128].
115