Kingbase,database,金仓数据库入门,以及基础应用009.docVIP

实验报告 题目：数据的完整性 姓名 徐超 日期 2012-3-30 学号 2009011435 一、实验目的：3类完整性、CHECK 短语、CONSTRAIN子句、触发器。因为完整性约束绝大部分是在定义表结构时进行的，因此可能需要多次定义表，如果表名发生重复的话，可以先将旧表删除后再建立. 二、实验平台： 三、实验内容及要求. 实体完整性 【例4】定义表的主码。 关系模型的实体完整性在CREATE TABLE 中用PRIMARY KEY 定义。定义主码的方法 分为定义为列级约束条件和定义为表级约束条件两种。 [例4-1]定义表Student，并将其中的Sno 属性定义为主码。 CREATE TABLE STUDENT( SNO CHAR(7) PRIMARY KEY, SNAME CHAR(8) NOT NULL, SSEX CHAR(2), SAGE SMALLINT, SDEPT CHAR(20)); 或者： CREATE TABLE STUDENT( SNO CHAR(7), SNAME CHAR(8), SSEX CHAR(2), SAGE SMALLINT, SDEPT CHAR(20), PRIMARY KEY (SNO)); [例4-2]定义表SC,将其中的属性Sno,Cno 定义为主码。 对于多个属性构成的码，只能够将其定义为表级约束条件，而无法用列级约束条件来实 现。 CREATE TABLE SC( SNO CHAR(7) NOT NULL, CNO CHAR(4) NOT NULL, GRADE SMALLINT, PRIMARY KEY (SNO,CNO)); 任务2. 参照完整性。 【例5】定义表的外码。 关系模型的参照完整性是在CREATE TABLE 中用FOREIGN KEY 语句来定义的，并用 REFERENCES 来指明外码参照的是哪些表的主码。 定义表SC，其中Sno 参照表Student 的主码Sno，Cno 参照表Course 的主码Cno。 CREATE TABLE SC( SNO CHAR(7) NOT NULL, CNO CHAR(4) NOT NULL, GRADE SMALLINT, PRIMARY KEY (SNO,CNO), FOREIGN KEY (SNO) REFERENCES STUDENT(SNO), FOREIGN KEY (CNO) REFERENCES COURSE(CNO)); 任务3. 用户定义完整性。 【例6】用户定义的属性上的约束条件。 [例6-1]列值非空。在定义SC 表时，Sno、Cno 和Grade 属性都不允许取空值。 在不特别声明的情况下，非码属性的值是允许取空值的。 CREATE TABLE SC( SNO CHAR(7) NOT NULL, /*列值非空的约束NOT NULL*/ CNO CHAR(4) NOT NULL, GRADE SMALLINT NOT NULL); [例6-2]列值唯一。建立部门表DEPT，要求部门名称Dname 取值唯一，部门编号Deptno 属 性为主码。 CREATE TABLE DEPT( DEPTNO NUMERIC(7) PRIMARY KEY, DNAME VARCHAR(9) UNIQUE, /*UNIQUE 约束要求Dname 取值唯一*/ LOCATION VARCHAR(10)); [例6-3]CHECK 短语指定列值应该满足的条件。定义表Student，属性Ssex 的值只允许取“男” 或“女”；定义表SC，属性Grade 的值定义在0－100 之间。 CREATE TABLE STUDENT( SNO CHAR(7) PRIMARY KEY, SNAME CHAR(8) NOT NULL, SSEX CHAR(2) CHECK(SSEX IN(‘男’,’女’)), /*CHECK 语句约束条件*/ SAGE SMALLINT, SDEPT CHAR(20)); CREATE TABLE SC( SNO CHAR(7) NOT NULL, CNO CHAR(4) NOT NULL, GRADE SMALLINT CHECK (GRADE0 AND GRADE100), /*CHECK 语句约束 条件*/ PRIMARY KEY (SNO,CNO), FOREIGN KEY (SNO) REFERENCES STUDENT(SNO), FOREIGN KEY (CNO) REFERENCES COURSE(CNO)); 【例7】用户定义的元组上的约束条件。 CHECK 短语不光能够定义属性列上的约束条件，还允许用户定义元组级的约束条件。 定义表