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