DF关系数据库的函数依赖研究

摘要

数据间的函数依赖关系一直是关系数据库理论研究中的重要课题，同样，DF关系数据库中也存在着函数依赖关系。首先，基于DF关系理论给出了DF关系数据模型的定义，并介绍了属性值的表示方法；然后，用动态模糊等价关系及其隶属函数来描述动态模糊函数依赖，给出了DF数据库中函数依赖的基本定义，以及基于DF蕴涵关系的公理系统，并证明其推理规则是正确和完备的；最后讨论了DF关系的规范化设计。