Armstrong公理
阅读数:56 评论数:0
跳转到新版页面分类
数据库
正文
一、Armstrong公理
Armstrong公理系统设关系模式R<U,F>，其中U为属性集，F是U上的一组函数依赖，那么有如下推理规则：
1、自反律
若$Y\subseteq X \subseteq U$，则$X\to Y$为F所蕴含。
2、增广律
若$X \to Y$为F所蕴含，且$Z \subseteq U$，则$XZ \to YZ$为F所蕴含。
3、传递律
若$X\to Y, Y\to Z$为F所蕴含，同$X\to Z$为F所蕴含。
根据上面三条推理规则可以得到下面三条规则：
4、合并规则
若$X\to Y, X\to Z$，则$X\to YZ$
5、伪传递规则
若$X\to Y, WY\to Z$，则$WX\to Z$
6、分解规则
若$X\to Y$，且$Z\subseteq Y$，则$X\to Z$
相关推荐
一、概述
事物处理技术主要包括数据库恢复技术和并发控制技术。
所谓事务是用户定义的一个数据库操作序列，这些操作要么全做要么全不做。事务通常以begin transaction开始，以commit或ro
在用户看来，关系模型的数据的逻辑结构是一张二维表。关系模式中常用的关系操作包括：选择（Select）、投影（Project）、连接（Join）、除（Divide）、并（Union）、交（Inte
一、B-tree
我们常见的数据库系统，其索引使用的数据结构多是B-Tree或者B+Tree。例如，MsSql使用的是B+Tree，Oracle及Sysbase使用的是B-Tree。所以在最开始，简单
经纬度保留到小数点后7位，精度就是1cm，所以mysql数据库保存经纬度常用decimal(10,7)。因为decimal在mysql中以字符串存储，所以相对于float来说更精确，相对于字符串
通常分为六个阶段：
一、需求分析
需求分析不仅要明确用户的各种需求，还要充分考虑今后可能的扩充与改变。常用结构化分析方法（SA， Structured Analysis），即自上而下，逐层分解的方式分