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

第35卷 第18期 计 算 机 工 程 2009年 9月 September2009 VeI~35 No．18 ComputerEngineering · 软件技术与数据库 · 文章编号：1ooo__ 28(2o09)l8—J043．__02 文献标识码：A 中圈分类号：TP311 函数依赖和多值依赖性质的算子化证明 杭后俊 (安徽师范大学数学计算机科学学院，芜湖 241000) 摘 要：函数依赖和多值依赖是关系数据库理论中非常重要的内容，用于刻画关系数据库中诸属性之间的一种内在联系。通过引入多值依 赖的算子表示，对函数依赖以及多值依赖进行讨论并就一些主要性质给出算子化证明，结果表明该方法是简捷而高效的。算子化方法对于 关系数据库理论的研究也有一定的实用价值。 关健