逻辑与数据库:演绎方法 |
| |
引用本文: | H.Gallaire
,J.Minker
,J.-M.Nicolas
,鲁汉榕,沈一栋.逻辑与数据库:演绎方法[J].计算机工程与应用,1986(9). |
| |
作者姓名: | H.Gallaire J.Minker J.-M.Nicolas 鲁汉榕 沈一栋 |
| |
作者单位: | 重庆大学计算机系,重庆大学计算机系 |
| |
摘 要: | 本文的目的在于说明辑逻为研究经典的数据库问题提供一种方便的形式。本文有两大部分,分别涉及传统数据库和演绎数据库。第一部分主要阐述查询语言,完整性模型(建立)与维护,查询优化,以及数据相关性。第二部分主要介绍推演事实和非完全信息的表示和处理。
|
本文献已被 CNKI 等数据库收录! |
|