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

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