数据库复习小记


title: 数据库复习小记
date: 2020-07-06 09:48:28


文章目录

0. 前言

大三下,只剩一门数据库原理课程考试了,趁复习之际,我打算对数据库内容知识进行简单总结。

实习面试时,曾倍受不懂数据库之苦。虽然以前接触过MySQL等数据库,但并没有深入了解和研究,对其原理更是雾里看花。

而随着数据库原理课程步步深入的讲解,才终于揭开数据库神秘的面纱。

贯彻全文例子的数据表:

4.png

1. 关系数据库

关系数据库(Relational database),是创建在关系模型基础上的数据库,借助于集合代数等数学概念和方法来处理数据库中的数据。

它于1970年由**埃德加·科德(E.F.Codd)**提出,开创了数据库系统的新纪元。

当今,很多传统数据库,都属于关系数据库,比如:MySQL、Oracle等。而redis等新型数据库,则是非关系型数据库。

关系模型分为三部分:

  • 关系数据结构
  • 关系操作集合
  • 关系完整性约束

1.1. 关系

关系模型的数据结构非常简单,即关系——一张扁平的二维表。

关系的定义如下:

1.png

  • 关系的目或度n,即为二维表的列属性;
  • 关系的元组t,即为二维表的行。

1.2. 关系操作

增删改查,其中查询最为关键和复杂。

早期的关系查询操作通常用代数方式逻辑方式表示,分别称为关系代数关系演算

后来,出现了一种介于关系代数和关系演算之间的结构化查询语言(SQL)

2.png

1.3. 关系的完整性

关系模型的完整性约束分为三类:

  • 实体完整性,即主键。
  • 参照完整性,即外键。
  • 用户定义的完整性,即NOT NULL等。

1.4. 关系代数

关系代数是一种抽象的查询语言,用对关系的运算来表达查询。其运算符如下:

3.png

具体知识点不予介绍,关系代数示例如下:

  • 1 查询年龄不等于20岁的学生信息

σ S a g e ! = 20 ( S t u d e n t ) \sigma_{Sage!=20}(Student) σSage!=20(Student)

  • 2 查询选修1号课程的学生学号

π S n o ( σ C n o = 1 ( S C ) ) \pi_{Sno}(\sigma_{Cno=1}(SC)) πSno(σCno=1(SC))

  • 3 查询既选修1号课程又选修2号课程的学生学号

π S n o ( σ C n o = 1 ( S C ) ) ⋂ π S n o ( σ C n o = 2 ( S C ) ) \pi_{Sno}(\sigma_{Cno=1}(SC)) \bigcap \pi_{Sno}(\sigma_{Cno=2}(SC)) πSno(σCno=1(SC))πSno(σCno=2(SC))

(select sno from sc where cno=1)
intersect
(select sno from sc where cno=2);
  • 4 查询不选1号课程的学生学号

π S n o ( S t u d e n t ) − π S n o ( σ C n o = 1 ( S C ) ) \pi_{Sno}(Student) - \pi_{Sno}(\sigma_{Cno=1}(SC)) πSno(Student)πSno(σCno=1(SC))

select sno from student
minus
select sno from sc where cno=1;

查询所有课程成绩大于等于85分的学生学号

π S n o ( S C ) − π S n o ( σ G r a d e < 85 ( S C ) ) \pi_{Sno}(SC) - \pi_{Sno}(\sigma_{Grade<85}(SC)) πSno(SC)πSno(σGrade<85(SC))

(select sno from sc)
minus
(select sno from sc where grade < 85);
  • 5 查询选修1号课程的学生学号和姓名

π S n o , S n a m e ( σ C n o = 1 ( S C × S t u d e n t ) \pi_{Sno,Sname}(\sigma_{Cno=1}(SC \times Student) πSno,Sname(σCno=1(SC×Student)

select student.sno, student.sname
from sc cross join student
where sc.cno=1;

π S n o , S n a m e ( σ C n o = 1 ( S C ⋈ S t u d e n t ) ) \pi_{Sno,Sname}(\sigma_{Cno=1}(SC \bowtie Student)) πSno,Sname(σCno=1(SCStudent))

select student.sno, student.sname
from sc join student on sc.sno=student.sno
where cno=1;
  • 6 查询所有选课成绩均及格的学生学号和姓名

π S n o , S n a m e ( σ G r a d e ≥ 60 ( S C ⋈ S t u d e n t ) ) \pi_{Sno,Sname}(\sigma_{Grade \geq 60}(SC \bowtie Student)) πSno,Sname(σGrade60(SCStudent))

select sno, sname from student natural join sc where grade >= 60;
  • 7 查询选修了全部课程的学生学号和姓名

( π S n o , C n o ( S C ) ÷ π C n o ( C o u r s e ) ) ⋈ π S n o , S n a m e ( S t u d e n t ) (\pi_{Sno,Cno}(SC) \div \pi_{Cno}(Course)) \bowtie \pi_{Sno, Sname}(Student) (πSno,Cno(SC)÷πCno(Course))πSno,Sname(Student)

  • 8 查询至少选修2门不同课程的学生学号

π S n o ( σ S C 1. S n o = S C 2. S n o ⋀ S C 1. C n o ! = S C 2. C n o ( S C 1 × S C 2 ) ) \pi_{Sno}(\sigma_{SC1.Sno = SC2.Sno \bigwedge SC1.Cno!=SC2.Cno}(SC1 \times SC2)) πSno(σSC1.Sno=SC2.SnoSC1.Cno!=SC2.Cno(SC1×SC2))

select sno, count(cno) con_count
from SC
group by sno
having count(cno) >= 2;
  • 9 查询选课成绩最高的学生学号和成绩

X = π G r a d e ( S C ) − π S C 1. G r a d e ( S C 1 ⋈ S C 1. G r a d e < S C 2. G r a d e S C 2 ) X = \pi_{Grade}(SC) - \pi_{SC1.Grade}(SC1 \bowtie_{SC1.Grade < SC2.Grade} SC2) X=πGrade(SC)πSC1.Grade(SC1SC1.Grade<SC2.GradeSC2)
π S n o , G r a d e ( X ⋈ S C ) \pi_{Sno, Grade}(X \bowtie SC) πSno,Grade(XSC)

select sno, grade
from SC
where grade=(
    select max(grade) from SC
);
  • 1 查询所有男同学的信息

σ S s e x = ′ 男 ′ ( S t u d e n t ) \sigma_{Ssex='男'}(Student) σSsex=(Student)

select * from student where ssex='男';
  • 2 查询选修1号或2号课程的学生选课信息

σ C n o = 1 ⋁ C n o = 2 ( S C ) \sigma_{Cno=1 \bigvee Cno=2}(SC) σCno=1Cno=2(SC)

select * from sc where cno=1 or cno=2;
  • 3 查询计算机系(CS)的男同学的学号和姓名

π S n o , S n a m e ( σ S s e x = ′ 男 ′ ⋀ S d e p t = ′ C S ′ ( S t u d e n t ) ) ) \pi_{Sno, Sname}(\sigma_{Ssex='男' \bigwedge Sdept='CS'}(Student))) πSno,Sname(σSsex=Sdept=CS(Student)))

select sno, sname from student where ssex='男' and sdept='CS';
  • 4 查询选修“数据库”课程的学生学号

π S n o ( σ C n a m e = ′ 数 据 库 ′ ( C o u r s e ⋈ S C ) ) \pi_{Sno}(\sigma_{Cname='数据库'}(Course \bowtie SC)) πSno(σCname=(CourseSC))

select sno
from Course join SC on Course.cno=SC.cno
where Course.cname='数据库';
  • 5 查询选修“数据库”课程的学生学号和姓名

π S n o , S n a m e ( σ C n a m e = ′ 数 据 库 ′ ( C o u r s e ⋈ S C ⋈ S t u d e n t ) ) \pi_{Sno, Sname}(\sigma_{Cname='数据库'}(Course \bowtie SC \bowtie Student)) πSno,Sname(σCname=(CourseSCStudent))

select sno,sname
from course natural join sc natural join student
where cname='数据库';
  • 6 查询没有选修全部课程的学生学号

π S n o ( π S n o , C n o ( S t u d e n t × C o u r s e ) − π S n o , C n o ( S C ) ) \pi_{Sno}(\pi_{Sno,Cno}(Student \times Course) - \pi_{Sno,Cno}(SC)) πSno(πSno,Cno(Student×Course)πSno,Cno(SC))

select distinct sno from
(select sno, cno from student cross join course
minus
select sno, cno from sc);

π S n o ( S t u d e n t ) − ( π S n o , C n o ( S C ) ÷ π C n o ( C o u r s e ) ) \pi_{Sno}(Student) - (\pi_{Sno, Cno}(SC) \div \pi_{Cno}(Course)) πSno(Student)(πSno,Cno(SC)÷πCno(Course))

  • 7 查询没有选修全部课程的学生学号和姓名

π S n o ( π S n o , C n o ( S t u d e n t × C o u r s e ) − π S n o , C n o ( S C ) ) ⋈ π S n o , S n a m e ( S t u d e n t ) \pi_{Sno}(\pi_{Sno,Cno}(Student \times Course) - \pi_{Sno,Cno}(SC)) \bowtie \pi_{Sno, Sname}(Student) πSno(πSno,Cno(Student×Course)πSno,Cno(SC))πSno,Sname(Student)

( π S n o ( S t u d e n t ) − ( π S n o , C n o ( S C ) ÷ π C n o ( C o u r s e ) ) ) ⋈ π S n o , S n a m e ( S t u d e n t ) (\pi_{Sno}(Student) - (\pi_{Sno, Cno}(SC) \div \pi_{Cno}(Course))) \bowtie \pi_{Sno, Sname}(Student) (πSno(Student)(πSno,Cno(SC)÷πCno(Course)))πSno,Sname(Student)

1.5. 关系演算

关系演算则以数理逻辑中的谓词演算为基础。

具体内容不做介绍。示例如下:

  • 1 试用元组关系演算语言ALPHA完成:查询计算机系(CS)的男同学的学号和姓名

G E T   W ( S t u d e n t . S n o , S t u d e n t . S n a m e ) : S t u d e n t . S d e p t = ′ C S ′ ⋀ S t u d e n t . S s e x = ′ 男 ′ GET \ W (Student.Sno, Student.Sname): Student.Sdept='CS' \bigwedge Student.Ssex='男' GET W(Student.Sno,Student.Sname):Student.Sdept=CSStudent.Ssex=

  • 2 试用元组关系演算语言ALPHA完成:查询选修“数据库”课程的学生学号

R A N G E   C o u r s e   C X RANGE \ Course \ CX RANGE Course CX
G E T   W ( S C . S n o ) : ∃ C X ( C X . C n o = S C . C n o ⋀ C X . C n a m e = ′ 数 据 库 ′ ) GET \ W (SC.Sno): \exists CX (CX.Cno=SC.Cno \bigwedge CX.Cname='数据库') GET W(SC.Sno):CX(CX.Cno=SC.CnoCX.Cname=)

  • 3 试用元组关系演算语言ALPHA完成:查询所有选课成绩均及格的学生学号和姓名

R A N G E   S C   S C X RANGE \ SC \ SCX RANGE SC SCX
G E T   W ( S t u d e n t . S n o , S t u d e n t . S n a m e ) : ∀ S C X ( S C X . S n o = S t u d e n t . S n o ⟹ S C X . G r a d e > = 60 ) GET \ W (Student.Sno, Student.Sname): \forall SCX (SCX.Sno=Student.Sno \Longrightarrow SCX.Grade>=60) GET W(Student.Sno,Student.Sname):SCX(SCX.Sno=Student.SnoSCX.Grade>=60)

正确:

R A N G E   S C   S C X RANGE \ SC \ SCX RANGE SC SCX
G E T   W ( S t u d e n t . S n o , S t u d e n t . S n a m e ) : ∃ S C X ( S C X . S n o = S t u d e n t . S n o ) ⋀ ∀ S C X ( S C X . S n o = S t u d e n t . S n o ⟹ S C X . G r a d e > = 60 ) GET \ W (Student.Sno, Student.Sname): \exist SCX (SCX.Sno = Student.Sno) \bigwedge \forall SCX (SCX.Sno=Student.Sno \Longrightarrow SCX.Grade>=60) GET W(Student.Sno,Student.Sname):SCX(SCX.Sno=Student.Sno)SCX(SCX.Sno=Student.SnoSCX.Grade>=60)

  • 4 试用元组关系演算语言ALPHA完成:查询有两个人以上选修的课程号和课程名

R A N G E   S C   S C X RANGE \ SC \ SCX RANGE SC SCX
  S C   S C Y \quad \quad \quad \quad \ SC \ SCY  SC SCY
G E T   W ( C o u r s e . C n o , C o u r s e . C n a m e ) : ∃ S C X   ∃ S C Y ( S C X . C n o = C o u r s e . C n o ⋀ S C Y . C n o = S C X . C n o ⋀ S C X . S n o ≠ S C Y . S n o ) GET \ W (Course.Cno, Course.Cname): \exist SCX \ \exist SCY (SCX.Cno=Course.Cno \bigwedge SCY.Cno=SCX.Cno \bigwedge SCX.Sno \neq SCY.Sno) GET W(Course.Cno,Course.Cname):SCX SCY(SCX.Cno=Course.CnoSCY.Cno=SCX.CnoSCX.Sno=SCY.Sno)

2. 关系数据库标准语言 SQL

2.1. 数据定义

包括模式(库)、表、视图、索引的增删改:

5.png

2.2. 数据查询

主要为select语句,select为SQL语句的重中之重,包括单表查询连接查询嵌套查询集合查询基于派生表查询等主要内容。

其一般格式如下:

6

7

2.3. 数据更新

主要为insertupdatedelete语句。

较为简单,不予详说。

2.4. 视图

视图是建立在查询语句上的一张虚拟表,可直接查询视图,查询时会自动执行视图定义中的查询语句。

视图可以有创建、增删改查操作。

视图创建格式如下:

8

增删改查则与普通表相同。

2.5. SQL 示例

2.5.1. SQL定义功能、数据插入
2.5.1.1. 建立教学数据库的三个基本表

S(Sno,Sname,Sgender,Sage,Sdept) 学生(学号,姓名,性别,年龄,系)

create table S (
   Sno char(9) primary key,
   Sname char(20) unique,
   Ssex char(2),
   Sage smallint,
   Sdept char(20)
);

SC(Sno,Cno,Grade) 选课(学号,课程号,成绩)

create table SC (
   Sno char(9),
   Cno char(4),
   Grade smallint,
   primary key (Sno, Cno),
   foreign key (Sno) references S(Sno),
   foreign key (Cno) references C(Cno)
);

C(Cno,Cname,Cpno,Ccredit) 课程(课程号,课程名,先行课,学分)

create table C (
   Cno char(4) primary key,
   Cname char(40) not null,
   Cpno char(4),
   Ccredit smallint,
   foreign key(Cpno) references C(Cno)
);
2.5.1.2. DROP TABLE、ALTER TABLE、CREATE INDEX、DROP INDEX 及INSERT语句输入数据

删除表:

drop table SC;

修改表:

ALTER TABLE C ADD UNIQUE(Cname);

ALTER TABLE S MODIFY(Ssex char(4));

创建索引:

CREATE UNIQUE INDEX SCno ON SC(Sno ASC, Cno DESC);

删除索引:

DROP INDEX SCno;

插入数据:

INSERT INTO S values(201215121,'李勇','男',20,'CS');
INSERT INTO S values(201215122,'刘晨','女',19,'CS');
INSERT INTO S values(201215123,'王敏','女',18,'MA');
INSERT INTO S values(201215125,'张立','男',19,'IS');

INSERT INTO C values(2,'数学',null,2);
INSERT INTO C values(6,'数据处理',null,2);
INSERT INTO C values(7,'PASCAL语言',6,4);
INSERT INTO C values(5,'数据结构',7,4);
INSERT INTO C values(1,'数据库',5,4);
INSERT INTO C values(3,'信息系统',1,4);
INSERT INTO C values(4,'操作系统',6,3);

INSERT INTO SC values(201215121,1,92);
INSERT INTO SC values(201215121,2,85);
INSERT INTO SC values(201215121,3,88);
INSERT INTO SC values(201215122,2,90);
INSERT INTO SC values(201215122,3,80);
2.5.2. 数据查询
2.5.2.1.查询选修1号课程的学生学号与姓名
select S.Sno, S.Sname
from S, SC
where S.Sno=SC.Sno and SC.Cno=1;
2.5.2.2.查询选修课程名为数据库的学生学号与姓名
select S.Sno, S.Sname
from S, SC, C
where S.Sno=SC.Sno and SC.Cno=C.Cno and C.Cname='数据库';
2.5.2.3.查询不选1号课程的学生学号与姓名
(select S.sno, S.sname
from S)
minus
(select S.sno, S.sname
from S, SC
where S.sno=SC.sno and SC.cno=1);
2.5.2.4.查询学习全部课程学生姓名
select Sname from S where not exists (
   select * from C where not exists (
      select * from SC where Sno=S.Sno and Cno=C.Cno));
2.5.2.5.查询所有学生除了选修1号课程外所有成绩均及格的学生的学号和平均成绩,其结果按平均成绩的降序排列
select sno, avg(grade) from (
   select S.sno, SC.grade from S, SC
   where S.sno=SC.sno and SC.cno!=1 and not exists (
      select * from SC where sno=S.sno and cno!=1 and grade<60
   )
)
group by sno
order by avg(grade) desc;
2.5.2.6.查询选修数据库成绩第2名的学生姓名
select S.sname, SC.grade
from S, SC, C
where S.sno=SC.sno and C.cno=SC.cno and C.cname='数据库' and SC.grade in (
   select max(SC.grade)
   from SC, C
   where C.cno=SC.cno and C.cname='数据库' and SC.grade not in (
      select max(SC.grade)
      from SC, C
      where C.cno=SC.cno and C.cname='数据库'
   )
);
2.5.2.7. 查询所有3个学分课程中有3门以上(含3门)课程获80分以上(含80分)的学生的姓名
select S.sname, count(SC.cno)
from S, SC, C
where S.sno=SC.sno and SC.cno=C.cno and C.ccredit=3 and SC.grade>=80
group by S.sname
having count(SC.cno)>=3;
2.5.2.8. 查询选课门数唯一的学生的学号
select * from (
   select sno, count(cno) ccount
   from SC
   group by sno
) SC_count1
where not exists (
   select *
   from (
      select sno, count(cno) ccount
      from SC
      group by sno
   ) SC_count2
   where sno!=SC_count1.sno and ccount=SC_count1.ccount
);
2.5.2.9. SELECT语句中各种查询条件的实验
  • between
select Sno, Sname, Sage from S where Sage between 19 and 20;
  • in
select Sno, Sname, Sdept from S where Sdept in ('CS', 'IS');
  • like
select Sno, Sname, Ssex from S where Sname like '刘%';
  • is NULL / is not NULL
select * from C where Cpno is NULL;
select * from C where Cpno is not NULL;
  • < any / >= all
select * from SC where grade < any (select grade from SC);
select * from SC where grade >= all (select grade from SC);
2.5.3. 数据修改、删除
2.5.3.1. 把1号课程的非空成绩提高10%
update SC set grade=grade*1.1 where cno=1 and grade is not null;
2.5.3.2. 在SC表中删除课程名为数据库的成绩的元组
delete from SC where cno in (
   select cno from C where cname='数据库'
);
2.5.3.3. 在S和SC表中删除学号为201215121的所有数据
delete from SC where sno=201215121;
delete from S where sno=201215121;
2.5.4. 视图的操作
2.5.4.1. 建立男学生的视图,属性包括学号、姓名、选修课程名和成绩
create view S_SC_C_man
as
select S.sno, S.sname, C.cname, SC.grade
from S, SC, C
where S.sno=SC.sno and SC.cno=C.cno;
2.5.4.2. 在男学生视图中查询平均成绩大于80分的学生学号与姓名
select sno, sname
from S_SC_C_man
group by sno,sname
having avg(grade)>80;

3. 关系数据库理论 - 范式

关系数据理论主要讨论:如何设计一个好的数据库模式,即如何构造一个好的数据表。主要方法是:使用范式对表进行规范化。

在引出范式之前,需要讨论一下数据依赖和码的概念。

3.1. 数据依赖

数据依赖是一个关系内部属性与属性之间的一种约束关系,其中最重要的是:

  • 函数依赖(FD)
  • 多值依赖(MVD)
3.1.1. 函数依赖

函数依赖:

9

完全函数依赖、部分函数依赖、传递函数依赖:

10

3.1.2. 多值依赖

示例:

11

定义:

12

3.2. 码

候选码、超码、主码、全码:

13

注意:所有属性都完全函数依赖于候选码

外码:

14

3.3. 第一范式 - 1NF

定义:每个属性必须是不可分的数据项

第一范式是关系的基本条件。

3.4. 第二范式 - 2NF

定义:若关系模式 R ∈ 1 N F R \in 1NF R1NF,且每一个非主属性完全函数依赖于任何一个候选码,则 R ∈ 2 N F R \in 2NF R2NF

简而言之:不存在非主属性对码的部分函数依赖

3.5. 第三范式 - 3NF

定义:若关系模式 R ∈ 1 N F R \in 1NF R1NF,且不存在这样的码 X X X、属性组 Y ( Y ↛ X ) Y(Y \not\rightarrow X) Y(YX) 及非主属性 Z ( Z ⊈ Y ) Z(Z \not\subseteq Y) Z(ZY),使得 X → Y , Y → Z X \rightarrow Y, Y \rightarrow Z XY,YZ 成立,则 R ∈ 3 N F R \in 3NF R3NF

简而言之:不存在非主属性对码的函数传递依赖

3.6. BCNF

定义:关系模式 R ∈ 1 N F R \in 1NF R1NF,若 X → Y X \rightarrow Y XY Y ⊈ X Y \not\subseteq X YX X X X 必含有码,则 R ∈ B C N F R \in BCNF RBCNF

3.7. 4NF

16

3.8. 数据依赖的公理系统

数据依赖的公理系统是模式分解算法的理论基础,下面介绍一个有效而完备的公理系统——Armstrong公理系统。

逻辑蕴含:

17

Armstrong公理系统的推理规则:

18

19

最小依赖集:

20

4. 事务

4.1. 基本概念

事务是用户定义的一个数据库操作序列,这些操作要么全做,要么全部做,是一个不可分割的单位

事务通常以 BEGIN TRANSACTION 开始,以 COMMIT(提交,提交事务的所有操作)或 ROLLBACK(回滚,撤销事务中所有已完成的操作)结束。

4.2. 事务的ACID特性

事务具有4个特性:

  • 原子性(Atomicity),事务中的所有操作要么都做,要么都不做。

  • 一致性(Consistency),事务执行的结果必须是使数据库从一个一致性状态变到另一个一致性状态。如果数据库系统运行中发生故障,有些事务尚未完成就被迫中断,这些未完成的事务对数据库所做的修改有一部分已经写入物理数据库,这时数据库就处于不一致的状态。一致性与原子性密切相关。

  • 隔离性(Isolation),一个事务的执行不能被其他事务干扰。

  • 持续性(Durability),一个事务一旦提交,它对数据库中数据的改变就是永久性的,

5. 并发控制

事务是并发控制的基本单位,并发控制的目的即保证事务的隔离性和一致性

并发控制的主要技术有:封锁(locking)时间戳(timestamp)乐观控制法(optimistic scheduler)多版本并发控制(MVCC)

其中,主要讲解基本的封锁方法。

5.1. 并发操作可能产生的问题

  • 丢失修改(lost update,写与写冲突):两个事务T1和T2读入同一个数据并修改,T2提交的结果破坏了T1提交的结果,导致T1的修改被丢失。

  • 脏读(dirty read,读到未提交写):事务T1修改某一数据并将其写回磁盘,事务T2读取同一数据后,T1由于某种原因被撤销,此时T1修改过的数据恢复原值,T2读到的数据就与数据库中的数据不一致,为“脏数据”。

  • 不可重复读(non-repeatable)

    1. 事务T1读取某一数据后,T2对其进行修改,当T1再次都该数据时,得到与前一次不同的值。
    2. 事务T1按一定条件从数据库中读取了某些数据记录后,T2删除了其中部分记录,当T1再次读取时,发现某些记录神秘地消失了。
    3. 事务T1按一定条件从数据库中读取了某些数据记录后,T2插入了一些记录,当T1再次读取时,发现多了一些数据。
    • 后两种不可重复读也被称为幻影(phantom row)现象/幻读

示例:

21

5.2. 封锁

封锁就是:在对某个数据对象操作之前,先对其加锁。

主要有两种锁:

  • 排他锁(X锁,写锁)
  • 共享锁(S锁,读锁)

22

5.3. 封锁协议

运用X锁和S锁时,还需约定一些规则,例如:何时申请X锁或S锁、持锁时间、何时释放等,这些规则称为封锁协议(locking protocol)

5.3.1. 一级封锁协议

事务T在修改数据R之前必须对其加X锁,直到事务结束才释放

一级封锁协议可防止丢失修改;但由于读数据不加锁,则不能保证脏读和可重复读

5.3.2. 二级封锁协议

在一级封锁协议的基础上,增加事务T在读取数据R之前必须先对其加S锁,读完后即可释放S锁

二级封锁协议防止了丢失修复和脏读,但不能保证不可重复读

5.3.3. 三级封锁协议

在一级封锁协议的基础上,增加事务T在读取数据R之前必须先对其加S锁,直到事务结束才可释放S锁

三级封锁协议防止了丢失修复、脏读和不可重复读

5.3.4. 不同级别的封锁协议和一致性保证

23

5.4. 并发调度的可串行性

由于数据库事务是并发的,所以不同的事务调度可能会产生不同的结果,比如:

24

那么什么样的调度是正确的呢?显然,串行调度是正确的,执行结果等价于串行调度结果的调度也是正确的,这样的调度叫做可串行化调度

那么又如何判断一个调度是否为可串行化调度呢?

首先,需要引出:冲突操作是指不同事务对同一个数据的读写和写写操作,如下:

25

在一个调度中,不同事务的冲突操作同一事务的两个操作是不能交换的。

如果一个调度Sc,通过交换两个事务不冲突操作的次序,得到另一个调度Sc1,且Sc1是串行的,则称Sc为冲突可串行化调度,即可串行化调度。

举例:

26

5.5. 两段锁协议

为了保证并发调度的正确性,数据库采用 两段锁协议(2PL) 实现并发调度的可串行性。

所谓两段锁,是指事务分为两个阶段:

  • 第一阶段获得封锁,事务可以申请获得任何数据上的任何类型锁,但不能释放任何锁
  • 第二阶段释放封锁,事务可以释放任何数据上的任何锁,但是不能再申请锁

事务遵守两段锁协议是可串行化调度的充分条件。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

dounineli

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值