数据库原理复习——完整性约束

数据库完整性约束指的是数据库格式的规范，只有满足完整性约束的记录才被允许加入数据库。

数据库完整性约束大致分为四种，包括域约束，参照完整性约束，实体完整性约束和用户自定义的约束。域约束是最基本的约束，主要限制的是属性的取值范围，在SQL中用check来定义。参照完整性指的是外键都必须存在。实体完整性指的是所有的值都要在主键的值上有值，而且是唯一的。用户自定义的约束则是用户自己定义的。

断言指的是数据库必须满足的条件，域约束和参照完整性是一类特殊的断言。

触发器指的某一个数据库动作只有在某各另外的时间发生时才会发生，定义为trigger。

函数依赖指的是在数据表中，如果Y的值取决于X，那么我们就称Y到X依赖，记做X->Y。其中X可以是一组属性。函数依赖分为局部函数依赖和完全函数依赖，前者就是X中有的属性是不需要的。传递函数依赖指的是函数依赖的连续性。函数依赖是为了刻画数据库表关系结构的合理性，是否高效是否安排合理。

函数依赖的逻辑蕴含指的是函数依赖通过Armstrong定理可以展开，而闭包就是整个展开的合集。

范式是用来衡量数据库关系规范化程度的，1NF指的表中的属性有原子性就可以了。2NF指的是表中的关系不具有局部函数依赖性，3NF表示关系不具有传递依赖性。最小函数依赖集是不含有任何扩张项的函数依赖集合。

然后我们如何使得关系更加合理呢？通过规范化。模式分解是用来衡量规范化程度的一种方法，在模式分解之后再合并会有冗余或者错误的信息，甚至有信息丢失，如果有信息的丢失我们就说这个是有损的函数连接，这是我们需要避免的（通过规范化的手段）。同时我们还有保证函数的依赖，并且使得规范化的函数尽量满足3NF或者更高级别的范式。