图书介绍
一个PROLOG数据库系统pdf电子书版本下载
- （英）DIEYI LI著；林耕，吕颖译 著
- 出版社： 科海培训中心
- ISBN：
- 出版时间：1988
- 标注页数：140页
- 文件大小：29MB
- 文件页数：148页
- 主题词：
PDF下载
下载说明
一个PROLOG数据库系统PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 引言 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