袁军
- 作品数：13 被引量：4H指数：1
- 供职机构：东南大学计算机科学与工程学院更多>>
- 相关领域：自动化与计算机技术更多>>
- SEUDDB——一个演绎数据库原型系统
- SEUDB是由东南大学独立研制开发的一个演绎数据库原型系统.SEUDB系统由自行开发的关系数据库服务器支持,整个系统直接建立在操作系统SUN OS之上,是一个自上而下全部自行开发的集成化的演绎数据库原型系统.本文将对SE...
- 袁军陈栋李秋静金文王能斌
- 关键词：演绎数据库查询优化
- 文献传递
- 演绎数据库系统的实现技术
- 演绎数据库系统具有传统关系数据库系统所不可比拟的优点。但演绎数据库系统普遍存在效率不高的问题,所以到目前为止还不存在这样的商品化系统。本文通过对现有的几个较突出的演绎数据库实验系统的分析,比较了几种不同的实现方法,并着重...
- 陈栋袁军王能斌
- 关键词：过程性说明性
- 文献传递
- 一个演绎数据库原型系统的底层实现被引量：2
- 1995年
- 演绎数据库查询具有不同于关系数据库查询的特点，因而对底层数据库的实现也提出了更高的要求，本文结合一个演绎数据库原型系统ＤＤＳ，分析了演绎数据库系统的一些底层实现技术，所介绍的实现技术能很好地支持演绎数据库查询，从而有利于提高整个系统的效率。
- 陈栋袁军王能斌
- 关键词：逻辑系统演绎数据库查询
- Hypertext在面向对象数据库中的应用
- 数据库技术已经进入了面向对象数据库(OODB)时代,如何使OODB更为友好,是很多人研究的问题。Hypertext作为一种新型的信息管理技术,可以为OODB提供一个良好的用户界面。同时,OODB与Hypertext系统的...
- 袁军王能斌
- 关键词：面向对象数据库用户界面
- 文献传递
- 演绎数据库优化技术新进展被引量：1
- 1996年
- 在现实应用中有一类应用不仅要求数据库系统能够存取大量的数据,而且要求数据库系统能够对所存贮数据进行知识推理,我们称这类应用是基于知识的数据密集型应用。很多迹象表明,关系数据库由于缺乏足砂的语义表达能力,不适用于这类应用系统的开发,因此人们试图寻找一种新型数据库系统,它既能存贮数据,又能存贮知识推理规则。
- 袁军王能斌
- 关键词：演绎数据库最佳化数据库
- 含函数项规则的安全性条件
- 1996年
- 函数项引入逻辑数据语言丰富了逻辑数据语言的语义，但是它也带来了问题。函数项的引入使得原Ｄａｔａｌｏｇ规则的安全性条件不再有效。本文提出了含函数项规则的安全性条件。本文提出的充分条件易于判定，能够方便地在逻辑数据语言系统中实现。
- 陈栋袁军王能斌
- 关键词：安全性
- 逻辑程序语言中的集合
- 1995年
- 本文首先讨论了引入集合的意义，然后建立了一种基于集合项的归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对存储有序集的改写，使得对集合的匹配通过一般函数的匹配算法就可以完成，提高了计算的效率。
- 袁军陈栋王能斌
- 关键词：演绎数据库
- 集合作为函数符号的逻辑程序语言
- 集合引入逻辑程序语言可以丰富逻辑程序语言的语义,但同时也增加了计算的复杂性本文介绍了一种基于集合项的归约演算,并且对集合项的存储和含集合符号的逻辑程序语言的计算进行了一些探讨.本文所介绍的方法通过规则编译时对存储有序集的...
- 袁军王能斌陈钢
- 文献传递
- 逻辑数据语言中的修改操作
- 修改操作是数据库必须提供的基本操作之一,一个完备的逻辑数据语言应该能够为用户提供对数据库事实增、删、改的能力.但修改操作所固有的过程性语义与逻辑数据语言的说明性语义显得"格格不入".本文在逻辑数据语言中引入修改谓词以满足...
- 陈栋袁军刘明华王能斌
- 文献传递
- 线性递归规则的并行计算方法被引量：1
- 1996年
- 本文通过对现有的递归规则的并行计算方法以及并行计算的二分技术的讨论，提出了一种新颖的递归规则并行计算的基本策略，并给出了一种基于线性递归规则的并行计算方法。
- 袁军陈栋王能斌
- 关键词：演绎数据库并行计算数据库
