模糊关系数据库模型中基于邻近的等价类

为扩展关系数据库以包含不完全信息奠定坚实理论基础的最早尝试之一，是Buckles和Petry提出的模糊关系模型。该结构基于传统关系模型的两点推广：(1) 元组分量可为对应域的任意子集，而非单一元素；(2) 在每个域上定义相似关系。该关系满足自反性、对称性与极大-极小传递性，从而以相等关系为特例。此推广保持了关系模型的两个关键性质——没有两个不同元组表示相同信息，以及关系代数任一运算的结果唯一。Shenoi和Melton推广了该模型，并展示了如何通过仅满足自反与对称性质（邻近关系）的关系，在属性域上保持等价类的存在。此推广的动机在于相似关系的极大-极小传递性过于严格，导致某些域类型下该关系难以构造。Shenoi-Melton模型的一个重要特征是等价类依赖于数据库的当前内容。该特征，连同邻近关系构造等价关系的方式，可能导致等价类与某些数据库查询类型不甚契合。本文提出一种在模糊关系数据库中于属性域上形成等价类的不同方式，其仅依赖于属性域而非当前数据库状态。我们还给出了在某些域类型上自动构造邻近关系的简单方法。