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

SAFETY CONDITIONS FOR RULES WITH FUNCTION TERMS

函数项引入逻辑数据语言丰富了逻辑数据语言的语义，但是它也带来了问题。函数项的引入使得原Ｄａｔａｌｏｇ规则的安全性条件不再有效。本文提出了含函数项规则的安全性条件。本文提出的充分条件易于判定，能够方便地在逻辑数据语言系统中实现。

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.