数据库完整性约束是关系数据库理论中一个承上启下的核心概念。它上承关系模型的基本结构，下接具体数据库管理系统中的表定义语法，是历年软考数据库系统工程师、软件设计师两个科目反复出现的必考知识点。所谓数据库完整性，指的是数据库中数据的正确性和相容性两个方面的总和。正确性要求数据符合客观世界的真实语义，相容性要求同一对象在不同关系表中的数据保持一致。打个比方，如果一张职工表中某个职工的年龄字段被写成了负数，这就是正确性遭到破坏；如果一张订单表中引用的客户编号在客户表里根本不存在，这就是相容性遭到破坏。完整性约束，正是为了防止这两类问题而设立的一整套规则体系，它由数据库管理系统在数据进入数据库的关口进行检查，一旦发现违反规则的数据，就拒绝写入。
需要特别强调，完整性的定义源自关系数据库之父科德在关系模型论文中提出的经典框架。在关系模型的规范表述里，完整性约束被划分为三个层次：实体完整性、参照完整性和用户定义完整性。这三者共同构成了关系数据库数据质量的第一道防线，也是软考命题人最爱拿出来做辨析选择题的素材。实体完整性保证的是每一行记录都有唯一且确定的标识，参照完整性保证的是表与表之间引用关系不悬空，用户定义完整性保证的是具体业务字段的取值符合应用语义。三者的分工明确，缺一不可。
还要澄清一个极易混淆的概念边界：完整性约束与数据库安全性是两个不同的范畴。完整性约束针对的是合法用户输入了不合语义的数据这种情况，它关心的是数据本身对不对；安全性则针对的是非法用户试图越权访问数据的情况，它关心的是操作者有没有权限。两者的控制机制也不同，完整性通过约束定义和违约检查来实现，安全性通过用户身份认证、授权和审计来实现。软考选择题里经常把这两个概念放在一起，让你判断某一条描述到底属于完整性还是安全性，考生如果分不清这两个概念的落脚点，很容易丢分。
从约束条件的作用对象来看，完整性约束还可以进一步分为列级约束、元组级约束和关系级约束三个粒度。列级约束只约束单个属性的取值，例如某列取值必须大于零；元组级约束约束同一行内多个属性之间的相互关系，例如工资列不能低于奖金列；关系级约束约束不同元组之间甚至不同关系之间的相互关系，例如外键就是典型的关系级约束。这个粒度划分在理解约束的实现机制时非常关键，因为数据库管理系统在检查不同粒度的约束时，触发时机和执行开销是截然不同的。
完整性的三条规则之所以被称为"防线"，是因为它们在数据写入数据库的路径上层层设卡。当一条插入或更新语句被提交时，数据库管理系统会先检查该语句涉及的表上挂了哪些约束，然后按照约束的既定规则逐一校验。实体完整性在行一级把关，确保每一行都有唯一的身份标识；参照完整性在表与表之间把关，确保引用关系不出现断链；用户定义完整性在字段一级把关，确保业务语义不被破坏。三者共同作用，才能让数据库里的数据既符合客观事实，又彼此协调一致。理解了这条"防线"的比喻，就能理解为什么数据库设计里约束的声明顺序、约束的粒度选择，都会直接影响数据质量和系统性能。
实体完整性的规则表述非常简洁：若属性或属性组是基本关系的主码，则该属性或属性组不能取空值。这里的空值特指数据库里的特殊标记，它表示未知、不存在或无意义，它既不是数字零，也不是空字符串。为什么主码不能取空值，背后有一个朴素而深刻的逻辑。主码的作用是唯一标识一条元组，它相当于每一行记录在数据库这个"户籍系统"里的身份证号。如果主码允许取空值，那么当两条记录的主码都是空值时，系统就无法判定这两条记录是不是同一个人，唯一标识的功能就彻底失效了。因此实体完整性是关系模型能成立的第一块基石。
在具体的数据库管理系统里，实体完整性通常通过主键约束来实现。当用户在创建表时用主键约束声明了某一列或某几列为主键，系统会做两件关键的事。第一，自动在该主键列上建立唯一索引，借助索引结构来加速唯一性检查；第二，在每一次插入或更新主键列时，自动触发检查，凡出现空值或重复值，一律拒绝执行并报错。这个自动建立的唯一索引，就是实体完整性得以高效落地的技术支撑，它把原本需要全表扫描的唯一性检查，转化成了对索引的快速查找。
参照完整性处理的是关系与关系之间的引用关系，它的规则是：若属性或属性组是基本关系的外码，则它的取值要么为空，要么等于被参照关系中某个元组的主码值。这里引出了外码、参照关系、被参照关系这几个术语。外码是当前关系里的属性，它指向另一个关系的主码；包含外码的关系叫参照关系，被外码指向的那个关系叫被参照关系。特别需要注意的是，参照关系和被参照关系可以是同一个关系，这种情形叫自参照，例如一张职工表里有一个"上级领导工号"字段，它指向的就是同一张表里另一条记录的主键，这就是最典型的自参照结构。
参照完整性的核心价值在于防止引用悬空，也就是防止出现"订单里记录的客户在客户表里根本不存在"这种孤儿数据。当一个外键建立之后，数据库管理系统会在对被参照关系的删除操作、对参照关系的外码更新操作这两个关键节点上进行检查。一旦发现某个操作会导致引用悬空，系统就必须采取违约处理策略。违约处理策略主要有三种：拒绝执行，即直接回滚该操作并报错；级联操作，即把受影响的参照记录一并删除或一并更新；置空操作，即把外码字段置为空值，表示暂时切断这层引用关系。这三者的取舍完全取决于业务语义，软考经常就这个选择出题。
用户定义完整性是最灵活的一层，它不涉及主码外码这些结构性规则，而是针对具体应用场景中特定字段的取值语义。常见的实现手段包括非空约束、唯一约束、检查约束和默认值约束。检查约束尤其值得深入理解，它允许用户用布尔表达式来描述字段的合法取值范围，例如规定年龄字段必须介于零到一百二十之间，规定性别字段只能取男或女两个值。数据库管理系统在每次插入或更新时，都会对这个表达式求值，只有结果为真才放行。
除了约束声明之外，触发器也是用户定义完整性实现的重要手段。触发器的本质是一条事件驱动的规则，它遵循事件、条件、动作三要素的模式。当表上发生插入、删除、更新这些事件时，触发器被激活，先判断条件是否满足，满足则执行预先定义的动作。触发器的能力比检查约束更强，因为它可以跨越多个表、访问修改前后的新旧值、执行复杂的业务逻辑，因此常被用来实现那些单靠声明式约束无法表达的完整性规则。但正因为它功能强大，滥用触发器也会带来维护困难和性能隐患，这是软考论述题里可以展开的一个点。
值得进一步说明的是触发器在实现参照完整性时的特殊地位。虽然标准的参照完整性可以由外键约束配合违约处理策略来实现，但在一些历史遗留系统或复杂的级联场景里，数据库设计者也会用触发器手动实现级联删除、级联更新这类逻辑。触发器和声明式约束实现同一目标时的差异在于：声明式约束由数据库管理系统内核统一执行，效率高、不易出错，但表达能力受限于标准语法；触发器由用户编写的存储过程驱动，表达能力强，但需要开发者自行保证逻辑正确，一旦触发器之间形成循环触发或级联失控，就可能导致难以排查的数据异常。软考命题人偶尔会拿这个对比来出辨析题，考查考生对约束与触发器各自优劣的理解。
从约束作用对象的粒度出发，完整性约束可以清晰地划分为三个层次，这个分类有助于理解不同约束的检查时机。列级约束直接写在列定义之后，只针对该列取值，语法上最简洁，也最常用；元组级约束针对同一行多个列之间的关联，必须写在表定义的末尾，作为表级约束出现；关系级约束则跨越多个元组或多个关系，主键、外键、唯一性其实都带有关系级约束的性质。软考题目有时会给出一段建表语句，要求你判断某个约束属于列级还是表级，本质上考的就是对这个粒度分类的掌握。
另一个重要的分类维度是约束的检查时机。绝大多数约束属于立即执行约束，也就是在每条插入、删除、更新语句执行完毕后立刻检查，一旦违约立即回滚。但在某些批量装载数据的场景里，如果每插入一行就检查一次，会严重拖慢装载速度，于是就有了延迟执行约束的概念。延
本篇完！