一个PROLOG数据库系统PDF电子书下载

第一章 引言 1

1.1 人机系统中人的一面 1

1.1.1 背景 1

1.1.2 要求 2

1.2 关系查询语言的现状 2

1.2.1 关系查询语言分类 2

1.2.2 现有的查询语言 3

1.3 查询语言面临的问题 4

1.3.1 多样性 4

1.3.2 灵活性 4

1.4 ILEX系统的目标和好处 5

1.5 系统设计轮廓 6

第二章 关系数据库和逻辑 8

2.1 关系数据库 8

2.1.1 关系模型中的术语 8

2.1.2 例子数据库 10

2.2 逻辑程序设计 12

2.2.1 一阶谓词演算 12

2.2.2 句式 13

2.2.3 Horn子句 14

2.3 PROLOG做为一种逻辑程序设计语言 15

2.3.1 PROLOG简单回顾 15

2.3.2 PROLOG的消解证明过程 16

2.3.3 PROLOG中的非逻辑机制 17

2.4 逻辑和关系数据库间的关系 18

第三章 查询语言的一个规范逻辑形式 20

3.1 关于一致性研究的一般评论 20

3.1.1 相容性和界面 20

3.1.2 查询处理的考虑 21

3.2 查询公式 22

3.3 规范式的形式定义 24

3.4 规范式的关系处理能力 25

3.5 一个入门性的例子 29

第四章 一种类图语言PL 31

4.1 QBE做为ILEX系统的一个候选 31

4.2 PL语言 31

4.2.1 检索操作 32

4.2.2 内部函数 35

4.2.3 存储操作 36

4.3 PL的语法 38

4.3.1 查询表索引 38

4.3.2 查询元组 39

4.4 PL的屏幕编辑 40

4.4.1 用户—系统交互 40

4.4.2 转换（conversion） 41

4.4.3 分解（digestion） 42

4.4.4 识别（recognition） 44

第五章 一个类英语语言EL 46

5.1 SQL做为ILEX系统的一个候选 46

5.2 EL语言 46

5.2.1 检索操作 46

5.2.2 内部函数 50

5.2.3 存储操作 51

5.3 EL的语法 52

5.4 EL的语法分析器 54

5.4.1 把关键字做为运算符 54

5.4.2 变量的创建 57

5.4.3 条件的处理 57

第六章 一个类数学语言ML 62

6.1 关系代数运算 62

6.2 ML语言 62

6.2.1 ML的语法 62

6.2.2 简单检索 63

6.2.3 选择—投影—等值连接表达式 63

6.2.4 复杂查询 64

6.3 ML的分析器 65

6.3.1 代数操作的策略 65

6.3.2 规则系统 66

6.3.3 任意代数查询的统一 68

6.4 ML和EL间的相容性 72

6.4.1 五个标准模式 72

6.4.2 ILEX的共享库 73

第七章 系统ILEX中的否定和聚合 75

7.1 把否定做为不可证明的处理 75

7.1.1 开放世界和封闭世界的假定 75

7.1.2 否定作为失败 76

7.2 二阶谓词“all”、“group”和”update” 76

7.2.1 谓词“all” 76

7.2.2 谓词“group” 77

7.2.3 谓词“update” 78

7.3 ILEX中的聚合函数 78

7.3.1 形式定义 79

7.3.2 聚合函数的实现 79

7.3.3 二阶谓词的组合 81

7.4 规范逻辑式的可扩充性 83

第八章 基于规范逻辑式的查询优化 84

8.1 ILEX中的查询优化策略 84

8.2 一个代价度量公式 84

8.2.1 代价度量的重要性 84

8.2.2 代价公式 85

8.3 动态优化 86

8.3.1 假定 86

8.3.2 合取中目标的排序 87

8.3.3 优化方法的实现 88

8.4 提高效率的潜在能力 89

第九章 基于MEMEX的ILEX系统结构 92

9.1 PROLOG和RDBM间的界面 92

9.2 内容地址机制 94

9.3 一个基于Zipf定律的压缩技术 94

9.4 顺序联想系统MEMEX 96

9.5 基于MEMEX的特殊硬件 97

第十章 结论和以后的工作 98

10.1 一般结论 98

10.2 关于进一步研究的建议 100

参考书目 101