不确定关系的数据依赖问题研究

数据依赖是属性间取值相互约束条件的形式化表示,函数依赖是一种对数据库模式设计及查询具有重要影响的数据依赖。对于不确定关系,由于一条元组中属性取值存在多种可能,属性间取值相互约束的情况要比一般关系中的复杂。为进一步研究不确定关系中数据间的联系,给出了不确定关系模式的形式化定义,提出了3类不确定函数依赖,并证明了其推导规则。此3类不确定函数依赖可以检查不确定关系的可能世界中是否存在违反规范化设计要求的风险,从而避免数据冗余,更新异常操作。