一、选择题

1. B
2. B
3. D
4. B
5. C
6. D
7. B
8. D
9. D
10. D
11. A
12. C
13. D
14. C
15. B

二、填空题

1. 超键（或超码）
2. 正确 、完备
3. 属性集X的闭包X⁺ 、函数依赖集F的闭包F⁺
4. 平凡的函数依赖 、自反性
5. {AD→C} 、φ
6. 2NF 、3NF 、BCNF
7. 无损连接 、保持函数依赖
8. AB 、BC 、BD
9. B→φ 、B→B 、B→C 、B→BC
10. B→C 、A→D 、D→C
11. AB 、1NF
12. AD 、2NF
13. BCNF
14. 包含
15. 函数依赖
16. BCNF

三、简答题

1．解释下列术语的含义：函数依赖、平凡函数依赖、非平凡函数依赖、部分函数依赖、完全函数依赖、传递函数依赖、范式、无损连接分解、保持函数依赖分解。

函数依赖（Functional Dependency，FD）是关系模式中属性之间的一种逻辑依赖关系。当属性集Y是属性集X的子集（即Y X）时，则必然存在着函数依赖X→Y，这种类型的函数依赖称为平凡的函数依赖。如果Y不是X的子集，则称X→Y为非平凡的函数依赖；

设有关系模式R（U），U是属性全集，X和Y是U的子集，如果X→Y，并且对于X的任何一个真子集X′，都有X’ Y，则称Y对X完全函数依赖（Full Functional Dependency），记作X Y。如果对X的某个真子集X’，有X’→Y，则称Y对X部分函数依赖（Partial Functional Dependency），记作X→Y；

设有关系模式R（U），U是属性全集，X，Y，Z是U的子集，若X→Y，但Y X，而Y→Z（Y X，Z Y），则称Z对X传递函数依赖（Transitive Functional Dependency），记作：X →Z；

关系模式规范化过程中为不同程度的规范化要求设立的不同标准称为范式

2．给出2NF、3NF和BCNF的形式化定义，并说明它们之间的区别和联系

如果关系模式R∈1NF，且每个非主属性都完全函数依赖于R的主码，则称R属于第二范式（Second Normal Form），简称2NF，记作R∈2NF;

如果关系模式R∈2NF，且每个非主属性都不传递函数依赖于R的主码，则称R属于第三范式（Third Normal Form），简称3NF，记作R∈3NF;

如果关系模式R∈1NF，且所有的函数依赖X→Y（Y X），决定因素X都包含了R的一个候选码，则称R属于BC范式（Boyce-Codd Normal Form），记作R∈BCNF;

区别和联系：
1）BCNF⊂3NF⊂2NF
2）BCNF、3NF与2NF均是针对函数依赖而定义划分的。2NF、3NF和BCNF是在函数依赖的条件下对模式分解所能达到的分离程度的测度。一个模式中的关系模式如果都属于BCNF，那么在函数依赖范畴内，它已实现了彻底的分离，已消除了插入和删除异常。

缺少的、有空补