1) predicate dependence set(PDS)
谓词依赖集
3) dependency set
依赖集
1.
A algorithm based on the dependency set is proposed for parallel scheduling problem in the formal program verification.
针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。
4) frequent predicate set
频繁谓词集
1.
Association rule mining is an important research branch of data mining,and computing frequent itemsets or frequent predicate sets is the main problem.
关联规则挖掘是数据挖掘领域中重要的研究分支,频繁项集或频繁谓词集的计算是其中的关键问题。
5) functional dependency set
函数依赖集
1.
It is a fundamental work to find out a F_(min) of a given functional dependency set while normalizing a relational pattern.
构造了一个求解最小函数依赖集Fmin的计算机算法。
6) merge dependency set
归并依赖集
补充资料：谓词
分子式：
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条