论文部分内容阅读
本文在对国内外研究现状进行深入分析的基础上,利用模糊数学的基本理论和方法,深入探讨了模糊空值环境下关系数据库的数据依赖、规范化理论和模式分解理论。
首先,分析经典数据库对现实世界描述的不足之处,论述引入模糊空值的必要性,并介绍了模糊数学的一些基本理论和基本方法,给出模糊空值环境下的关系数据库模型。
其次,对模糊空值环境下的数据依赖进行了论述。重点介绍了模糊空值函数依赖、模糊空值多值依赖、模糊空值连接依赖。定义了模糊空值函数依赖,给出了模糊空值函数依赖的推导公理系统,进一步论述了模糊空值函数依赖集之间的等价性;探讨了模糊空值多值依赖的概念和性质,给出单一模糊空值多值依赖作用环境下的推导规则,并给出了在模糊空值函数依赖、模糊空值多值依赖混合作用下的推导公理系统;定义了模糊空值连接依赖,给出模糊空值连接依赖的两个概念,一个是基于无损连接得出的,另一个是类似模糊空值多值依赖给出的,并证明了两个概念的等价性,且给出模糊空值连接依赖的公理系统。简单介绍了模糊空值环境下的广义连接依赖和子集依赖。
接下来讨论了模糊空值环境下数据库的规范化理论,给出了规范的等级及约束条件。
最后研究了模糊空值环境下的模式分解。讨论了分解的无损连接性和保持模糊空值函数依赖性,并给出了几个分解的算法。