摘要
本文基于一个模糊关系数据库系统的实验性原型FRDB1中定义的模糊关系,首先定义了模糊等价性,描述并验证了模糊函数依赖的理论,然后基于模糊关系代数和模糊等价性的附加约束条件实现了模糊关系的无损连接分解,最后证明了追踪算法检验模糊关系的无损连接分解。
The paper is based on the fuzzy relatiop defined in FRDB1 system——an experimental prototype of the fuzzy relational database system. First, it defines fuzzy equality, describes and proves the theory of fuzzy functional dependency. Then, it implements the lossless join decomposition of fuzzy relations based on fuzzy relational algebra and an additional constraint of fuzzy equality. Finally, it verifies a chase algorithm which tests the lossless join decomposition of fuzzy relations.
出处
《计算机工程与科学》
CSCD
1992年第4期1-9,共9页
Computer Engineering & Science
关键词
模糊关系
无损连接分解
数据库
fuzzy relation, fuzzy functional dependency, fuzzy equality, lossless join, chase algorithm.
