约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。

Axiom System of Functional Dependencies and Design Theory in Contraint Databases

As a very promising new data model, constraint database is attracting a growing interest recently. For better applications, it is needed to study its design theory. So definition of functional dependency and axiom system of functional dependencies in contraint databases are given, we give out the sound and complete proof of the axiom system. The paper gives the algorithm for constraint relational schema into 3NF and the algorithm for constraint relational schema into BCNF which are central in the design of constraint databases.