模糊关系数据库的几点注记

在讨论了模糊关系及其特征之后，给出了在元组隶属函数约束下的模糊关系λ－截集数据库和模糊关系模式的概念，引入并讨论了用模糊集包含度刻划的模糊属性值及元组的语义包含相似度及其性质．在此基础上，导出了经典函数依赖（ＦＤ）的４种相互等价的形式化定义，并由此扩展得到模糊函数依赖（ＦＦＤ）的相应形式化定义和相应于Ａｒｍｓｔｒｏｎｇ公理的有效且完备的推导规则．

函数依赖的几种形式定义

本文基于语义贴近度,导出并讨论了经典函数依赖(FD)的四种等价形式定义,在此基础上,得到模糊函数依赖(FFD)的两个等价的强依赖定义和两个有序包容的弱依赖定义,证明了FFD的最弱依赖相应于Armstrong公理的有效性和完备性。