作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2009, Vol. 35 ›› Issue (18): 43-44. doi: 10.3969/j.issn.1000-3428.2009.18.015

• 软件技术与数据库 • 上一篇    下一篇

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

杭后俊   

  1. (安徽师范大学数学计算机科学学院,芜湖 241000)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-09-20 发布日期:2009-09-20

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

HANG Hou-jun   

  1. (School of Mathematics and Computer Science, Anhui Normal University, Wuhu 241000)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-09-20 Published:2009-09-20

摘要: 函数依赖和多值依赖是关系数据库理论中非常重要的内容,用于刻画关系数据库中诸属性之间的一种内在联系。通过引入多值依赖的算子表示,对函数依赖以及多值依赖进行讨论并就一些主要性质给出算子化证明,结果表明该方法是简捷而高效的。算子化方法对于关系数据库理论的研究也有一定的实用价值。

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

Abstract: 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.

Key words: relational schema, tuple, attribute, Multi-Valued Dependencies(MVD)

中图分类号: