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)和数据结构,形成数据字典的主要内容。