Sumrio

Prefcio stima edio xvii

PARTE 1 PRELIMINARES
CAPTULO 1 Uma viso geral do gerenciamento de bancos de
dados 2
1.1 Introduo 2
1.2 O que um sistema de banco de dados? 4
1.3 O que um banco de dados? 9
1.4 Por que banco de dados? 13
1.5 Independncia de dados 17
1.6 Sistemas relacionais e outros sistemas 21
1.7 Resumo 24
Exerccios 24
Referncias e bibliografia 26
Respostas a exerccios selecionados 26
CAPTULO 2 Arquitetura de sistemas de bancos de dados 28
2.1 Introduo 28
2.2 Os trs nveis da arquitetura 28
2.3 O nvel externo 31
2.4 O nvel conceitual 33
2.5 O nvel interno 34
2.6 Mapeamentos 34
2.7 O administrador do banco de dados 35
2.8 O sistema de gerenciamento de bancos de dados 37
2.9 O gerenciador de comunicaes de dados 40
2.10 Arquitetura cliente/servidor 41
2.11 Utilitrios 42
2.12 Processamento distribudo 43
2.13 Resumo 46
Exerccios 46
Referncias e bibliografia 47
CAPTULO 3 Introduo aos bancos de dados relacionais 49
3.1 Introduo 49
3.2 Uma viso informal do modelo relacional 49
3.3 Relaes e variveis de relaes 53
3.4 O que significam as relaes 55
3.5 Otimizao 57
3.6 O catlogo 59
3.7 Variveis de relaes bsicas e vises 60

XI

3.8 Transaes 63
3.9 O banco de dados de fornecedores e peas 64
3.10 Resumo 67
Exerccios 68
Referncias e bibliografia 68
Respostas a exerccios selecionados 69
CAPTULO 4 Uma introduo SQL 71
4.1 Introduo 71
4.2 Viso geral 72
4.3 O catlogo 75
4.4 Vises 76
4.5 Transaes 77
4.6 SQL embutida 77
4.7 A SQL no perfeita 84
4.8 Resumo 85
Exerccios 86
Referncias e bibliografia 87
Respostas a exerccios selecionados 91
PARTE II O MODELO RELACIONAL 95
CAPTULO 5 Domnios, relaes e variveis de relaes bsicas
97
5.1 Introduo 97
5.2 Domnios 98
5.3 Valores de relaes 108
5.4 Variveis de relaes 113
5.5 Recursos de SQL 117
5.6 Resumo 121
Exerccios 122
Referncias e bibliografia 123
Respostas a exerccios selecionados 126
CAPTULO 6 lgebra relacional 132
6.1 Introduo 132
6.2 Uma reviso do fechamento 134
6.3 Sintaxe 136
6.4 Semntica 138
6.5 Exemplos 147
6.6 Para que serve a lgebra? 150
6.7 Operadores adicionais 151
6.8 Agrupamento e desagrupamento 158
6.9 Comparaes relacionais 160
6.10 Resumo 162
Exerccios 162
Referncias e bibliografia 165
Respostas a exerccios selecionados 168
CAPTULO 7 Clculo relacional 175
xii 7.1 Introduo 175

7.2 Clculo de tuplas 176

7.3 Exemplos 183
7.4 Clculo e lgebra 186
7.5 Capacidades computacionais 190
7.6 Clculo de domnios 191
7.7 Recursos de SQL 193
7.8 Resumo 201
Exerccios 202
Referncias e bibliografia 204
Respostas a exerccios selecionados 206
CAPTULO 8 Integridade 219
8.1 Introduo 219
8.2 Restries de tipo 221
8.3 Restries de atributos 222
8.4 Restries de variveis de relaes 222
8.5 Restries de bancos de dados 223
8.6 A regra urea 223
8.7 Restries de estado e restries de transio 225
8.8 Chaves 226
8.9 Recursos de SQL 234
Resumo 238
Exerccios 238
Referncias e bibliografia 241
Respostas a exerccios selecionados 245
CAPTULO 9 Vises 254
9.1 Introduo 254
9.2 Para que servem as vises 257
9.3 Busca em vises 260
9.4 Atualizaes de vises 260
9.5 Snapshots (uma digresso) 274
9.6 Recursos de SQL 275
9.7 Resumo 277
Exerccios 278
Referncias e bibliografia 279
Respostas a exerccios selecionados 281
PARTE III PROJETO DE BANCOS DE DADOS 287
CAPTULO 10 Dependncias funcionais 289
10.1 Introduo 289
10.2 Definies bsicas 289
10.3 Dependncias triviais e no triviais 292
10.4 Fecho de um conjunto de dependncias 292
10.5 Fecho de um conjunto de atributos 294
10.6 Conjuntos irredutveis de dependncias 295
10.7 Resumo 297
Exerccios 298
Referncias e bibliografia 299
Respostas a exerccios selecionados 300 xiii

CAPTULO 11 Normalizao avanada 1: 1FN, 2FN, 3FN, FNBC 304

11.1 Introduo 304
11.2 Decomposio sem perdas e dependncias funcionais 307
11.3 Primeira, segunda e terceira formas normais 311
11.4 Preservao de dependncias 317
11.5 Forma normal de Boyce/Codd 319
11.6 Uma observao sobre atributos com relao como valor
324
11.7 Resumo 326
Exerccios 327
Referncias e bibliografia 329
Respostas a exerccios selecionados 330
CAPTULO 12 Normalizao avanada II: formas normais mais
altas 339
12.1 Introduo 339
12.2 Dependncias multivaloradas e quarta forma normal 339
12.3 Dependncias de juno e quinta forma normal 343
12.4 O procedimento de normalizao em resumo 347
12.5 Uma observao sobre desnormalizao 349
12.6 Projeto ortogonal (uma digresso) 351
12.7 Outras formas normais 354
12.8 Resumo 355
Exerccios 356
Referncias e bibliografia 356
Respostas a exerccios selecionados 361
CAPTULO 13 Modelagem semntica 365
13.1 Introduo 365
13.2 A abordagem geral 366
13.3 O modelo E/R 368
13.4 Diagramas E/R 372
13.5 Projeto de bancos de dados com o modelo E/R 373
13.6 Uma breve anlise 378
13.7 Resumo 380
Exerccios 382
Referncias e bibliografia 382
PARTE IV GERENCIAMENTO DE TRANSAES 393
CAPTULO 14 Recuperao 394
14.1 Introduo 394
14.2 Transaes 395
14.3 Recuperao de transaes 397
14.4 Recuperao do sistema 399
14.5 Recuperao da mdia 401
14.6 COMMIT de duas fases 401
14.7 Recursos de SQL 402
14.8 Resumo 403
Exerccios 404
Referncias e bibliografia 405
xiv Respostas a exerccios selecionados 408

CAPTULO 15 Concorrncia 411

15.1 Introduo 411
15.2 Trs problemas de concorrncia 412
15.3 Bloqueio 414
15.4 Uma reviso dos trs problemas de concorrncia 416
15.5 Deadlock 418
15.6 Serializabilidade 419
15.7 Nveis de isolamento 421
15.8 Inteno de bloqueio 422
15.9 Recursos de SQL 424
15.10 Resumo 425
Exerccios 426
Referncias e bibliografia 428
Respostas a exerccios selecionados 433
PARTE V TPICOS ADICIONAIS 437
CAPTULO 16 Segurana 438
16.1 Introduo 438
16.2 Controle de acesso discricionrio 440
16.3 Controle de acesso mandatrio 445
16.4 Bancos de dados estatsticos 447
16.5 Criptografia de dados 452
16.6 Recursos de SQL 456
16.7 Resumo 459
Exerccios 460
Referncias e bibliografia 461
Respostas a exerccios selecionados 462
CAPTULO 17 Otimizao 466
17.1 Introduo 466
17.2 Um exemplo introdutrio 467
17.3 Uma viso geral do processamento de consultas 468
17.4 Transformao de expresses 472
17.5 Estatsticas de bancos de dados 477
17.6 Uma estratgia de dividir e conquistar 478
17.7 Implementao de operadores relacionais 481
17.8 Resumo 485
Exerccios 486
Referncias e bibliografia 488
Respostas a exerccios selecionados 504
CAPTULO 18 Falta de informaes 505
18.1 Introduo 505
18.2 Uma viso geral da abordagem de 3VL 506
18.3 Algumas conseqncias do esquema precedente 511
18.4 Nulos e chaves 514
18.5 Juno externa (uma digresso) 516
18.6 Valores especiais 519
18.5 Recursos de SQL 519
18.8 Resumo 522
Exerccios 523
Referncias e bibliografia 525
Respostas a exerccios selecionados 528
CAPTULO 19 Herana de tipo 530
19.1 Introduo 530
19.2 Hierarquias de tipos 533
19.3 Polimorfismo e possibilidade de substituio 536
19.4 Variveis e atribuies 539
19.5 Especializao por restrio 543
19.6 Comparaes 545
19.7 Operadores, verses e assinaturas 548
19.8 Um crculo uma elipse? 552
19.9 Uma reviso da especializao por restrio 555
19.10 Resumo 557
Exerccios 558
Referncias e bibliografia 559
Respostas a exerccios selecionados 560
CAPTULO 20 Bancos de dados distribudos 562
20.1 Introduo 562
20.2 Algumas questes preliminares 562
20.3 Os doze objetivos 566
20.4 Problemas de sistemas distribudos 573
20.5 Sistemas cliente/servidor 582
20.6 Independncia do SGBD 585
20.7 Recursos de SQL 589
20.8 Resumo 590
Exerccios 590
Referncias e bibliografia 591
CAPTULO 21 Apoio deciso 598
21.1 Introduo 598
21.2 Aspectos do apoio deciso 599
21.3 Projeto de bancos de dados para apoio deciso 601
21.4 Preparao de dados 608
21.5 Data warehouses e data marts 610
21.6 Processamento analtico on-line 615
21.7 Minerao de dados 621
21.8 Resumo 623
Exerccios 624
Referncias e bibliografia 625
Respostas a exerccios selecionados 627
CAPTULO 22 Bancos de dados temporais 628
22.1 Introduo 628
22.2 Dados temporais 629
22.3 Qual o problema? 633
22.4 Intervalos 638
22.5 Tipos de intervalos 640
22.6 Operadores escalares sobre intervalos 641
22.7 Operadores de agregados sobre intervalos 642
22.8 Operadores relacionais envolvendo intervalos 643
22.9 Restries envolvendo intervalos 648
22.10 Operadores de atualizao envolvendo intervalos 651
22.11 Consideraes sobre projeto de bancos de dados 652
22.12 Resumo 655
Exerccios 656
Referncias e bibliografia 657
Respostas a exerccios selecionados 659
CAPTULO 23 Sistemas baseados em lgica 661
23.1 Introduo 661
23.2 Viso geral 661
23.3 Clculo proposicional 663
23.4 Clculo de predicados 668
23.5 Uma viso de bancos de dados segundo a teoria da prova
674
23.6 Sistemas de bancos de dados dedutivos 677
23.7 Processamento de consultas recursivas 681
23.8 Resumo 686
Exerccios 688
Referncias e bibliografia 690
Respostas a exerccios selecionados 694
PARTE VI BANCOS DE DADOS
DE OBJETOS E RELACIONAL/OBJETO 697
CAPTULO 24 Bancos de dados de objetos 698
24.1 Introduo 698
24.2 Objetos, mtodos e mensagens 701
24.3 Examinando mais de perto 705
24.4 Um exemplo do bero ao tmulo 712
24.5 Questes diversas 721
24.6 Resumo 728
Exerccios 730
Referncias e bibliografia 731
Respostas e exerccios selecionados 738
CAPTULO 25 Bancos de dados relacional/objeto 741
25.1 Introduo 741
25.2 O Primeiro Grande Erro 743
25.3 O Segundo Grande Erro 750
25.4 Questes de implementao 752
25.5 Benefcios da verdadeira aproximao 754
25.6 Resumo 756
Referncias e bibliografia 756

XVII
APNDICES 763
APNDICE A Expresses de SQL 764
A.1 Introduo 764
A.2 Expresses de tabelas 764
A.3 Expresses condicionais 770
A.4 Expresses escalares 774
APNDICE B Uma viso geral da SQL3 775
B.1 Introduo 775
B.2 Novos tipos de dados 776
B.3 Herana de tipo 780
B.4 Tipos de referncia 782
B.5 Subtabelas e supertabelas 784
B.6 Outros recursos 786
APNDICE C Abreviaes, siglas e smbolos 789
ndice 793

XVIII