资源描述：
《数据库复习最终整理版》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、Fezz整理20数据库三级模式两级映像à三级模式:内模式(存储模式/物理模式),模式(逻辑模式),外模式(子模式)àà内模式:又称存储模式,是数据的物理结构及存储方式àà模式:所有用户的公共数据视图,是数据库中全体数据的全局逻辑结构和特性的描述àà外模式:用户的数据视图是数据的局部逻辑结构，模式的子集à两级映像：àà外模式/模式映象:定义某一个外模式和模式之间的对应关系，映象定义通常包含在各外模式中àà模式/内模式映象:定义数据逻辑结构与存储结构之间的对应关系数据的逻辑独立性与物理独立性的含义à当模
2、式改变时，修改外模式/模式映象，使外模式保持不变，从而应用程序可以保持不变,称为数据的逻辑独立性à存储结构改变时，修改模式/内模式映象，使模式保持不变，从而应用程序可以保持不变，称为数据的物理独立性数据库系统的组成l数据库、硬件、软件、人员数据定义、数据操纵、数据控制的含义à数据定义：定义数据库的结构,—般数据定义语言DDL(create，alter,drop,declare)à数据操纵：检索和修改数据,—般数据操纵语言DML（select/insert/delete/update）à数据控制：—数
3、据控制语言DCLà数据空值：值未知或值不存在数据定义语言(DDL)：用于定义数据模式(结构)、访问方式、一致性约束等。例如，某个表里有多少个字段，它们的字段名、类型、长度、是否为空等。数据操纵语言(DML)：用于访问和操纵具体的数据内容。例如对某个表的记录进行插入、删除、更新，以及查询。关系的定义及性质à定义：一系列域上的笛卡尔积中有意义的子集1关系的一列是属性，属性必定有名字（属性名）2关系的一行是元组3分量是行和列的交叉。或者说，分量是某个元组的某个属性（值）à性质：1列是同质的，即每一列中的分
4、量来自同一域，是同一类型的数据。如TEACH(T,S,C)={(t1,s1,c1),(t1,t2,c1)}是错误的。2不同的列可来自同一域，每列必须有不同的属性名。如P={t1，t2，s1，s2，s3}，C={c1，c2}，则TEACH不能写成TEACH(P,P,C)，还应写成TEACH(T,S,C)。3行列的顺序无关紧要。4任意两个元组不能完全相同（集合内不能有相同的两个元素）。5每一分量必须是不可再分的数据。满足这一条件的关系称作满足第一范式（1NF）的。关系语言的特点、过程化语言比非过程化语言
5、的差别20Fezz整理20用户只需提出“做什么”，无须说明“怎么做”为非过程语言关系演算和SQL是非过程化的，关系代数是过程化的。关系模式和关系实例的关系模式是数据库的结构。实例是数据库在特定时刻的内容(数据集合)。模式与实例是两个对立的概念。a)模式强调结构，例如表有哪些字段。b)实例强调内容，例如表有哪些记录。c)动态vs静态：对于一个数据库，它的结构（模式）相对稳定，而内容（实例）则会随时间而变化。à关系模式：关系的结构，如student(student-no,name,sex)à关系实例：在
6、某一特定时刻上关系的内容，如student-nonamesex1JonesMale2SmithMaleà比较：关系模式比较稳定，很少变化；关系实例随时间而变化，原因是实例中的元组不断插入/删除/更新。关系代数中选择、投影、连接的含义à选择：在关系R中选择满足给定条件的元组（从行的角度）sF(R)={t
7、tÎRÙF(t)}F是选择的条件，"tÎR，F(t)要么为真，要么为假F的形式：由逻辑运算符连接算术表达式而成逻辑表达式：Ù，Ú，Ø算术表达式：XqYX，Y是属性名、常量、或简单函数q是比较算符，qÎ
8、{>,³,<,£,=,≠}举例：sAGE≥20∧SEX=‘男’(S)à投影：从关系R中取若干列组成新的关系（从列的角度）PA(R)={t[A]
9、tÎR}，AÍR投影的结果中要去掉相同的行举例：PSN,AGE(S)àq连接：从两个关系的广义笛卡儿积中选取给定属性间满足一定条件的元组A,B为R和S上度数相等且可比的属性列,q为算术比较符，为等号时称为等值连接à自然连接:从两个关系的广义笛卡儿积中选取在相同属性列B上取值相等的元组，并去掉重复的行关系代数（选择、投影、连接、更名、差集）表达查询（选择条件左
10、边的数字）à并运算：所有至少出现在两个关系中之一的元组集合RÈS={r
11、rÎRÚrÎS}（R和20Fezz整理20S必须是相容的）举例:∏S#(sC#=’01’(SC))∪∏S#(sC#=’02’(SC))à差运算:所有出现在一个关系而不在另一关系中的元组集合R-S={r
12、rÎRÙrÏS}（R和S必须是相容的）∏S#(sC#=’01’(SC))-∏S#(sC#=’02’(SC))à笛卡尔积:两个关系R/S，其度分别为n/m，则它们的笛卡尔积是所有这样的元组集合：元组的
