实验2.3用户自定义完整性.pdfVIP

软件C122 彭静 126226 实验2.3用户自定义完整性 软件C122 彭静 126226 1.实验目的： 学习用户自定义约束，并实践用户自定义完整性，利用SQL查询分析器用短 语NOT NULL、UNIQUE、CHECK保证用户定义完整性。 2.实验原理： 1）用户自定义完整性（User-defined Integrity） 不同的关系数据库系统根据其应用环境的不同，往往需要一些特殊的约束条 件。用户自定义的完整性即是针对某个特定关系数据库的约束条件，它反映某 一具体应用所涉及的数据必须满足的语义要求。 它主要包括： (1)域完整性（Domain Integrity） [1] 域完整性是指数据库中的列必须满足某种特定的数据类型或约束。域约束 是最常见的用户自定义完整性约束，当有新数据插入到数据库中，系统可以按 照定义进行关系属性取值是否正确的检测。其中，约束又包括取值范围精度等 规定。表中的CHECK FOREIGN KEY约束和DEFAULT NOT NULL定义都属于域完整 性的范畴。 [2] 现在的RDBM 中，一般都有域完整性检查功能。SQL Server提供了定义和 检验这类完整性的机制，以便用统一的系统方法来处理它们。而不是用应用程 序来承担这一功能。其他的完整性类型都支持用户定义的完整性。 [3] 一个属性能否取空值一般由语义决定，也是域约束的内容之一。 (2)其他用户自定义完整性 不同的关系数据库系统根据其应用环境的不同，往 往还需要一些特殊的约束条件。其他类型的用户自定义的完整性即是针对某个 特定关系数据库的约束条件，它反映某个具体应用所涉及的数据必须满足的语 义要求。 2）SQL 中的约束机制 约束主要包括如下两种。 静态约束：对静态对 约束是反映数据库状态合理性的约束，如实体完整性。 动态约束：对动态对 约束是反映数据库状态变迁的约束，如触发器。SQL 中用 于属性约束方面的有NOTNULL、CHECK等子句；而用于全局约束方面的有CREATE A ERTION、CREATE RULE等语句 3）一般的规则组成 规则一般是由规则标识（可默认）以及规则语句组成。规则语句由约束作用的 数据对象、约束定义（如断言Assertion）、触发条件以及违反规则时的响应动 作购成。 4）规则的一般分类 类型 属性级 元组级 关系级 静态 类型、格式、值域、空值 元组的各个属性 之间的取值限制 实体、引用统计完整性函数依赖 动态 属性/值改变 元组值修 改时各属性间的约束 关系变化的前后一致性 5）自定义数据类型和规则 （1）如果多个列使用同一类型的约束，或在一些特殊的情况下，通过自定义的 数据类型和规则就为数据库设计提供了更高层 抽象，如工资数据类型肯定比 smallmoney能建立更多的特征及更容易被理 （2）规则的创建（当约束条件要为多列使用时）。 步骤一： CREATE RULE rule A condition_expression -1- 软件C122 彭静 126226 步骤二： Sp_bindrule[@rulename =]’rule’,[@objname=]’object_name’ 规则一般绑定到某一列，或者是用户自己定义的数据类型。 6) Check约束 (1)CHECK约束是对列或列的组合的取值限制，它采用SQL语句中WHERE 子句相 同的表达方式来表达，分为表一级和列一级的约束。 (2)空值的问题。空值意味着检查约束的值是未知的，所以空值的出现不会违反 检查约束的条件。 (3) 潜在的语义问题。 [1] 大多数的DBM 不会检查约束和默认值定义的语句，所以要注意语义冲突； [2] check和check之间的冲突。 [3] 定义了置空删除，但表中检查约束要求此列不能为空；定义该列不能为空， 检查约束要求此列为空。 7)Rule约束的建立 规则可以是WHERE 子句中任何有效的表达式，并且可以包括 诸如算术运算符、关系运算符和谓词 （如IN、LIKE、BETWEEN）之类的元素。规 则不能引用列或其他数据库对象。可以包含不引用数据库对 内置函数。 Condition_expression包括一个变量。每个局部变量的前面都有一个@符号。该 表达式引用通过UPD