prenex normal form的意思|示意

美 / / 英 / /

前束范式

prenex normal form的网络常见释义

前束范式 在例10中的元组关系演算公式可以变换为 前束范式 ( Prenex normal form )的形式:用户在使用查询语言时,经常要作一些简单的计算,例如要求符合某一查询要求的元组数,求某个关系中所有元组在某属性上的值的...

前束标准型 ... 永真命题 tautology 前束标准型 prenex normal form 理论 theory ...

prenex normal form相关短语

1、 prenex normal form theorem 范式定理

2、 prenex-conjunctive normal form 前束合取范式 ; 合取正规形式 ; 翻译

3、 prenex-disjunctive normal form 前束析取范式 ; 翻译