a4k[IT认证]练习4.pptVIP

练习 证明： 证明(1)先证明 3NF?2NF 即证明如果R∈3NF，则R ∈2NF 采用反证法，设R∈3NF，如果R ∈2NF，则 存在码K和非主属性A，使得K P A 即存在K的真子集W， W→A 因此存在K→W，W →A 根据3NF定义，其不存在K→W，W →A这样的 函数依赖。与题设矛盾。因此R∈3NF，则R ∈2NF，即3NF?2NF 证明： 证明(2)存在关系R(U,F),U=ABC,F={A→B, B→C} 此R∈2NF，但R∈3NF 证明：若R ∈BCNF，则 R ∈3NF 证明：用反证法 若R ∈3NF不成立，则关系模式R中存在这样的码X，属性组Y，及非主属性Z（Z ? Y）, 使得X→Y（ Y → X ），Y→Z成立 又，R ∈BCNF，则在Y→Z （Z ? Y）条件下，Y必含有码，进而Y → X ，与假设矛盾，所以R ∈3NF成立 证明： 证明(1)先证明 4NF?BCNF 即证明如果R∈4NF，则R ∈BCNF 采用反证法，设R∈4NF，如果R ∈BCNF，则 ①存在码X→A,A不是X的真子集，且X不包含码 ②因为X→A，则X →→A ③由①知道R中除了X，A外还有其他属性 ④由此X →→A是非平凡的，因此R∈4NF，与题设矛盾。 由此4NF?BCNF 证明： 证明(2)存在属于BCNF，但不属于4NF的关系模式， 如S(U,F),U=ABC,F={AB→C, A →→ C}.码是AB，S ∈BCNF，而多值依赖是非平凡的，但A不含码，因此S ∈4NF 关系模式规范化需要考虑数据间的依赖关系，人们已经提出了多种类型的数据依赖，其中最重要的是_____________和___________。 设关系R（U），X，Y∈U，X→Y是R的一个函数依赖，如果存在X′∈X，使X′→Y成立，则称函数依赖X→Y是___________ 函数依赖。 ?规范化理论是关系数据库进行逻辑设计的理论依据，根据这个理论，关系数据库中的关系必须满足：每 一个属性都是（ ）。 A.长度不变的 B.不可分解的 C.互相关联的 D.互不相关的 已知关系模式R（A，B，C，D，E）及其上的函数依赖集合F＝{A→D，B→C ，E→A }，该关系模式 的候选码是（ ）。 A.AB B.BE C.CD D.DE 在关系模式中，如果属性A和B存在1对1的联系，则（ ）。 A. A → B B. B → A C.A ←→B D. 以上都不是 在关系模式DB中，任何二元关系模式的最高范式必是（ ）的。 A. 1NF B.2NF C.3NF D.BCNF 关系模式中，满足2NF的模式（ ）。 A.可能是1NF B.必定是1NF C.必定是3NF D.必定是BCNF .消除了部分函数依赖的1NF的关系模式，必定是（ ）。 A.1NF B.2NF C.3NF D.BCNF X→Y，当下列哪一条成立时，称为平凡的函数依赖（ ）。 A. X ∈Y B.Y∈X C.X∩Y＝Φ D.X∩Y≠Φ 设有关系模式R（S，D，M），其函数依赖集：F＝{S→D，D→M}，则关系模式R的规范化程度最高达到（ ）。 A.1NF B.2NF C.3NF D.BCNF 关系模式的候选码可以有1个或多个，而主码有（ ）。 A.多个 B.0个 C.1个 D.1个或多个 关系模式R的属性全部是主属性，则R的最高范式必定是（ ） 。 A. 4NF B.2NF C.3NF D.BCNF 当关系模式R已属于3NF，下列说法（ ）是正确是。 A.它一定消除了插入和删除异常 B.仍可能存在插入和删除异常 C.一定属于2NF ?关系模式中，满足2NF的模式是（ ） 。 A.必定是1NF B.必定是3NF C.可能是1NF ??设计性能较好的关系模式称为规范化，规范话的主要理论依据是（ ）。 A.关系规范化理论 B.关系运算理论 C.关系代数理论 D.数理逻辑 关系数据库规范化是为了解决关系数据库中（）问题而引入的 。 A. 插入、删除异常和数据冗余 B. 提高查询速度 C. 减少数据操作的反复性 D. 保证数据的完整性和安全性 * *