SQL语言――完整性 sql sql语句 SQL语言 完整性

SQL语言——完整性
完整性
/*--1. 完整性
广义完整性：语义完整性、并发控制、安全控制、DB故障恢复等
狭义完整性：专指语义完整性
*/
/*--2. 完整性约束条件的一般形式
-- Integrity Constraint ::= (O , P , A , R)
-- O 数据集合：约束的对象(列、多列、元组集合)
-- P 谓词条件：什么样的约束
-- A 触发条件: 什么时候检查
-- R 响应动作：不满足时怎么办
/*--3. SQL支持的约束类型
--(1) 静态约束
-- 列完整性————域完整性约束
-- 表完整性————关系完整性约束
-- Integrity Constraint ::=(O , P , A , R)
-- O 列 或 表(多列)
-- P 需要定义的约束条件
-- A 更新时检查(默认)
-- R 拒绝(默认)
CREATE TABLE tablename
((colname datatype [DEFAULT {default_constant | NULL}]
[col_constr {col_constr...}]
|,table_constr
{,{colname datatype [DEFAULT {default_constant | NULL}]
[col_constr {col_constr...}]
|,table_constr}}
));
-- Col_constr列约束
{NOT NULL | //列值非空
[CONSTRAINT constraintname] //为约束命名，便于以后撤销
{UNIQUE //列值唯一性
| PRIMARY KEY //列为主键
| CHECK (search_cond) //列值满足条件，条件只能使用当前列值
| REFERENCES tablename [(colname)]
[ON DELETE {CASCADE | SET NULL}]
}
}
-- 引用另一个表tablename 的列colname的值，如有ON DELETE CASCADE 或 ON DELETE SET NULL
-- 语句，则删除被引用表的某列值v时，要将本表该列值为v的记录删除或列值更新为null；缺省
-- 无操作
-- table_constr 表约束
[CONSTRAINT constraintname]
{UNIQUE (colname {,colname...})
| PRIMARY KEY (colname {,colname...})
| CHECK(search_condition)
| FOREIGN KEY (colname {,colname...})
REFERENCES tablename[(colname{,colname...})]
[ON DELETE CASCADE]
}
--(2) 动态约束
-- 触发器Trigger : 实现动态约束以及多个元组之间的完整性约束
-- Trigger 是一种过程完整性约束，是一段程序，在特定的时刻被自动触发
--基本语法
CREATE TRIGGER trigger_name BEFORE | AFTER
{INSERT | DELETE | UPDATE [OF colname{,colname...}]}
ON tablename [REFERENCING corr_name_def{,corr_name_def...}]
[FOR EACH ROW | FOR EACH STATEMENT] //对更新操作的每一条结果(前者)，或整个更新操作完成(后者)
[WHEN (search_condtion)]
{statement //单行程序直接书写
| BEGIN ATOMIC statement;{statement;...} END} //多行程序用一下方式，保持原子性
语句语义：当某一事件发生时(Before | After) ,对该事件产生的结果(或是每一个元组，或是整个
操作的所有元组)，检查条件search_condition ，如果满足条件，则执行后面的程序段
其中，条件或程序段中引用的变量可用corr_name_def来限定。
corr_name_def的定义：
{ OLD [ROW] [AS] old_row_corr_name //更新前的旧元组命别名为
| NEW [ROW] [AS] new_row_corr_name //更新后的新元组命别名为
| OLD TABLE [AS] old_table_corr_name //更新前的旧Table命别名为
| NEW TABLE [AS] new_table_corr_name //更新后的新Table命别名为
}
**/
-- e.g.
-- 列约束
CREATE TABLE student(
s# CHAR(8) NOT NULL UNIQUE,
sname CHAR(10),
ssex CHAR(2) CONSTRAINT ctssex CHECK(ssex = '男' OR ssex = '女'),
sage INTEGER CHECK (sage >= 1 AND sage < 150),
d# CHAR(2) REFERENCES dept(d#) ON DELETE CASCADE,
sclass CHAR(6)
);
-- 表约束
CREATE TABLE course(
cid CHAR(3),
cname CHAR(12),
chours INTEGER,
credit FLOAT(1) CONSTRAINT ctcredit CHECK(credit >= 0.0 AND credit <= 5.0),
tid CHAR(3) REFERENCES teacher(tid) ON DELETE CASCADE,
PRIMARY KEY(cid),
CONSTRAINT ctcc CHECK(chours/credit = 20)
);
--
CREATE TABLE sc(
sid CHAR(8) CHECK(sid IN (SELECT sid FROM student)),
cid CHAR(3) CHECK(cid IN (SELECT cid FROM course)),
score FLOAT(1) CONSTRAINT ctscore CHECK(score >= 0.0 AND score <= 100.0)
);
-- 触发器
-- 设计一个触发器，当进行teacher表更新元组时，使其工资只能升不能降
CREATE TRIGGER teacher_chgsal BEFORE UPDATE OF salary
ON teacher
REFERENCING NEW x,OLD y
FOR EACH ROW WHEN(x.salary < y.salary)
BEGIN
raise_application_error(-20003,'invalid salary on update');
//此语句为Oracle的错误处理函数
END;
-- 当学生每选修一门课，都要在学生表的sum_course 增加1，统计学生选修课的数量
CREATE TIGGER sumc AFTER INSERT sc
REFERENCING NEW ROW newi
FOR EACH ROW
BEGIN
UPDATE student SET sum_course = sum_course+1
WHERE s# = :newi.s#;
END;