陈栋
- 作品数：12 被引量：3H指数：1
- 供职机构：东南大学计算机科学与工程学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 一个演绎数据库原型系统的底层实现被引量：2
- 1995年
- 演绎数据库查询具有不同于关系数据库查询的特点，因而对底层数据库的实现也提出了更高的要求，本文结合一个演绎数据库原型系统ＤＤＳ，分析了演绎数据库系统的一些底层实现技术，所介绍的实现技术能很好地支持演绎数据库查询，从而有利于提高整个系统的效率。
- 陈栋袁军王能斌
- 关键词：逻辑系统演绎数据库查询
- 含函数项规则的安全性条件
- 1996年
- 函数项引入逻辑数据语言丰富了逻辑数据语言的语义，但是它也带来了问题。函数项的引入使得原Ｄａｔａｌｏｇ规则的安全性条件不再有效。本文提出了含函数项规则的安全性条件。本文提出的充分条件易于判定，能够方便地在逻辑数据语言系统中实现。
- 陈栋袁军王能斌
- 关键词：安全性
- 演绎数据库系统的实现技术
- 演绎数据库系统具有传统关系数据库系统所不可比拟的优点。但演绎数据库系统普遍存在效率不高的问题,所以到目前为止还不存在这样的商品化系统。本文通过对现有的几个较突出的演绎数据库实验系统的分析,比较了几种不同的实现方法,并着重...
- 陈栋袁军王能斌
- 关键词：过程性说明性
- 文献传递
- 逻辑程序语言中的集合
- 1995年
- 本文首先讨论了引入集合的意义，然后建立了一种基于集合项的归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对存储有序集的改写，使得对集合的匹配通过一般函数的匹配算法就可以完成，提高了计算的效率。
- 袁军陈栋王能斌
- 关键词：演绎数据库
- SEUDDB——一个演绎数据库原型系统
- SEUDB是由东南大学独立研制开发的一个演绎数据库原型系统.SEUDB系统由自行开发的关系数据库服务器支持,整个系统直接建立在操作系统SUN OS之上,是一个自上而下全部自行开发的集成化的演绎数据库原型系统.本文将对SE...
- 袁军陈栋李秋静金文王能斌
- 关键词：演绎数据库查询优化
- 文献传递
- 逻辑数据语言述评
- 本文介绍了逻辑数据语言的基本结构,并根据其表达能力的需要进行了扩充.主要讨论了引进集合、修改操作以及函数依赖谓词的必要性和带来的问题,并就简化存在变元及非确定性查询问题作了一点说明.
- 王能斌陈栋陈钢
- 文献传递
- 线性递归规则的并行计算方法被引量：1
- 1996年
- 本文通过对现有的递归规则的并行计算方法以及并行计算的二分技术的讨论，提出了一种新颖的递归规则并行计算的基本策略，并给出了一种基于线性递归规则的并行计算方法。
- 袁军陈栋王能斌
- 关键词：演绎数据库并行计算数据库
- 广义左、右线性递归规则组改写
- 1996年
- 本文从左、右线性递归规则组的定义出发，提出了广义左、右线性递归规则组的定义，放宽了左、右线性递归规则组对递归规则形式的限制，扩展了Ｕｌｌｍａｎ提出的左、右线性递归规则组改写方法的适用范围．本文证明了由广义左、右线性递归规则组向左、右线性递归规则组转换的相容性，并给出了具体的转换算法．
- 袁军陈栋王能斌
- 关键词：数据库
- 演绎数据库的语义查询优化
- 1995年
- 演绎数据库的语义查询优化是根据数据库中的完整性约束条件对查询进行优化，本文推出了两种基于完整性约束条件的优化方法，通过编译时对规则的改写，减少了参与计算的中间结果的数目，避免了不必要的操作，提高了计算的效率。
- 袁军陈栋王能斌
- 关键词：数据库语义查询优化
- 演绎数据库中对IDB修改的探讨
- 在演绎数据库中对IDB进行修改,将会遇到类似于在关系库中修改视图所面对的困难。本文就如何在演绎数据库中实现插入一IDB元组操作进行了一些探讨,定义了插入操作的说明性语义,给出了IDB谓词可添加性和插入操作确定性的判定条件...
- 袁军陈栋王能斌
- 关键词：演绎数据库视图
- 文献传递
