函数依赖和多值依赖性质的算子化证明  

Proof of Properties of Function Dependencies and Multi-Valued Dependencies with Operator

作　　者：杭后俊[1] 

机构地区：[1]安徽师范大学数学计算机科学学院,芜湖241000

出　　处：《计算机工程》2009年第18期43-44,共2页Computer Engineering

基　　金：安徽省自然科学基金资助项目(2006kj076B);安徽师范大学专项基金资助项目;安徽师范大学智能计算创新团队基金资助项目

摘　　要：函数依赖和多值依赖是关系数据库理论中非常重要的内容,用于刻画关系数据库中诸属性之间的一种内在联系。通过引入多值依赖的算子表示,对函数依赖以及多值依赖进行讨论并就一些主要性质给出算子化证明,结果表明该方法是简捷而高效的。算子化方法对于关系数据库理论的研究也有一定的实用价值。Function Dependencies（FD） and Multi-Valued Dependencies（MVD） are very important contents in relational database theory. It portrays an inner contact among the various attributes of relational database. By introducing the operator representation, this paper discusses FD and MVD, and proves some main properties easily and efficiently. Operator method has practical value for research on relational database.

关 键 词：关系模式 元组 属性 多值依赖 

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