范式

未来题库→标签→范式

范式

1.如果A为重言式，则A的主析取范式含全部，A的主合取范式不含任何。2.如果A为非重言式的可满足式，则A的主析取范式至少含一个。3.析取范式是有限个简单析取式的析取式。4.合取范式是有限个简单析取式的合取式。5.合取范式的对偶式是析取范式。6.对任意命题公式，不一定存在与其等价的析取范式和合取范式。7.任何命题公式都存在着与之等价的主析取范式和主合取范式，并且是唯一的。8.什么条件下一个析取范式是矛盾式？9.什么条件下一个合取范式是重言式？10.关于范式的说法正确的是（）11.关于范式的作用下列说法正确的是（）12.BCNF是修正的第三范式，有时也称为扩充的第三范式。13.若关系模式R属于第三范式，则它一定属于BCNF范式。14.设有关系模式R(A，B，C，D，E，F)，其函数依赖集为{E→D，C→B，CE→F，B→A}，则R最高属于第几范式（）。15.矛盾式的主合取范式不包含该公式的任何极大项.16.仅满足第一范式的关系可能会存在（）问题。17.非主属性必须完全依赖于主键列，这属于下列范式的内容（）18.从第二范式到第三范式做了下列（）操作19.关系模式规范化中的第三范式必须满足（）。20.在关系DB中，任何二元关系模式的最高范式必定是（）。