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

More documents

Recommendations

Info

162 CAPÍTULO 10. SISTEMA DE RECONCILIAÇÃO SQLICECUBE O conjunto de leitura associado a um caminho de execução é obtido a partir dos elementos dos conjuntos de escrita e do conjunto de pré-condições, obtendo todos os valores especiais read(...) usados na descrição semântica desses elementos. Associado a cada caminho de execução que termina com sucesso obtém-se um grupo de informação semântica composto pelo conjunto de escrita, de leitura e de pré-condições. Relativamente aos caminhos de execução que terminam numa instrução rollback não se obtém qualquer informação. Assim, associada a cada transacção podem existir vários grupos de informação semântica. Exemplo: Considere-se o seguinte programa: 1 BEGIN 2 IF c1 THEN 3 IF c2 THEN 4 COMMIT; 5 ELSE 6 COMMIT; 7 END IF; 8 ELSEIF c3 THEN 9 ROLLBACK; 10 END IF; 11 END Este programa tem quatro caminhos de execução possíveis. O primeiro termina na instrução commit da linha 4. Neste caso, o conjunto de pré-condições inclui os valores precond(c1) e precond(c2). O segundo termina na instrução commit da linha 6 e o respectivo conjunto de pré-condições inclui os valores precond(c1) e precond(not c2). O terceiro termina na instrução rollback da linha 9. Assim, não se extrai informação semântica deste caminho de execução. O quarto caminho de execução termina no fim do programa e o conjunto de pré-condições inclui os valores precond(not c1) e precond(not c3). Desta forma, associado e esta transacção existem três grupos de informação semântica. Para que seja possível executar a transacção num dado estado da base de dados é apenas necessário que todos os valores de um dos conjuntos de pré-condições seja verdadeiro nesse estado. Na figura 10.5 apresenta-se uma transacção móvel que introduz uma nova encomenda (semelhante à transacção apresentada na figura 8.1, mas usando identificadores numéricos para identificar os produtos, vendedores e clientes). Neste caso, apenas existe um caminho de execução possível, sendo a informação semântica extraída apresentada na figura como comentários (linhas iniciadas por --). 10.5.2 Inferir relações As relações estáticas entre cada par de transacções são inferidas a partir da informação semântica extraída de cada uma das transacções usando as regras que se apresentam nesta subsecção. Diz-se que o valor de uma relação é verdadeiro se a relação se estabelece entre as duas transacções e falso no caso contrário. Durante a avaliação das regras definidas é necessário verificar se as descrições semânticas obtidas a partir das transacções referem os mesmos elementos de dados. Esta verificação inclui os elementos
10.5. EXTRACÇÃO AUTOMÁTICA DE RELAÇÕES 163 BEIGN SELECT stock,price INTO l_stock,l_price FROM products WHERE id = 80; -- l_stock = read(products,id=80,stock) -- l_price = read(products,id=80,price) IF l_price = 10 THEN -- precond(read(products,id=80,stock)>=10) -- precond(read(products,id=80,price)=10),precond(read(products,id=80,price)
Page 1 and 2:
Universidade Nova de Lisboa Faculda
Page 3:
Agradecimentos Para a realização
Page 7 and 8:
Abstract The widespread use of mobi
Page 9 and 10:
Conteúdo 1 Introdução 1 1.1 Moti
Page 11 and 12:
CONTEÚDO xi 5 Avaliação do model
Page 13 and 14:
CONTEÚDO xiii 10 Sistema de reconc
Page 15 and 16:
Lista de Figuras 3.1 Arquitectura d
Page 17 and 18:
Lista de Tabelas 8.1 Tabela de comp
Page 19 and 20:
Capítulo 1 Introdução Os avanço
Page 21 and 22:
1.2. SISTEMAS DISTRIBUÍDOS DE GEST
Page 23 and 24:
1.3. VISÃO GERAL E CONTRIBUIÇÕES
Page 25 and 26:
1.3. VISÃO GERAL E CONTRIBUIÇÕES
Page 27 and 28:
Capítulo 2 Princípios gerais No c
Page 29 and 30:
2.2. MOTIVAÇÃO - ALGUMAS APLICAÇ
Page 31 and 32:
2.3. PRINCÍPIOS 13 garantir a disp
Page 33 and 34:
2.3. PRINCÍPIOS 15 obter o estado
Page 35 and 36:
2.3. PRINCÍPIOS 17 sobre a evoluç
Page 37 and 38:
2.3. PRINCÍPIOS 19 2.3.6 Invocaç
Page 39 and 40:
2.3. PRINCÍPIOS 21 solúveis). As
Page 41 and 42:
Capítulo 3 Apresentação do siste
Page 43 and 44:
3.1. MODELO GERAL 25 para a activid
Page 45 and 46:
3.1. MODELO GERAL 27 Aplicação At
Page 47 and 48:
3.2. FRAMEWORK DE COMPONENTES: PRIN
Page 49 and 50:
Page 51 and 52:
Page 53 and 54:
Page 55 and 56:
3.3. FRAMEWORK DE COMPONENTES: COMP
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
3.4. FRAMEWORK DE COMPONENTES: IMPL
Page 67 and 68:
3.4. FRAMEWORK DE COMPONENTES: IMPL
Page 69 and 70:
Capítulo 4 Descrição das funcion
Page 71 and 72:
4.1. RECONCILIAÇÃO 53 Segundo, um
Page 73 and 74:
4.1. RECONCILIAÇÃO 55 4.1.3 Ordem
Page 75 and 76:
4.1. RECONCILIAÇÃO 57 4.1.4.2 Ver
Page 77 and 78:
4.1. RECONCILIAÇÃO 59 No decurso
Page 79 and 80:
4.3. INVOCAÇÃO CEGA 61 4.3 Invoca
Page 81 and 82:
4.4. INTEGRAÇÃO DE SESSÕES SÍNC
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Capítulo 5 Avaliação do modelo d
Page 89 and 90:
5.1. EDITOR MULTI-SÍNCRONO DE DOCU
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
5.2. AGENDA PARTILHADA 77 Figura 5.
Page 97 and 98:
5.2. AGENDA PARTILHADA 79 de awaren
Page 99 and 100:
Capítulo 6 Núcleo do sistema DOOR
Page 101 and 102:
6.1. COOBJECTOS 83 o mesmo estado i
Page 103 and 104:
6.2. SERVIDORES 85 global a associa
Page 105 and 106:
6.2. SERVIDORES 87 segundo servidor
Page 107 and 108:
6.2. SERVIDORES 89 6.2.2 Sincroniza
Page 109 and 110:
6.2. SERVIDORES 91 6.2.3 Serviço d
Page 111 and 112:
6.2. SERVIDORES 93 ao cliente compl
Page 113 and 114:
6.2. SERVIDORES 95 • Emulação d
Page 115 and 116:
6.3. CLIENTES 97 do coobjecto consi
Page 117 and 118:
6.3. CLIENTES 99 seguinte informaç
Page 119 and 120:
6.3. CLIENTES 101 A propagação as
Page 121 and 122:
Capítulo 7 Apresentação do siste
Page 123 and 124:
7.1. MODELO GERAL 105 encomenda de
Page 125 and 126:
7.2. ARQUITECTURA 107 BD réplica C
Page 127 and 128:
7.2. ARQUITECTURA 109 O subsistema
Page 129 and 130: 7.3. TRANSACÇÕES MÓVEIS 111 7.3
Page 131 and 132: 7.3. TRANSACÇÕES MÓVEIS 113 abor
Page 133 and 134: Capítulo 8 Reservas Neste capítul
Page 135 and 136: 8.1. TIPOS DE RESERVAS 117 8.1.4 Re
Page 137 and 138: 8.2. CONCESSÃO E GARANTIA DE RESPE
Page 139 and 140: 8.2. CONCESSÃO E GARANTIA DE RESPE
Page 141 and 142: 8.3. PROCESSAMENTO DAS TRANSACÇÕE
Page 143 and 144: 8.4. PROCESSAMENTO DAS TRANSACÇÕE
Page 145 and 146: 8.5. EXEMPLOS 127 id tipo tabela co
Page 147 and 148: 8.5. EXEMPLOS 129 1 ------ COMPRA 1
Page 149 and 150: Capítulo 9 Avaliação do modelo b
Page 151 and 152: 9.1. APLICAÇÕES 133 1 ------ REMO
Page 153 and 154: 9.2. RESERVAS 135 dentemente em dif
Page 155 and 156: 9.2. RESERVAS 137 seguinte forma. P
Page 157 and 158: 9.2. RESERVAS 139 Commit (% total)
Page 165 and 166: 9.2. RESERVAS 147 Por exemplo, no c
Page 167 and 168: Capítulo 10 Sistema de reconcilia
Page 169 and 170: 10.2. RELAÇÕES ESTÁTICAS 151 10.
Page 171 and 172: 10.3. ALGORITMO DE RECONCILIAÇÃO
Page 177 and 178: 10.4. OPTIMIZAÇÃO DA RECONCILIAÇ
Page 179: 10.5. EXTRACÇÃO AUTOMÁTICA DE RE
Page 183 and 184: 10.5. EXTRACÇÃO AUTOMÁTICA DE RE
Page 191 and 192: Capítulo 11 Trabalho relacionado A
Page 193 and 194: 11.1. REPLICAÇÃO 175 11.1.2 Arqui
Page 195 and 196: 11.1. REPLICAÇÃO 177 a unidade de
Page 197 and 198: 11.1. REPLICAÇÃO 179 O mecanismo
Page 199 and 200: 11.1. REPLICAÇÃO 181 dade 3 . Est
Page 201 and 202: 11.1. REPLICAÇÃO 183 e ser propag
Page 203 and 204: 11.1. REPLICAÇÃO 185 ordem de exe
Page 205 and 206: 11.1. REPLICAÇÃO 187 execução d
Page 207 and 208: 11.2. INFORMAÇÃO SOBRE A EVOLUÇ
Page 209 and 210: 11.3. INTEGRAÇÃO DE SESSÕES SÍN
Page 211 and 212: Capítulo 12 Conclusões A generali
Page 213 and 214: 12.1. SUMÁRIO 195 é executado no
Page 215 and 216: Apêndice A DOORS Este apêndice ap
Page 217 and 218: A.1. FILIAÇÃO 199 A operação de
Page 219 and 220: A.1. FILIAÇÃO 201 anterior à de
Page 221 and 222: A.1. FILIAÇÃO 203 associados e o
Page 223 and 224: A.1. FILIAÇÃO 205 Actualização
Page 225 and 226: A.1. FILIAÇÃO 207 • Periodicame
Page 227 and 228: A.1. FILIAÇÃO 209 estas situaçõ
Page 229 and 230: A.1. FILIAÇÃO 211 2. Um servidor
Page 231 and 232:
A.2. SINCRONIZAÇÃO EPIDÉMICA 213
Page 233 and 234:
Page 235 and 236:
Page 237 and 238:
Page 239 and 240:
Apêndice B Mobisnap B.1 Transacç
Page 241 and 242:
Bibliografia [1] S. Agarwal, D. Sta
Page 243 and 244:
BIBLIOGRAFIA 225 [22] Michael J. Ca
Page 245 and 246:
BIBLIOGRAFIA 227 [45] Sérgio Duart
Page 247 and 248:
BIBLIOGRAFIA 229 [67] Jörg M. Haak
Page 249 and 250:
BIBLIOGRAFIA 231 [92] David Lacey,
Page 251 and 252:
BIBLIOGRAFIA 233 [120] Vern E. Paxs
Page 253 and 254:
BIBLIOGRAFIA 235 [139] David Ratner
Page 255:
BIBLIOGRAFIA 237 third internationa
show all

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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?