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