图片在此:http://pipe.cs.vt.edu/~pbutler/bi_and_db/,直到我能上传它们(需要 4 天才能确认媒体上传)。
- 文件:Problem1.svg
注释:1) 对于每个预订,1 <= 司机数量 <= 10
-

注释
- 一个书商必须至少拥有一家商店。
- 一家书店必须是网络型或实体店,但不能两者兼具。
- 最大值:n 是所有 n 都是一对一的情况。最小值:n-1 是 n-1 对多情况
- 文件:Problem4.svg
- 文件:Problem5.svg
-
FD |
琐碎 |
|
是 |
|
否 |
|
否 |
|
否 |
|
否 |
|
是 |
|
MD |
琐碎 |
|
是 |
|
否 |
|
是 |
|
- 明显
-
分解成
,
,
。FDs
,
没有被保留。
和
是无损分解的,因为 
和
被无损分解,因为
和
转换成了 
- #6 重做
- 这个问题有几种解决方案
左边 |
右边 |
|
|
|
(超集) |
|
|
|
(超集) |