空间数据库chap1彩-pgis2010.ppt

create or replace trigger trans_trigger before insert on trans for each row declare v_currentMoney account.currentMoney%type; begin //判断类型 if :new.transType=取款 then //取款 select currentMoney into v_currentMoney from account where cardID=:new.cardID; if v_currentMoney :new.transMoney then raise_application_error(-20001,余额不足); end if; update account set currentMoney=currentMoney-:new.transMoney where cardID=:new.cardID; else //存款 update account set currentMoney=currentMoney+:new.transMoney where cardID=:new.cardID; end if; exception when no_data_found then raise_application_error(-20002,无效的帐户); End; 小结： 数据库的完整性是为了保证数据库中存储的数据是正确的 RDBMS完整性实现的机制 完整性约束定义机制 完整性检查机制 违背完整性约束条件时RDBMS应采取的措施 §9 并发控制 多用户数据库系统，允许多个用户同时访问 飞机订票数据库系统 银行数据库系统 特点：在同一时刻并发运行的事务数可达数百个 事务并发执行带来的问题 会产生多个事务同时存取同一数据的情况 可能会存取和存储不正确的数据，破坏事务一致性和数据库的一致性 事务的基本概念 并发控制概述 封锁 封锁的粒度 空间数据的长事务并发控制 §9.1 事务的基本概念 事务(Transaction)定义 一个数据库操作序列 一个不可分割的工作单元，事务中的操作要么全做，要么全不做 恢复和并发控制的基本单位 事务和程序比较 在关系数据库中，一个事务可以是一条或多条SQL语句,也可以包含一个或多个程序。 一个程序通常包含多个事务 事务的特性(ACID特性) 原子性（Atomicity）：事务中包括的诸操作要么都做，要么都不做。 一致性（Consistency）：事务执行的结果必须是使数据库从一个一致性状态变到另一个一致性状态。 隔离性（Isolation）：一个事务的执行不能被其他事务干扰；一个事务内部的操作及使用的数据对其他并发事务是隔离的；并发执行的各个事务之间不能互相干扰。 持久性（Durability ）：一个事务一旦提交，它对数据库中数据的改变就应该是永久性的。接下来的其他操作或故障不应该对其执行结果有任何影响。 定义事务 显式定义方式 BEGIN TRANSACTION BEGIN TRANSACTION SQL 语句1 SQL 语句1 SQL 语句2 SQL 语句2 。。。。。 。。。。。 COMMIT ROLLBACK 隐式方式 当用户没有显式地定义事务时， DBMS按缺省规定自动划分事务 事务结束 COMMIT 事务正常结束 提交事务的所有操作（读+更新） 事务中所有对数据库的更新永久生效 ROLLBACK 事务异常终止 事务运行的过程中发生了故障，不能继续执行 回滚事务的所有更新操作 事务滚回到开始时的状态 §9.2 并发控制概述 并发控制机制的任务 对并发操作进行正确调度 保证事务的隔离性 保证数据库的一致性 并发操作带来数据的不一致性实例 [例1]飞机订票系统中的一个活动序列 ① 甲售票点(甲事务)读出某航班的机票余额A，设A=16； ② 乙售票点(乙事务)读出同一航班的机票余额A，也为16； ③ 甲售票点卖出一张