模糊关系无损连接分解的实现及检验

本文基于一个模糊关系数据库系统的实验性原型FRDB1中定义的模糊关系,首先定义了模糊等价性,描述并验证了模糊函数依赖的理论,然后基于模糊关系代数和模糊等价性的附加约束条件实现了模糊关系的无损连接分解,最后证明了追踪算法检验模糊关系的无损连接分解。

线性序约束关系的无损连接分解

对线性序约束数据库中的数据依赖和无损连接分解进行了研究．介绍了线性序约束数据库的一些基本概念，提出了线性序约束关系中多区域存在依赖和分组多区域存在依赖的概念，证明了变量集满足变量独立和多区域存在依赖是进行模式无损连接分解的充要条件．

空值环境下关系模式无损连接分解为(N)BCNF的必要条件和算法

对文献［１］提出的空值环境下关系模式无损连接分解为（Ｎ）ＢＣＮＦ的必要条件，给出二个反例，证明它是不正确的；并分别从关系模式的函数依赖集Ｆ的最小依赖集Ｆ′和闭包Ｆ＋ 出发，重新给出二个必要条件．另外，还给出二个空值环境下关系模式无损连接分解为（Ｎ）ＢＣＮＦ的算法．这二种算法均是进行二叉树搜索的算法．每次分解均是对非（Ｎ）ＢＣＮＦ的子式进行一分为二且无损连接的分解，由一个父结点得到二个子结点．若可能，就一层层分解下去，当不可能进行这样的分解时，就退回到它的父结点，然后尝试新的分解，如此反复进行，直到得到符合要求的结果（所有叶结点均为（Ｎ）ＢＣＮＦ）或输出无法分解的信息．其中一个算法较简便易行，但不能得到全部符合要求的分解，另一算法较复杂，但能得到全部符合要求的分解．