合取范式(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.
实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式。
An new concept of saturated conjunctive normal form is introduced and the nature of sat problem is studied for utilizing the characteristic of saturated conjunctive normal form.
引入了一个饱和合取范式的概念,利用饱和合取范式的性质,对SAT问题的本质进行了研究。
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.
文章提出一种快速有效发现意外规则的算法,该算法允许规则的结果为合取范式。
应用推荐