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

8.3. PROCESSAMENTO DAS TRANSACÇÕES MÓVEIS NO CLIENTE 123
O valor de uma variável é garantido se foi atribuído numa instrução SQL de leitura garantida ou
numa instrução de atribuição que não incluía nenhuma variável não garantida.
Uma instrução SQL pode ser garantida se: (1) todas as variáveis usadas na instrução SQL (como
valores de entrada) são garantidas; (2) existe uma reserva que inclua os elementos de dados lidos ou
escritos, i.e., que tenha uma condição compatível com a condição expressa na instrução SQL e inclua
a coluna indicada. Para verificar a segunda condição, é necessário comparar a descrição semântica da
reserva e a condição expressa na instrução SQL 3 .
As seguintes restrições adicionais são aplicadas. Uma reserva value-use ou value-lock não pode
garantir uma instrução de escrita (update, insert, remove). Uma reserva partilhada (shared value-change
e shared slot) não pode garantir uma instrução de leitura (select).
Nas instruções de leitura é, por vezes, apenas possível obter uma garantia parcial do valor lido, i.e.,
a garantia que quando a transacção é executada no servidor o valor lido se encontra num dado intervalo.
Por exemplo, se uma transacção móvel executa uma instrução de leitura que conte o número de registos
que satisfazem uma dada condição e o cliente detém apenas uma reserva value-change que satisfaça
a condição indicada, é possível garantir que, quando a instrução de leitura é executada no servidor, o
resultado obtido é maior ou igual a um. Esta garantia, semelhante à obtida nas reservas escrow, pode
ser suficiente para garantir o resultado da transacção móvel. Durante o processamento da transacção
móvel no cliente, a utilização de uma variável com este tipo de garantia está sujeita às mesmas restrições
impostas às variáveis garantidas por reservas escrow (explicadas anteriormente).
Quando se executa uma instrução de escrita SQL, ambas as versões da base de dados são actualizadas.
Uma instrução de leitura SQL garantida devolve o valor reservado. Uma instrução de leitura SQL não
garantida devolve o valor da versão provisória da base de dados.
Uma instrução if é garantida se todas as variáveis envolvidas na condição expressa são garantidas
e permitem garantir o resultado da condição. Como se explicou na secção 8.1, as variáveis garantidas
por reservas escrow não podem ser usadas para garantir o valor exacto de uma variável, mas apenas que
este valor se encontra num dado intervalo. Assim, apenas podem ser usadas para garantir o valor de
condições que exprimam relações de ordem (, ≥).
Se a condição não pode ser garantida, assume-se que o seu valor é falso, por omissão. Assim, é pos-
sível garantir uma modificação alternativa (numa sequência de modificações alternativas guardadas por
instruções if ) quando não é possível garantir a opção preferida. Por exemplo, na transacção da figura 7.1,
o cliente pode apenas deter reservas sobre o produto “RED THING”. Neste caso, é possível garantir a
encomenda deste produto, mas é impossível garantir a opção preferida pelo utilizador (relativa ao pro-
duto “BLUE THING”). Quando a transacção móvel é executada no servidor, por omissão, executa-se o
3 Aproximações semelhantes são usadas na replicação secundária semântica [35] e na optimização das interrogações [4]).