[数]?前束范式
在例10中的元组关系演算公式可以变换为 前束范式 ( Prenex normal form )的形式:用户在使用查询语言时,经常要作一些简单的计算,例如要求符合某一查询要求的元组数,求某个关系中所有元组在某属性上的值的...
?前束标准型
... 永真命题 tautology 前束标准型 prenex normal form 理论 theory ...
范式定理
前束合取范式 ; 合取正规形式
前束析取范式
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。