DATALOG程序相关论文
基于VPC-扩展图模式,给出了Datalog线性递归程序编译式的自动生成算法,研究表明,该算法能有效导出所有复杂类型Datalog线性递归程序的编译式。......
为了提高DATALOG程序自底向上计值的效率,本文提出了把DATALOG规则分为若干个组,对这此组可以给出一个拓扑序列,而对同一个组内的各个规则可以给出一......
演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它......
文中提出了Datalog程序的正规变换,并构造了Datalog程序的约束模型图,从而把正规变换的求解转化为对约束模式图的搜索。约束模式图搜索算法与经典的......
提出了线性齐次DataLog逻辑程序的概念,并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性DataLog程序的优化算法,该算法利用带......