含函数项规则的安全性条件  

SAFETY CONDITIONS FOR RULES WITH FUNCTION TERMS

作　　者：陈栋[1] 袁军[1] 王能斌[1] 

机构地区：[1]东南大学计算机系

出　　处：《计算机研究与发展》1996年第5期367-373,共7页Journal of Computer Research and Development

摘　　要：函数项引入逻辑数据语言丰富了逻辑数据语言的语义，但是它也带来了问题。函数项的引入使得原Ｄａｔａｌｏｇ规则的安全性条件不再有效。本文提出了含函数项规则的安全性条件。本文提出的充分条件易于判定，能够方便地在逻辑数据语言系统中实现。The introduction of function terms in a logic data language can enhance its semantics.However, this also causes some problems. The safety conditions for rules inDatalog are no longer effective. In this paper, new safety conditions to ensure the safecomputation of rules with function terms are proposed. They are convenient to identifyand can be easily implemented in a logic data language system.

关 键 词：逻辑数据语言 函数项 安全性 匹配 Datalog规则 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]