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

More documents

Recommendations

Info

164 CAPÍTULO 10. SISTEMA DE RECONCILIAÇÃO SQLICECUBE De seguida apresentam-se as regras usadas para inferir as relações estáticas. Estas regras assumem que cada transacção apenas tem associada um grupo de informação semântica. Caso as transacções tenham associados vários grupos de informação é necessário aplicar as regras que se seguem às diferentes combinações. Se para uma relação forem obtidos valores diferentes para diferentes combinações, o valor da relação é o definido por omissão. Adicionalmente, as regras apresentadas apenas têm em consideração as restrições de unicidade. No caso de existirem outras restrições ou invariantes na base de dados, a leitura/escrita de um elemento de dados, que esteja relacionado com outros elementos através de uma restrição/invariante, deve ser considerada como se todos esses elementos fossem lidos/escritos. A informação relativa a estas restrições deve também ser usada na inferência das relações torna possível, impossibilita, favorece, desfavorece. 10.5.2.1 Comutativas Duas transacções móveis t1 e t2 são comutativas a menos que alguma das seguintes regras seja verdadeira: tativas. • t1 lê um elemento de dados escrito (inserido, actualizado ou removido) por t2 ou vice-versa. • t1 escreve um elemento de dados escrito por t2, com excepção de escritas comutativas, ou vice- versa. Se for impossível obter o resultado das regras anteriores, deve assumir-se que t1 e t2 não são comu- 10.5.2.2 Impossibilita Uma transacção t1 impossibilita uma transacção t2 se alguma das seguinte regras for verdadeira. • t1 modifica (insere, actualiza ou remove) a base de dados de forma a tornar falso um dos elementos do conjunto de pré-condições 6 de t2. • As modificações conjuntas de t1 e t2 violam uma restrição de unicidade da base de dados. Se for impossível obter o resultado das regras anteriores, deve assumir-se que t1 não impossibilita t2. 10.5.2.3 Torna possível Uma transacção t1 torna possível uma transacção t2 se a seguinte regra for verdadeira. 6 Note-se que um caminho de execução apenas é executado se todas as condições do conjunto de pré-condições forem verdadeiras.
10.5. EXTRACÇÃO AUTOMÁTICA DE RELAÇÕES 165 • t1 modifica (insere, actualiza ou remove) a base de dados de forma a que sejam verdadeiros todos os elementos do conjunto de pré-condições de t2. Se for impossível obter o resultado da regra anterior, deve assumir-se que t1 não torna possível t2. 10.5.2.4 Desfavorece Uma transacção t1 desfavorece uma transacção t2 se a seguinte regra for verdadeira. • t1 modifica a base de dados de forma a prejudicar a veracidade de, pelo menos, um dos elementos do conjunto de pré-condições de t2. Por exemplo, seja x uma variável (coluna de um registo) na base de dados, x ← x − 1 prejudica a veracidade da pré-condição x ≥ 10. Se for impossível obter o resultado da regra anterior, deve assumir-se que t1 desfavorece t2. 10.5.2.5 Favorece Uma transacção t1 favorece uma transacção t2 se a seguinte regra for verdadeira. • t1 modifica a base de dados de forma a favorecer a veracidade de, pelo menos, um dos elementos do conjunto de pré-condições de t2. Por exemplo, seja x uma variável (coluna de um registo) na base de dados, x ← x + 1 favorece a veracidade da pré-condição x ≥ 10. Se for impossível obter o resultado da regra anterior, deve assumir-se que t1 favorece t2. 10.5.2.6 Absorve Uma transacção t1 absorve uma transacção t2 se todas as seguintes regras são verdadeiras. • Todos os registos inseridos por t2 são removidos por t1. • Todos os registos removidos por t2 são reinseridos por t1 ou igualmente removidos por t1. • Todos os dados actualizados por t2 são também actualizados (usando valores absolutos) por t1. • As modificações produzidas por t2 não influenciam a execução de t1. Estas regras apenas são válidas se for possível executar t1 após executar t2. Assim, deve ser possível executar t1 em todos os estados da base de dados que resultam de executar t2 num qualquer estado da base de dados em que tal seja possível. Para tal, é necessário que as pré-condições de t1 sejam tão gerais como as pré-condições de t2, quando modificadas pelas operações de modificação definidas em t2. Se for impossível obter o resultado das regras anteriores, deve assumir-se que t1 não absorve t2.
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 and 180: 10.5. EXTRACÇÃO AUTOMÁTICA DE RE
Page 181: 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:
A.2. SINCRONIZAÇÃO EPIDÉMICA 215
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

Create successful ePaper yourself

Delete template?

Save as template?