An Introduction to Database System第六章 关系数据理论An Introduction to Database System第六章 关系数据理论6.1 问题的提出6.2 规范化6.3 数据依赖的公理系统*6.4 模式的分解6.5 小结An Introduction to Database System6.1 问题的提出关系数据库逻辑设计 针对具体问题,如何构造一个适合于它的数据模式 数据库逻辑设计的工具关系数据库的规范化理论An Introduction to Database System问题的提出一、概念回顾二、关系模式的形式化定义三、什么是数据依赖四、关系模式的简化定义五、数据依赖对关系模式影响An Introduction to Database System一、概念回顾v关系v关系模式v关系数据库v关系数据库的模式An Introduction to Database System二、关系模式的形式化定义关系模式由五部分组成,即它是一个五元组:R(U,D,DOM,F)R:关系名U:组成该关系的属性名集合D:属性组U中属性所来自的域DOM:属性向