数据库原理模拟试题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
数据库原理模拟试题
一、
1. 试述基于具体关系的函数相关性定义。
2. 设有关系框架R(A1,A2,...,Ak)及属性集合U= A1,A2,...,Ak,X ⊆U,Y ⊆U,W ⊆U 。试利
用基于具体关系的函数相关性定义证明如下命题:
(1)若X ⊇Y,则X →Y 。
(2)若X →Y ,Y →Z ,则X →Z 。
(3)若X →Y ,YW →Z ,则XW →Z 。
二、
1. 将关系视为K 维空间的点集,试述关系的定义及其形式化表述形式。
2. 已知函数相关性集合:
F={AB →C,C →A,BC →D,D →EG,ACD →B,BE →C,CG →BD,CE →AG}
(1) 求把F 中,依赖属性集均变换成单个属性后的等价相关性集合G 。
(2) 求出F 的至少两种最小函数相关性集合Fmin1和Fmin2。
三、
1.
R S
W 给出下列元组演算表达式的结果关系:
R1={t|(∃u)(R(t)∧W(u)∧t[3]
R2={t|(∃u)(∃v)(R(u)∧W(v)∧u[2]=f ∧t[1]=u[3]∧t[2]=u[2]∧t[3]=u[1]∧t[4]=v[2])}
2.已知如下关系,给 出下列域演算公式的结果关系:
W
R S
R21={XYZ|R(XYZ)∧Z<8∧X=d}
R22={XYZ|R(XYZ)∨S(XYZ)∧X<>c ∧Y<>cd}
R23={Y ∨X|(∃v )(∃u)(R(XYZ)∧W(UV)∧Z
3.设R ,S 是两个关系,是证明如下运算的等价性:
(1
)关系代数运算R ×S={t|t=
{t|(∃t k1)(∃t k2)(R(t k1)∧S(t k2)∧t[1]=t k1[1]∧t[2]=t k1[2]∧...∧t[k 1]=t k1[k 1]∧
t[k 1+1]=t k2[1]∧t[k 1+2]=t k2[2]∧...∧t[k 1+k 2]=t k2[k2])}
(2)关系代数运算表达式:∏n i i i ,...,,21(R )=[t|
与元组运算表达式:{t|(∃u)(R(u)∧t[1]=u[i 1]∧t[2]=u[i 2]∧...∧t[n]=u[i n ])}
四、设有如下关系:
S :
元组语义:一个学生对应的学号,姓名,年龄和性别。
C :
元组语义:一门课程对应的课号,学时数,讲授该课程的教师姓名,和所在教研室。 S :
元组语义:哪个学生(学号)选了哪门课程(课号),及相对应的成绩。
要求:(1)给出下列查询程序每一个操作步应该产生的中间结果框架及其元组语义;
(2)最终查询结果及语义。
1. 基于关系代数的DML 语言(ISBL )
CA=N! C: TEACHER=“LIU ”%C#
SA=N! S%S#
SCA=N! S N! CA
D=(N! SCA-N! SC)%S#
LIST(S-D)%NAME,AGE
2. 介于关系代数和元组演算之间的DML 语言(SQL )
(1) SELECT S#,NAME,AGE
FROM S
WHERE SEX=‘M ’
ORDER BY AGE ASC
(2) SELECT NAME
FROM S
WHERE S# IN
SELECT S#
FROM SC
WHERE C# IN
SELECT C#
FROM C
WHERE TEACHER=‘LIU ’
(3) SELECT S#
FROM SC
GROUP BY S#
HAVING SET(C#) CONTAINS
(SELECT C#
FROM SC
WHERE S#=‘S8’)
(4) 下述SQL 非查询操作,完成什么任务:
UPDATE C
SET TEACHER=‘WANG ’
WHERE C#=‘C2’
(5)SELECT NAME,SEX
FROM S
WHERE AGE=
SELECT MAX(AGE)
FROM S
五、
1.试述DBMS的进程结构中,一个应用进程对应一个DBMS核心进程的工作方式,及优缺点。
2.试述DBMS自行管理线程的多线程DBMS的进程结构的工作方式?有哪些优点?
3.多线程DBMS进程结构为什么要求操作系统提供非阻塞I/O(nonblocking I/O)和异步
I/O(asynchronous I/O)功能?为什么要求操作系统具有公平调度机制(fair schedule)?
4.试述数据库中事务必须符合ACID准则是指事物必须具备哪些性质?
5.用类PASCAL语言写出一个将款项S从A帐户拨入B帐户的事务的类语言描述算法。