您的位置:首页 > 数据库

数据库系统概念01

2011-12-19 21:45 183 查看
1. 数据抽象
物理层 , 逻辑层 , 视图层

2. 数据独立性

应用程序不依赖于物理模式 ( 即应用程序不关心后台如何实现 , 数据如何存储 , 只是关心逻辑层 )

3. 事务的性质

事务是对数据库几个操作合起来形成的一个逻辑单元 .

Sample : 资金转账 A账户转出 到 B账户

原子性 : 要么转出 , 转入都发生 , 要么都不放生 .

一致性 : A + B 的和 应该是保持不变 .

持久性 : 成功结束后 , 即是发生系统故障 , A和B的值也应该保持不变 .

4. 原子域 : 如果域的元素被看作是不可再分的单元,称为原子的 .

5. 超码 , 候选码 , 主码

超码 : 属性的集合, 在一个关系中可以唯一标识一个元组 .

候选码 : 它的任意真子集都不能成为超码 .

主码 : 数据库设计者选中的用来区分不同元组的候选码 .

6. 除运算

关系R

ABCD
21ac
12ad
32bd
32bc
21bd
关系S

CDE
ac5
ac2
bd6
求 :R 除 S ?

本题中,R的属性有 A,B,C,D ,而S的属性有C,D,E ,故此,R 除 S 的属性只能有 A,B 。( 首先,R 除 S 的结果肯定是 R 中元组的部分属性 。

求除法的简单方法是:在关系R中寻找属性C,D的值同时满足S中属性C,D的所有元组的元组。

例如本例 : R中左半部分全部一样 2,1 而右边包括 关系S中 C,D 属性的全体。所以求得的结果就是图中彩色部分。

Sample 2 :

关系 R ( 学生名 ) 关系 S ( 课程名 ) 关系 RS ( 学生名 课程名 )

张三 语文 张三 语文

李四 数学 张三 数学

王五 李四 语文

求:选修了所有课程的学生 ?

实质是 : RS / S : 结果为 张三 。

7. SQL 准许定义转义字符 ,转义字符直接放在特殊字符前面,表示特殊字符被当成普通字符。例如:\ , \% 。

8. NULL

如果 NULL 参与 + - * / 运算 ,结果是 NULL。

如果 NULL 参与 比较运算,结果是unknown ( unknown 不是 is null , 也不是 is not null ) 。

如果 NULL 参与逻辑运算 ( and , or , not ) :

and : true and unknown = nuknown , false and unknown = false , unknown and unknown = unknown .

or : true or unknown = true , false or unknown = unknown , unknown or unknown = unknown .

not :
not unknown = unknown .

9. 目录与模式 ( catalog & schema )

如何知道自己定义的表没有和别人定义的表重名 ,当用户登录时,系统会自动提供该用户的默认目录与模式。例如一个table的名称为 Accont ,但是

实际这个table的名称应该为 catalog5.schema.Accont 。

10. 约束

not null , unique , check , references 。

11. ER图设计

设计要根据实际情况 , 在确定用实体集还是联系集时可采用的一个原则是:当描述发生在实体间的行为时采用联系集。

12. 函数依赖

设R(u) 是一个属性集 u 上的关系模式,x 和 y 是 u 上的子集,若对 R(u)的任意一个可能的关系 r , r 中不存在两个元组 在 x 上的属性值相等,而在 y 上的属性值不等,

则称,x 函数确定 y 或 y 函数依赖于 x . x -> y ( y = f(x) )。

非平凡函数依赖:x->y , 但是 y 不是 x 的子集。

平凡函数依赖: x->y , y 是 x 的子集。

部分函数依赖: x->y , 存在 x 的真子集 x' , 使得 x'->y 。

完全函数依赖: x->y , 对于 x 的任意真子集 x' , 都不存在 x'->y。

传递函数依赖:若 x->y , y->z , 而 y ! ->x , 则有 x -> z 。

13. 范式

第一范式:如果一个关系模式R的所有属性域都是原子的 ( 同上 ),则R是第一范式。

第二范式:满足第一范式,并且每个非主属性完全函数依赖于主码。

第三范式:瞒足第一范式,并且不存在非主属性对主码的传递函数依赖 ( 必须都是直接的 )。

BCNF范式:每个属性( 包括主属性 ) 既不存在部分函数依赖也不存在传递函数依赖于主码。
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: