合取范式(conjunctive normal form,CNF) :一个由原子和原 子的非组成的合取式,如果与给定的命题公式A等价,则称它 是A的合取范式。
基于2860个网页-相关网页
...fied Novell Engineer Professional Association 网威公司确定授权工程师的专业学会 CNF Conjunctive Normal Form 连接标准形式 CNF Custom Number Formatting 客户编号格式化 ..
基于18个网页-相关网页
... 合取概括 conjunctive generalization 合取正常形式 conjunctive normal form,CNF 合取查询 conjunctive query ...
基于4个网页-相关网页
prenex-conjunctive normal form 前束合取范式 ; 合取正规形式
quantifier-free conjunctive normal form 自由量词合取范式
CNF-conjunctive normal form 合取范式
major conjunctive normal form 合取范式
Special Conjunctive Normal Form 主合取范式
distinguished conjunctive normal form 杰异合取范式
quantifier-free conjunctive-normal form [计] 自由量词合取范式
cnf conjunctive normal form 连接标准形式
When the constraint expression of a query is not a CNF (Conjunctive Normal Form),it is generally transformed into an equivalent DNF (disjunctive normal form)an union of CNFs .
当数据立方查询条件不是合取范式时,一般是将它转化成为若干合取范式的并的形式(析取范式)。
参考来源 - 一种数据立方查询条件优化策略 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
A simplified method is given in practice: on the one side, it extracts the differential elements to construct conjunctive normal form from the information table.
实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式。
This paper presents a fast and efficient algorithm for discovering exceptional rules from data sets. This algorithm permits that the consequent of a rule is a conjunctive normal form.
文章提出一种快速有效发现意外规则的算法,该算法允许规则的结果为合取范式。
With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
应用推荐