文档来源?/p>
:
从网络收集整?/p>
.word
版本可编?/p>
.
欢迎下载支持
.
1
文档来源?/p>
:
从网络收集整?/p>
.word
版本可编?/p>
.
<
数据库原理二
>
考试复习资料
上海大学
1
设关系模?/p>
R
?/p>
n
个属性,
在模?/p>
R
上可能成立的函数依赖有多少个?其中平凡的
FD
有多少个?非平凡?/p>
FD
有多少个?/p>
解:这个问题是排列组合问题?/p>
FD
形为
X
?/p>
Y
,从
n
个属性值中选择属性组?/p>
X
共有
C
?/p>
?/p>
+
C
?/p>
?/p>
+
?/p>
+
C
?/p>
?/p>
=2
n
种方法;同理,组?/p>
Y
也有
2
n
种方法。因此组?/p>
X
?/p>
Y
形式?
该有
2
n
·
2
n
=4
n
种方法。即可能成立?/p>
FD
?/p>
4
n
个?/p>
平凡?/p>
FD
要求
Y
?/p>
X
,组?/p>
X
?/p>
Y
形式的选择有:
C
?/p>
?/p>
·
C
?/p>
?/p>
+
C
?/p>
?/p>
·
?/p>
C
?/p>
?/p>
+
C
?/p>
?/p>
?/p>
+
C
?/p>
?/p>
·
?/p>
C
?/p>
?/p>
?/p>
C
?/p>
?/p>
+
C
?/p>
?/p>
?/p>
+
?/p>
+
C
?/p>
?/p>
?/p>
C
?/p>
?/p>
?/p>
C
?/p>
?/p>
+
?/p>
C
?/p>
?/p>
?
=
C
?/p>
?/p>
·
2
0
+
C
?/p>
?/p>
·
2
1
+
C
?/p>
?/p>
·
2
2
+
?/p>
+
C
?/p>
?/p>
·
2
n
=
?/p>
1+2
?/p>
n
=3
n
即平凡的
FD
?/p>
3
n
。因而非平凡?/p>
FD
?/p>
4
n
?/p>
3
n
个?/p>
5.3
对函数依?/p>
X
?/p>
Y
的定义加以扩充,
X
?/p>
Y
可以为空属性集?/p>
用φ表示,
那么
X
→φ,
φ?/p>
Y
,φ→φ的含义是什么?
答:据推理规则的自反律可知,
X
?/p>
φ和?/p>
?/p>
φ是平凡的
FD
,总是成立的?/p>
而?/p>
?/p>
Y
表示在当前关系中,任意两个元组的
Y
值相等,也就是当前关系的
Y
?/p>
都相等?/p>
5.4
已知关系模式
R
?/p>
ABC
?/p>
?/p>
F
?/p>
R
上成立的
FD
集,
F=
?/p>
A
?/p>
B
?/p>
B
?/p>
C
?/p>
,试写出
F
的闭?/p>
F
+
?/p>
解:据已知条件和推理规则,可?/p>
F
+
?/p>
43
?/p>
FD
?/p>
A
?/p>
φ
AB
?/p>
φ
AC
?/p>
φ
ABC
?/p>
φ
B
?/p>
φ
C
?/p>
φ
A
?/p>
A
AB
?/p>
A
AC
?/p>
A
ABC
?/p>
A
B
?/p>
B
C
?/p>
C
A
?/p>
B
AB
?/p>
B
AC
?/p>
B
ABC
?/p>
B
B
?/p>
C
φ
?/p>
φ
A
?/p>
C
AB
?/p>
C
AC
?/p>
C
ABC
?/p>
C
B
?/p>
BC
A
?/p>
AB
AB
?/p>
AB
AC
?/p>
AB
ABC
?/p>
AB
BC
?/p>
ф
A
?/p>
AC
AB
?/p>
AC
AC
?/p>
AC
ABC
?/p>
AC
BC
?/p>
B
A
?/p>
BC
AB
?/p>
BC
AC
?/p>
BC
ABC
?/p>
BC
BC
?/p>
C
A
?/p>
ABC
AB
?/p>
ABC
AC
?/p>
ABC
ABC
?/p>
ABC
BC
?/p>
BC
5.5
设关系模?/p>
R
?/p>
ABCD
?/p>
,如果规定,关系?/p>
B
值与
D
值之间是一对多联系?/p>
A
?
?/p>
C
值之间是一对一联系。试写出相应的函数依赖?/p>
解:?/p>
B
值与
D
值之间有一对多联系,可写出函数依赖
D
?/p>
B,
?/p>
A
值与
C
值之间是一
对一联系。可写出函数依赖
A
?/p>
C
?/p>
C
?/p>
A
?/p>
5.6
试举出反例说明下列规则不成立?/p>
?/p>
?/p>
A
?/p>
B
?/p>
?/p>
?/p>
B?/p>
A
?/p>
?/p>
?/p>
AB
?/p>
C
?/p>
A
?/p>
C
?/p>
?/p>
?/p>
B?/p>
C
?/p>
?/p>
?/p>
AB
?/p>
C
?/p>
?/p>
?/p>
A
?/p>
C
?/p>
答:设有三个关系?/p>
r
1
A
B
r
2
A
B
C
r
3
A
B
C
1
1
2
1
2
1
2
3
2
1
2
2
2
1
3
4
3
2
3