2016年6月17日
2016.6.17 数据库设计之数据依赖的公理系统
摘要： **数据依赖的公理系统是模式分解算法的理论基础，Armstrong公理系统。 **逻辑蕴含：对于满足一组函数依赖F的关系模式R<U,F>,其任何一个关系r，若函数依赖X->Y都成立，则称F逻辑蕴含X->Y。 （1）关系模式R<U,F>有以下推理规则： ①自反律：若Y属于X属于U，则X->Y为F所蕴含 阅读全文
posted @ 2016-06-17 18:37 小春熙子 阅读(1268) 评论(0) 推荐(0)
2016.6.14 关系数据理论之范式
摘要： （1）2NF（没有部分依赖） **若R属于1NF，且每一个非主属性完全函数依赖于任何一个候选码，则R属于2NF。 （2）3NF（非主属性不可以传递依赖于码) **设关系模式R<U,F>属于1NF，若R中不存在这样的码X，属性组Y及非主属性Z使得X->Y,Y->Z成立，则称R<U,F>属于3NF。 * 阅读全文
posted @ 2016-06-17 10:42 小春熙子 阅读(352) 评论(0) 推荐(0)