陈栋

作品数:6被引量:2H指数:1
导出分析报告
供职机构:东南大学计算机科学与工程学院更多>>
发文主题:演绎数据库数据库查询逻辑系统并行计算方法更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机学报》《东南大学学报(自然科学版)》《计算机研究与发展》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
线性递归规则的并行计算方法被引量:1
《计算机研究与发展》1996年第8期608-613,共6页袁军 陈栋 王能斌 
本文通过对现有的递归规则的并行计算方法以及并行计算的二分技术的讨论,提出了一种新颖的递归规则并行计算的基本策略,并给出了一种基于线性递归规则的并行计算方法。
关键词:演绎数据库 递归规则 并行计算 数据库 
含函数项规则的安全性条件
《计算机研究与发展》1996年第5期367-373,共7页陈栋 袁军 王能斌 
函数项引入逻辑数据语言丰富了逻辑数据语言的语义,但是它也带来了问题。函数项的引入使得原Datalog规则的安全性条件不再有效。本文提出了含函数项规则的安全性条件。本文提出的充分条件易于判定,能够方便地在逻辑数据语言系...
关键词:逻辑数据语言 函数项 安全性 匹配 Datalog规则 
广义左、右线性递归规则组改写
《计算机学报》1996年第1期36-42,共7页袁军 陈栋 王能斌 
本文从左、右线性递归规则组的定义出发,提出了广义左、右线性递归规则组的定义,放宽了左、右线性递归规则组对递归规则形式的限制,扩展了Ullman提出的左、右线性递归规则组改写方法的适用范围.本文证明了由广义左、右线性递...
关键词:规则改写 数据库 线性递归规则 递归规则 
一个演绎数据库原型系统的底层实现被引量:1
《东南大学学报(自然科学版)》1995年第3期102-106,共5页陈栋 袁军 王能斌 
国防科工委八五项目资助。
演绎数据库查询具有不同于关系数据库查询的特点,因而对底层数据库的实现也提出了更高的要求,本文结合一个演绎数据库原型系统DDS,分析了演绎数据库系统的一些底层实现技术,所介绍的实现技术能很好地支持演绎数据库查询,从而有...
关键词:逻辑系统 演绎数据库 底层数据库 查询 
逻辑程序语言中的集合
《计算机研究与发展》1995年第4期27-32,共6页袁军 陈栋 王能斌 
本文首先讨论了引入集合的意义,然后建立了一种基于集合项的归约演算,并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对存储有序集的改写,使得对集合的匹配通过一般函数的匹配...
关键词:逻辑程序语言 演绎数据库 集合 
演绎数据库的语义查询优化
《东南大学学报(自然科学版)》1995年第1期57-62,共6页袁军 陈栋 王能斌 
国防科工委八五项目资助。
演绎数据库的语义查询优化是根据数据库中的完整性约束条件对查询进行优化,本文推出了两种基于完整性约束条件的优化方法,通过编译时对规则的改写,减少了参与计算的中间结果的数目,避免了不必要的操作,提高了计算的效率。
关键词:数据库 语义查询优化 演绎 
检索报告 对象比较 聚类工具 使用帮助 返回顶部