1数据库系统知识回顾 1.9数据库系统结构 应用程序应用程序应用程序 用户级数据库↓ 外模式A 外模式B 外模式/模式 DBM 概念级数据库 概念模式 模式/内模式 物理级数据库 内模式 OS 数据库
1.9 数据库系统结构 数 据 库 应用程序 应用程序 应用程序 外模式A 外模式B 外模式 / 模式 概念模式 模式 / 内模式 用户级数据库 概念级数据库 物理级数据库 DBM S 内模式 OS 1 数据库系统知识回顾
1数据库系统知识回顾 1.9数据库系统结构 ·模式:也称为概念模式,是数据库全体数据的全局逻辑结构和特征的描述 .外模式:是关于用户数据的局部逻辑结构和特征的描述,是模式的逻辑子集 3.内模式:是数据库数据的物理结构和存储结构的描述。 4.模式/内模式映象:该映象存在于模式与内模式之间,用于定义模式与内模 式之间的对应性。本映象一般在内模式中描述。 外模式模式映象:该映象存在于外模式与模式之间,用于定义外模式和模 式之间的对应性。本映象一般在外模式中描述。 6.物理独立性:在数据库系统的三级模式结构中,存在模式内模式的映象, 内模式发生变化时,只要修改模式/内模式的映象,就可以 保持模式不变,从而保证程序与数据的物理独立性。 7.逻辑独立性:在数据库系统的三级模式结构中,存在外模式模式的映象, 当模式发生变化时,只要修改外模式模式的映象,即可保 持外模式不变,从而保证程序和数据的逻辑独立性
1．模式： 也称为概念模式，是数据库全体数据的全局逻辑结构和特征的描述。 2．外模式：是关于用户数据的局部逻辑结构和特征的描述，是模式的逻辑子集。 3．内模式：是数据库数据的物理结构和存储结构的描述。 4．模式/内模式映象： 该映象存在于模式与内模式之间，用于定义模式与内模 式之间的对应性。本映象一般在内模式中描述。 5．外模式/模式映象： 该映象存在于外模式与模式之间，用于定义外模式和模 式之间的对应性。本映象一般在外模式中描述。 在数据库系统的三级模式结构中，存在模式/内模式的映 象， 当内模式发生变化时，只要修改模式/内模式的映象，就可以 保持模式不变，从而保证程序与数据的物理独立性。 6．物理独立性： 在数据库系统的三级模式结构中，存在外模式/模式的映象， 当模式发生变化时，只要修改外模式/模式的映象，即可保 持外模式不变，从而保证程序和数据的逻辑独立性。 7．逻辑独立性： 1.9 数据库系统结构 1 数据库系统知识回顾
1数据库系统知识回顾 110关系代数 传统的集合运算」 RABC DE F 并运算 差运算 abc ga 交运算 □daf 广义笛卡尔积 b d RXS RUS ABC DEF R-S b b b a_d_c-b b f c d ccf bdb d bd R∩S d a f d a d—d gagaga afafaf d b d
传统的集合运算 1.10 关系代数 • 并运算 • 差运算 • 交运算 • 广义笛卡尔积 a b c b g a c b d d a f R∪S d a f R∩S c b d a b c R - S c b d d a f a b c A B C d a f b g a D E F R S A B C d a f a b c a b c c b d c b d d a f D E F d a f d a f b g a b g a d a f b g a R x S 1 数据库系统知识回顾
°选择运算 在关系R中选择满足给定条件的元组,记做: (R)={r|r∈RAF(r)=“真 F是一个公式,表示形式为由逻辑运算符(∧,∨,)连接各算术表达式组成 算术表达式的基本形式为:X0Y.0={>,≥,≤,=,≠} ,Y是属性名或常量或简单函数。 选择运算是从关系中选取使公式为真的元组。这是从行的角度进行的运算。 例1求计算机科学系CS的学生 O SD-'CS(S) (S) 0 SD=CS 学号学生姓名所属系名学生年龄(S) S# SD SA S# SN SD SA S1 A C 20 ABCDEF 2 B 2 MA S6 F MA 22 a
选择运算是从关系中选取使公式为真的元组。这是从行的角度进行的运算。 在关系R中选择满足给定条件的元组，记做： σF (R) ={ r | r ∈R Λ F(r)=‘真’ } F是一个公式，表示形式为由逻辑运算符（∧,∨,٦)连接各算术表达式组成。 算术表达式的基本形式为：XθY. θ ={>, ≥ ,<, ≤ ,=, ≠} . X,Y是属性名或常量或简单函数。 例1 求计算机科学系CS的学生 σ SD=‘CS’ (S) 学号 学生姓名 所属系名 学生年龄 S# SN SD SA S1 A CS 20 S2 B CS 21 S3 C MA 19 S4 D CI 19 S5 E MA 20 S6 F CS 22 (a) (S) (S’) S# SN SD SA S1 A CS 20 S2 B CS 21 S6 F CS 22 σ SD=‘CS’ (S) • 选择运算