数据库完整性
数据库完整性（DB Integrity）是指DBMS应该保证的数据库的一种特性，在任何情况下的正确性，有效性和一致性
- 广义完整性：语义完整性，并发控制，安全控制，DB故障恢复等
- 狭义完整性：专指语义完整性
利用SQL语言实现数据库的静态完整性
SQL支持一下几种约束：
- 静态约束:列完整性，表完整性
- 动态约束：触发器
SQL实现约束的方法：
Create Table:
- 它有三种功能，定义关系模式，定义完整性约束和定义物理存储特性
- eg1 :
- eg2:
撤销或追加约束
SQL的断言
断言：ASSERTION，一个断言就是一个谓词表达式，表达了希望数据库总能满足的条件
语法： Create Assertion CHECK
eg：
SQL触发器
Trigger是一种过程完整性约束，是一段程序，该程序可以在特定的时刻被自动触发执行，比如在一次更新之前或一次更新之后
语法：
corr_name_def定义:
eg: