数据库第16周学习攻略（第十组）

 

 

Armstrong公理系统

 

    关系模式R <U，F >来说有以下的推理规则：

A1.自反律（Reflexivity）：若Y  X  U，则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的任何真子集都不能实现X（真）——>Y；

 

部分函数依赖：X——>Y、并且X存在真子集实现X（真）——>Y；

 

传递函数依赖：R(u) ，X——>Y、（Y不属于X），Y！——>X，Y——>Z则称Z对X传递函数依赖。

 

平凡非平凡函数依赖：X——>Y（Y属于X）则称平凡函数依赖、否则称非平凡函数依赖。

 

数据字典是指对数据的数据项、数据结构、数据流、数据存储、处理逻辑、外部实体等进行定义和描述，其目的是对数据流程图中的各个元素做出详细的说明，使用数据字典为简单的建模项目。简而言之，数据字典是描述数据的信息集合，是对系统中使用的所有数据元素的定义的集合。

数据字典（Data dictionary）是一种用户可以访问的记录数据库和应用程序元数据的目录。主动数据字典是指在对数据库或应用程序结构进行修改时，其内容可以由DBMS自动更新的数据字典。被动数据字典是指修改时必须手工更新其内容的数据字典。

 

数据需求分析是从对数据进行组织与存储的角度，从用户视图出发，分析与辨别应用领域所管理的各类数据项（Data Items）和数据结构，形成数据字典的主要内容。