第一篇 数学预备知识 1
第一章 集合与关系 3
1.1集合的基本概念 3
1.2集合的运算 6
1.3关系 11
1.4等价关系与偏序关系 15
1.5映射 19
第二章 图论基础 23
2.1图的基本概念 25
2.2图的连通性 31
2.3树 36
2.4超图 46
第三章 数理逻辑 48
3.1命题与命题公式 49
3.2命题演算的推理理论 54
3.3谓词与谓词演算公式 65
3.4谓词演算的推理理论 71
第二篇 关系数据库系统 79
第四章 数据处理与文件技术 81
4.1数据处理的基本概念 81
4.2数据管理与文件组织 99
4.3索引技术 108
4.4倒排文件与多目表 121
第五章 数据库技术与数据库系统 128
5.1从文件技术到数据库技术 128
5.2数据独立性与数据库结构的多层次化 135
5.3数据模型 141
5.4数据库系统 165
第六章 关系数据模型 181
6.1关系模型的基本思想与概念 181
6.2关系的运算 189
6.3关系数据模型与关系数据库管理系统 208
第七章 SystemR,SQL/DS和DB2 217
7.1SystemR概述 218
7.2SQL数据子语言 229
7.3SQL应用程序设计 250
7.4SystemR的体系结构 263
7.5SQL/DS和DB2 278
第八章 其他关系数据库管理系统 289
8.1INGRES 290
8.2QueryByExample 309
8.3ORACLE 320
8.4数据库管理系统的评价与选择 341
第三篇 关系数据理论基础 353
第九章 函数依赖 355
9.1函数依赖的基本概念 355
9.2函数依赖的推导公理 363
9.3函数依赖集的的覆盖 374
第十章 关系的进一步规范化 388
10.1从第一范式到第三范式 388
10.2关系模式的分解 391
10.3关系规范化的综合方法 403
10.4BC范式与改进的第三范式 408
第十一章 多值依赖与第四范式 415
11.1多值依赖的基本概念 415
11.2多值依赖的推导公理 421
11.3第四范式 435
11.4嵌入多值依赖 439
第十二章 其他数据依赖的研究 446
12.1联接依赖与投影－联接范式 446
12.2其他的数据依赖类 456
12.3依赖推导的符号表算法 466
13.1概述 483
第十三章 数据库查询的实现与优化 483
13.2物理层优化的若干问题 487
13.3关系查询的逻辑层优化 491
13.4查询分解－INGRES中的查询处理算法 508
第四篇 数据库设计 517
第十四章 数据库设计概论 519
14.1软件工程 519
14.2数据库工程 524
14.3数据库设计方法学 543
第十五章 数据库的概念设计 547
15.1E-R方法 547
15.2采用E-R方法的数据库概念设计 557
15.3E-R方法的进一步探讨 570
16.1关系数据库的逻辑设计 572
第十六章 关系数据库的逻辑设计与物理设计 572
16.2关系数据库的物理设计 581
16.3基于处理代价的逻辑设计与物理设计 583
第十七章 数据库设计的辅助工具 586
17.1数据库设计辅助工具的一般概念 586
17.2一种综合性的设计辅助工具——DDEW 593
第五篇 数据库研究的新进展 607
第十八章 无环数据库模式 609
18.1数据库模式与超图 609
18.2无环数据库模式的理想特性 616
18.3无环数据库模式的判定与设计 628
第十九章 不完全信息处理 642
19.1不完全信息的语义 644
19.2无标记空值模型 648
19.3不完全信息处理研究的新进展 654
第二十章 泛关系假定与泛关系模型 664
20.1泛关系模型中的基本假定 665
20.2泛关系模型下的泛实例表示 669
20.3泛关系模型与泛关系系统 675
第二十一章 语义数据模型 692
21.1数据模型 693
21.2语义数据模型的基本概念 705
21.3几种影响较大的语义数据模型 712
21.4从数据模拟到概念模拟 734
附录1 参考文献 740
附录2 词汇索引 751