论文部分内容阅读
本文基于语义贴近度的概念给出了模糊函数依赖(FFD)、模糊多值依赖(FMVD)和模型联接依赖(FJD)的定义。本文得到一组类似于Armstrong公理的正确、完备的FFD和FMVD的推理规则。进一步,我们证明了经典数据依赖满足模糊数据依赖的定义,FFD是FMVD的特例,而FMVD又是FJD的特例。