论文部分内容阅读
本文研究关系模式几种范式之间的关系以及用半格理论表示范式的结构。本文的一个定理是用半格S_F去刻划一个关系模式<U,F>是基本键范式(BKNF)的一个充要条件。本文的第二个定理是给出一个BCNF范式的关系模式<U,F>是投影一联接范式(FJ/NF或5NF)的一个充分条件是:除去一个键(可以不是单的)以外,其余每一个键都是单的且无非主属性。本文第二个定理得出的条件是不同于最近由Date and Fagin[1](1992)得到的结果的。