摘要
利用矩阵这一工具,研究了到3NF保持函数依赖的模式分解,文中基于矩阵给出了判定3NF的若干定理,并提出矩阵行相容,矩阵包含和矩阵合并等新的定义,给出了基于矩阵到3NF保持函数依赖的模式分解算法。
In this paper. the decompositions to 3NF with preservation of FD's are studied based on matrix. some theorems based on matrix of judge 3NF are given in this paper. and some new definitions such as the compatibility of row, matrix containing. matrix merging are presented. The algorithms for decompositions of relational schema based on matrix to 3NF with preservation of FD's are given.