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

Data Dependence Research on Uncertain Relation

作　　者：周宇[1] 刘国华[1] 叶杰敏 

机构地区：[1]东华大学计算机科学与技术学院,上海201620

出　　处：《计算机科学》2014年第8期209-212,共4页Computer Science

基　　金：国家自然科学基金项目(61070032)资助

摘　　要：数据依赖是属性间取值相互约束条件的形式化表示,函数依赖是一种对数据库模式设计及查询具有重要影响的数据依赖。对于不确定关系,由于一条元组中属性取值存在多种可能,属性间取值相互约束的情况要比一般关系中的复杂。为进一步研究不确定关系中数据间的联系,给出了不确定关系模式的形式化定义,提出了3类不确定函数依赖,并证明了其推导规则。此3类不确定函数依赖可以检查不确定关系的可能世界中是否存在违反规范化设计要求的风险,从而避免数据冗余,更新异常操作。Data dependencies are the formal representation for the mutual constraints condition between the values of attributes, and functional dependencies are some of important influence data dependencies for the schema design and query in the database. In the uncertain relation, there are several possible values for every attribute in a tuple, so the mu- tual constraints for the values of attributes are more complicated than in the certain relation. We proposed a formal defi- nition for uncertain relation and three kind of uncertain function dependencies, and then proved their inference rules. We would illustrate that above uncertain function dependences have important meaning in the guidance of normal form de- sign in the uncertain relation.

关 键 词：不确定关系 不确定函数依赖 规范化设计 推导规则 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]