数据库系统概念（机械工业出版社，第六版）复习——第八章：关系数据库设计

第八章：关系数据库设计

第一范式（1NF）

如果某个域的元素被认为是不可再分的单元，那么这个域就是原子的(atomic)。如果一个关系模式R的所有的属性域都是原子的，我们称关系模式R属于第一范式(first normal form, 1NF)。

函数依赖

       设R(U)是属性集U上的关系模式，α,β含于 U， r是R(U) 上的任意一个关系，如果成立

       对t , s ∈ r，若t[α] = s[β]，则t[β] = s[α]

       那么称“α函数决定β”，或“β函数依赖于α”，记作αàβ

       称α为决定因素，β为被决定因素

       如snoàsname，（sno，cno）àscore

平凡函数依赖

       如果αàβ，但β不含于α，则称其为非平凡的函数依赖，否则(即β含于α)称为平凡(trivial)的函数依赖。如(sno，sname)àsname是平凡的函数依赖。

完全函数依赖f、部分函数依赖p

传递函数依赖

闭包

被F所逻辑蕴涵的函数依赖的全体所构成的集合称作F的闭包。

Armstrong公理系统

各希腊字母都为属性集

自反律：若β含于α，则αàβ

增广率：若αàβ，则αγàβγ

传递率：若αàβ，βàγ，则αàγ

合并率：若αàβ，αàγ，则αàβγ

分解率：若αàβγ&