Judgement Theorem about Boyce-Codd Normal Form and Methods of Relation Normalization
Sun Chang-yan · Journal of Tongji University · 2002
Within the category of function dependency,the theory and application of normalization of relation model are studied.At first,the equivalency of two definitions about Boyce-Codd Normal Form is proved.Then,a useful judgement theorem about Boyce-Codd Normal Form is advanced and proved.At last,a set of practically specific methods of relation normalization are systematically put forward.These studies can give some help to the further perfection of the relation normalization theory,and its application.