-
题名基于SQL Server的演绎数据库系统
被引量：7
- 1
-
-
作者
陶世群
原锦辉
-
机构
山西大学计算机科学系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第3期33-34,共2页
-
基金
山西省自然科学基金项目(971029)
-
文摘
分析了演绎数据库的理论基础和实现机制，重点介绍设计和实现的基于ＳＱＬ Ｓｅｒｖｅｒ的演绎数据库系统，对系统进行了分析和评价．
-
关键词
演绎数据库系统
SQL
SERVER
人工智能
数学模型
-
Keywords
Deductive database(DDB)
Implement mechanism
Deductive query language
System structure
Knowledge base
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名演绎数据库系统SD-DDBS的设计与实现
被引量：6
- 2
-
-
作者
陶世群
陈晓东
-
机构
山西大学计算机科学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第18期207-209,共3页
-
基金
山西省自然科学基金(编号:971029)
-
文摘
主要介绍了一种演绎数据库系统SD-DDBS的设计思想和实现技术,重点阐述了规则的表示及实现机制。
-
关键词
演绎数据库系统
SD-DDBS
设计
推理机
递归查询
规则库
人工智能
-
Keywords
Deductive database,reasonal machine,recursive query,rule base
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名演绎数据库系统中推理机的设计与实现
- 3
-
-
作者
常晋义
陶世群
郑成增
-
机构
常熟高等专科学校计算机系
山西大学计算机科学系
常州工学院计算机系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第11期134-136,共3页
-
文摘
演绎推理是有效实现演绎数据库系统的关键与核心。该文针对一种结构合理的演绎数据库系统的设计方案，介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术，并对推理机的运行机制进行了分析。
-
关键词
演绎数据库系统
推理机
设计
递归查询
线性递归逻辑程序
约束模型
-
Keywords
Deductive database
Deductive machine
Recursive query
Linear recursive logic program
Constrain model
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名演绎型面向对象数据库管理系统形式模型研究
- 4
-
-
作者
冯铃
冯玉才
-
机构
华中理工大学计算机系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1993年第7期13-17,66,共6页
-
文摘
本文提出了一种研制演绎型面向对象数据库管理系统(DOODBMS)的理论基础,具体讨论了DOODBMS 的形式化描述、操作以及知识引入等问题,使得一方面,实现一般面向对象数据库管理系统(OODBMS)的功能,另一方面,又可获得OODBMS
-
关键词
演绎型面向对象数据库管理系统
规则对象
演绎推理.
-
Keywords
Deductive Object-Orlented Database Management System
rule object
deductive inference.
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名分层否定的拓广
- 5
-
-
作者
陈栋
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《软件学报》
EI
CSCD
北大核心
1997年第A00期365-371,共7页
-
文摘
现有的演绎数据库系统如ＬＤＬ，Ｎａｉｌ！ＣＯＲＡＬ等都采用分层的否定，以确保能计算出程序的完美不动点，事实上，否定的分层只是确保程序含完善不动点的充分条件。本文在确保逻辑程序含可计算的完美不动点的前提下，提出了拓广的分层否定条件。本文提出的条件放宽了对否定使用的限制，增了逻辑数据语言的表达力。
-
关键词
分层否定
数据模型
演绎数据库系统
数据库
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
