系统概论_系统概论答案_系统概论怎么学(3)

第六章 关系模式 是一个五元组： R(U, D, DOM, F)

1，函数依赖和码的定义P172-P174 数据依赖：一个关系内部属性与属性之间的约束关系。最重要的数据依赖：函数依赖和多值依赖 函数依赖：一个属性或一组属性的值可以决定其它属性的值。

函数依赖：平凡函数依赖与非平凡函数依赖 在关系模式R(U)中，对于U的子集X和Y， 如果X→Y，但Y 不属于 X，则称X→Y是非平凡的函数依赖 若X→Y，但Y 属于 X, 则称X→Y是平凡的函数依赖

在R(U)中,如果X→Y，并且对于X的任何一个真子集X' ,都有X'Y,则称Y对X完全函数依赖,记作:XY 。

若X→Y,但Y不完全函数依赖于X,则称Y对X部分函数依赖,记作XY。

在R(U)中,如果X→Y,(YX)，YX,Y→Z,则称Z对X传递函数依赖。 加上条件Y→X,是因为如果Y→X,则X←→Y,实际上是, 是直接函数依赖而不是传递函数依赖。

2，1NF,2NF，3NF P175-P176 如果一个关系模式R的所有属性都是不可分的基本数据项，则R∈1NF 第一范式是对关系模式的最起码的要求 若R∈1NF，且每一个非主属性完全函数依赖于码，则R∈2NF。 每一个非主属性既不部分依赖于码也不传递依赖于码，则R∈3NF3，函数依赖公理系统（Armstrong公理系统P183，闭包P184,最小覆盖P186) Armstrong公理系统 A1.自反律（Reflexivity）：若Y属于XU，则X →Y为F所蕴含。属于 A2.增广律（Augmentation）：若X→Y为F所蕴含，且Z属于U，则XZ→YZ为F所蕴含。 A3.传递律（Transitivity）：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。（导出规则）： 合并规则：由X→Y，X→Z，有X→YZ。 （A2， A3） 伪传递规则：由X→Y，WY→Z，有XW→Z。系统概论 （A2， A3） 分解规则：由X→Y及 Z属于Y，有X→Z。 （A1， A3）

在关系模式R<U，F>中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包，记为F+。设F为属性集U上的一组函数依赖，X 属于U， XF+ ={ A|X&rarr;A能由F 根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F 的闭包

F+ = G+ 的充分必要条件是F 属于 G+ ，和G 属于 F+ 最小依赖集 (1) F中任一函数依赖的右部仅含有一个属性。 (2) F中不存在这样的函数依赖X&rarr;A，使得F与F-{X&rarr;A}等价。 (3) F中不存在这样的函数依赖X&rarr;A， X有真子集Z使得F-{X&rarr;A}&cup;{Z&rarr;A}与F等价。4，模式分解（模式分解的准则及定义P189-P190,模式分解方法P191) 模式的分解要保持无损联接性和函数依赖性。系统概论算法见教材...

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/jisuanjixue/article-23316-3.html