作　　者： ; ;

机构地区： 河南师范大学

出　　处： 《微电子学与计算机》 1992年第9期1-3,共3页

摘　　要： 关系模式的规范化过程是通过对关系模式的分解实现的。本文给出了一种保持函数依赖和具有无损连接性的关系模式分解方法,证明了该分解满足3NF,而且给出并证明了该分解满足BCNF(Boyce Codd Normal Form)的充分必要条件。该方法可以有效地控制分解规模,简单实用。易于掌握。 The normalized process of relation scheme can be realized through decomposition of relation scheme. This essay will offen you a decompositional methoda of dependency preversing and relation scheme of lossless join. It proves that this decomposition accords with 3NF. At the same time it offers the necessary and sufficient condition of decomposition in accordance with BCNF. Besides, It can effeciently control the decompositional scope. In a word, this method is simple, practical and easy to master.

关 键 词： 关系模式 函数依赖 关系数据库

领　　域： [自动化与计算机技术] [自动化与计算机技术]