C.J.

Date

Novatec
Authorized Portuguese translation of the English edition of titled View Updating and Relational Theory, ISBN
9781449357849 2012 Chris Date. This translation is published and sold by permission of O'Reilly Media,
Inc., the owner of all rights to publish and sell the same.
Traduo em portugus autorizada da edio em ingls da obra View Updating and Relational Theory, ISBN
9781449357849 2012 Chris Date. Esta traduo publicada e vendida com a permisso da O'Reilly Media,
Inc., detentora de todos os direitos para publicao e venda desta obra.

Novatec Editora Ltda. 2016.

Todos os direitos reservados e protegidos pela Lei 9.610 de 19/02/1998.

proibida a reproduo desta obra, mesmo parcial, por qualquer processo, sem prvia autorizao, por escrito,
do autor e da Editora.

Editor: Rubens Prates PY20160322

Traduo: Acauan Fernandes
Reviso tcnica: BrodTec.com
Reviso gramatical: Adriana Alves
Editorao eletrnica: Carolina Kuwabata
Assistente editorial: Priscila A. Yoshimatsu

ISBN: 978-85-7522-488-5

Histrico de impresses:
Abril/2016 Primeira edio

Novatec Editora Ltda.

Rua Lus Antnio dos Santos 110
02460-000 So Paulo, SP Brasil
Tel.: +55 11 2959-6529
Email: novatec@novatec.com.br
Site: www.novatec.com.br
Twitter: twitter.com/novateceditora
Facebook: facebook.com/novatec
LinkedIn: linkedin.com/in/novatec
 Sumrio

Sobre o autor........................................................................................................................ 11

Prefcio................................................................................................................................ 12

Prlogo................................................................................................................................. 19

Captulo 1 Um exemplo motivador...................................................................................... 22

Princpio da permutabilidade...................................................................................... 24
Apenas tabelas de base: restries................................................................................ 26
Apenas tabelas de base: aes compensatrias.............................................................. 27
Views: restries e aes compensatrias...................................................................... 29
No h mgica............................................................................................................ 30
Observaes finais........................................................................................................31

Captulo 2 O contexto tcnico.............................................................................................. 33

Relaes e relvars......................................................................................................... 34
Atribuio relacional................................................................................................... 37
Restries de integridade............................................................................................. 42
Predicados de relvar..................................................................................................... 44
Correspondendo, no correspondendo e estendendo.................................................... 49
Bancos de dados e dbvars............................................................................................ 52

Captulo 3 O conceito de view: uma anlise mais profunda................................................... 56

Views so pseudovariveis........................................................................................... 58
Independncia de dados.............................................................................................. 59
Como no faz-lo........................................................................................................ 63
Restries e predicados................................................................................................ 67
Equivalncia de informao..........................................................................................71
Observaes finais....................................................................................................... 75

7
8 Atualizao de Views e Teoria Relacional

Captulo 4 Views de restrio............................................................................................... 79

O exemplo motivador revisitado.................................................................................. 79
Mais sobre aes compensatrias................................................................................. 83
E os gatilhos?.............................................................................................................. 88
E operaes de atualizao explcita?........................................................................... 90
Fornecedores e remessas.............................................................................................. 92
Continuao do exemplo motivador............................................................................. 96
Juntando tudo............................................................................................................ 98
A questo, finalmente.................................................................................................. 99
Restries de interseco............................................................................................. 101
Observaes finais......................................................................................................104

Captulo 5 Views de projeo..............................................................................................106

Exemplo 1: uma decomposio sem perda................................................................. 106
Continuao do exemplo 1: as relvars de projeo........................................................ 113
Continuao do exemplo 1: views............................................................................... 114
Exemplo 2: outra decomposio sem perda................................................................. 115
Exemplo 3: uma decomposio com perda..................................................................122
Observaes finais......................................................................................................127

Captulo 6 Views de juno I: junes uma para uma...........................................................128

Exemplo 1: equivalncia de informao.......................................................................129
Exemplo 2: ocultao de informaes.........................................................................132
Observaes finais...................................................................................................... 141

Captulo 7 Views de juno II: junes muitas para muitas..................................................144

Exemplo 1: equivalncia de informao.......................................................................144
Reviso de views de projeo......................................................................................152
Exemplo 2: escondendo informaes..........................................................................153
Observaes finais......................................................................................................156

Captulo 8 Views conjuntas III: junes uma para muitas.....................................................157

Exemplo 1: equivalncia de informao.......................................................................157
Exemplo 2: escondendo informaes.......................................................................... 161
Observaes finais......................................................................................................163

Captulo 9 Views de interseco..........................................................................................167

Exemplo 1: interseco explcita................................................................................. 168
Exemplo 2: interseco implcita.................................................................................172
Observaes finais......................................................................................................180
Sumrio 9

Captulo 10 Views de unio................................................................................................182

Exemplo 1: unio disjunta..........................................................................................182
Exemplo 2: interseco explcita.................................................................................185
Exemplo 3: interseco implcita.................................................................................188
Observaes finais......................................................................................................194

Captulo 11 Views de diferena...........................................................................................196

Exemplo 1: interseco implcita.................................................................................196
Exemplo 2: interseco explcita................................................................................ 204
Observaes finais..................................................................................................... 207

Captulo 12 Agrupando e desagrupando views...................................................................209

Operadores GROUP e UNGROUP............................................................................ 209
Um exemplo de GROUP / UNGROUP....................................................................... 213
Um exemplo de SUMMARIZE...................................................................................216

Captulo 13 Views de extenso e resumo............................................................................221

Um exemplo de EXTEND.......................................................................................... 221
Outro exemplo com SUMMARIZE.............................................................................225

Captulo 14 Atualizando por meio de expresses.................................................................230

Semntica no sintaxe (?)............................................................................................ 231
Algumas tautologias bem conhecidas..........................................................................234
Transformaes semnticas......................................................................................237
Equivalncia de informao revista.............................................................................239
Observaes finais......................................................................................................243

Captulo 15 Ambiguidade revista.......................................................................................246

Predicados e restries revisados................................................................................ 248
Um exemplo de interseco........................................................................................249
Exemplos de unio e diferena....................................................................................252
Mais sobre predicados................................................................................................255
Observaes finais..................................................................................................... 256

Apndice A Algumas observaes sobre atribuies relacionais...........................................258

Apndice B Operadores relacionais.....................................................................................265