《一个PROLOG数据库系统》求取 ⇩

第一章引言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.3PROLOG做为一种逻辑程序设计语言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

第四章一种类图语言PL31

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

4.2PL语言31

4.2.1 检索操作32

4.2.2 内部函数35

4.2.3 存储操作36

4.3PL的语法38

4.3.1 查询表索引38

4.3.2 查询元组39

4.4PL的屏幕编辑40

4.4.1 用户—系统交互40

4.4.2 转换（conversion）41

4.4.3 分解（digestion）42

4.4.4 识别（recognition）44

第五章一个类英语语言EL46

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

5.2EL语言46

5.2.1 检索操作46

5.2.2 内部函数50

5.2.3 存储操作51

5.3 EL的语法52

5.4EL的语法分析器54

5.4.1 把关键字做为运算符54

5.4.2 变量的创建57

5.4.3 条件的处理57

第六章一个类数学语言ML62

6.1 关系代数运算62

6.2ML语言62

6.2.1 ML的语法62

6.2.2 简单检索63

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

6.2.4 复杂查询64

6.3ML的分析器65

6.3.1 代数操作的策略65

6.3.2 规则系统66

6.3.3 任意代数查询的统一68

6.4ML和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.3ILEX中的聚合函数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 顺序联想系统MEMEX96

9.5 基于MEMEX的特殊硬件97

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

10.1 一般结论98

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

参考书目101