1、
At least Arity + 1 examples are required to clearly show the uniqueness constraints.
要清楚地显示唯一性约束,至少需要“实参数量+1”个示例.
互联网摘选
2、
函数的参数数量称为元数（arity），用于帮助标识函数。
互联网摘选
3、
At least Arity+ 1 examples are required to clearly show the uniqueness constraints.
要清楚地显示唯一性约束，至少需要实参数量+1个示例。
互联网摘选
4、
因此，设法减少IDB谓词项数，对提高查询效率是十分有意义的。
互联网摘选
5、
和右线性递归计算算法一样，本文提供的算法遵循魔集的模式：首先改写规则，然后用半扑质的自底向上算法计算新规则.算法的有效性通过减少递归谓词的元数实现。
互联网摘选
6、
但是随着递归IDB（Intensional Database）谓词的项的个数增大，经魔集转换的逻辑程序为寻找与查询相关数据而产生附加元组的开销也会增大。
互联网摘选
