重庆交通大学管理学院依赖理论3.1函数依赖3.1.2关系的键3.2函数依赖的规则3.2.2分解组合规则3.2.4计算属性的闭包3.2.6传递规则3.2.7函数依赖的闭包集合3.2.8投影函数依赖3.3关系数据库模式设计3.3.1异常title3.3.3Boyce-Codd范式3.3.4分解为BCNF3.4分解的优劣3.4.4依赖的保持3.5第三范式3.5.23NF模式综合算法第4章高级数据库模型4.1E/R模型4.1.5E/R图实例4.1.6二元E/R联系的多样性4.1.7多路联系4.1.8联系的角色4.1.9联系的属性4.1.10多路联系到二元联系的转换4.1.11E/R模型中的子类4.2设计原则选择正确的联系选择正确的元素种类例4.18用多路联系还是用多个二元联系4.3E/R模型中的约束4.3.3引用完整性4.4弱实体集例4.22连接实体集形成弱实体集4.4.2弱实体集的要求4.4.3弱实体集的符号4.5从E/R图到关系设计4.5.1实体集到关系的转换4.5.2E/R联系到关系的转化例4.27将多路联系转换为关系4.5.3关系组合例4.29将多对多联系组合到实体集关系模式中4.5.4处理弱实体集4.6子类结构到关系的转化4.6.1E/R方式转换4.6.2面向对象方法4.6.3使用空值组合关系4.6.4各种方法的比较4.7统一建模语言例4.364.7.4自关联4.7.6UML中的子类例4.404.7.7聚集和组合4.8UML图到关系的转化4.8.2从UML子类到关系4.8.4UML与弱实体集的对比实验一数据库的创建实验二SQL查询语句实验三数据库的更新实验四数据库设计第7章约束和触发器7.1，键和外键7.1.2维护引用完整性7.1.3延迟约束检查循环约束7.2属性和元组上的约束7.2.2基于属性的check约束例7.77.2.3基于元组的Check约束7.2.4基于元组和基于属性的约束的比较7.3修改约束例7.107.4断言7.5触发器例7.137.5.2触发器设计的选项例7.15第8章视图和索引8.1.2视图查询8.1.3属性重命名8.2视图更新8.2.2可更新视图在可更新视图中删除元组和更新元组8.2.3视图中的替换触发器8.3SQl中索引8.3.2建立索引的动机8.3.2索引的声明SQLserver中的触发器语法PrinciplesofDatabase例:视图上的insteadof触发器CREATETRIGGERCustomers_Update2ONCustomersViewINSTEADOFUPDATEASDECLARE@Countrynvarchar(15)SET@Country=(SELECTCountryFROMInserted)IF@Country=GermanyBEGINUPDATECustomersGerSETCustomersGer.Phone=Inserted.PhoneFROMCustomersGerJOINInsertedONCustomersGer.CustomerID=Inserted.CustomerIDEND