免费智能真题库 > 历年试卷 > 系统架构设计师 > 2016年下半年 系统架构设计师 上午试卷 综合知识
第10题      
知识点   函数依赖
关键词   函数依赖   候选关键字   函数      分类   数据库系统       

 
给定关系R(A1,A2,A3,A4)上的函数依赖集F={A1→A2A5,A2→A3A4,A3→A2},R的候选关键字为(10)。函数依赖(11)∈F+
 
 
  A.  A1
 
  B.  A1A2
 
  C.  A1A3
 
  D.  A1A2A3
 
 
 

  相关试题     数据库系统    更多>  
 
  第8题    2011年下半年  
   48%
给定学生S (学号,姓名,年龄,入学时间,联系方式)和选课SC (学号,课程号, 成绩)关系,若要查询选修了1号课程的学生学号、姓..
  第35题    2011年下半年  
   53%
企业战略数据模型可分为两种类型:(35)描述日常事务处理中的数据及其关系;(36)描述企业管理决策者所需信息及其关系。
  第6题    2014年下半年  
   34%
若关系模式R和S分别为:R(A,B,C,D)、S(B,C,E,F),则关系R与S自然联结运算后的属性列有(6)个,与表达方式π1,3,5,6
 


   知识点讲解    
   · 函数依赖
 
       函数依赖
        设R(U)是属性U上的一个关系模式,X和Y是U的子集,r为R的任一关系,如果对于r中的任意两个元组u、v,只要有u[X]=v[X],就有u[Y]=v[Y],则称X函数决定Y,或称Y函数依赖于X,记为X→Y。
        从函数依赖的定义可以看出,如果有X→U在关系模式R(U)上成立,并且不存在X的任一真子集X'使X'→U成立,那么称X是R的一个候选键。也就是X值唯一决定关系中的元组。由此可见,函数依赖是键概念的推广,键是一种特殊的函数依赖。
        在R(U)中,如果X→Y,并且对于X的任何一个真子集X',都有X'→Y不成立,则称Y对X完全函数依赖。若X→Y,但Y不完全函数依赖于X,则称Y对X部分函数依赖。
        在R(U)中,如果X→Y(Y不是X的真子集),且Y→X不成立,Y→Z,则称Z对X传递函数依赖。
        设U是关系模式R的属性集,F是R上成立的只涉及U中属性的FD集,则有以下3条推理规则:
        (1)自反性:若YXU,则X→Y在R上成立。
        (2)增广性:若X→Y在R上成立,且ZU,则XZ→YZ在R上成立。
        (3)传递性:若X→Y和Y→Z在R上成立,则X→Z在R上成立。
        这里XZ,YZ等写法表示X∪Z,Y∪Z。上述三条推理规则是函数依赖的一个正确的和完备的推理系统。根据上述三条规则还可以推出其他三条常用的推理规则:
        (1)并规则:若X→Y和X→Z在R上成立,则X→YZ在R上成立。
        (2)分解规则:若X→Y在R上成立,且ZY,则X→Z在R上成立。
        (3)伪传递规则:若X→Y和WY→Z在R上成立,则WX→Z在R上成立。
        在关系模式R(U,F)中为F所逻辑蕴含的函数依赖全体叫做F的闭包,记作F+
        设F为属性集U上的一组函数依赖,X是U的子集,那么相对于F属性集X的闭包用X+表示,它是一个从F集使用推理规则推出的所有满足X→A的属性A的集合:
        X+={属性A|X→A在F+中}
        如果G+=F+,就说函数依赖集F覆盖G(F是G的覆盖,或G是F的覆盖),或F与G等价。
        如果函数依赖集F满足下列条件,则称F为一个极小函数依赖集,也称为最小依赖集或最小覆盖。
        (1)F中任一函数依赖的右部仅含有一个属性。
        (2)F中不存在这样的函数依赖X→A,使得F与F-{X→A}等价。
        (3)F中不存在这样的函数依赖X→A,X有真子集Z使得F-{X→A}∪{Z→A}与F等价。


 题号导航      2016年下半年 系统架构设计师 上午试卷 综合知识   本试卷我的完整做题情况 
1 /
2 /
3 /
4 /
5 /
6 /
7 /
8 /
9 /
10 /
11 /
12 /
13 /
14 /
15 /
 
16 /
17 /
18 /
19 /
20 /
21 /
22 /
23 /
24 /
25 /
26 /
27 /
28 /
29 /
30 /
 
31 /
32 /
33 /
34 /
35 /
36 /
37 /
38 /
39 /
40 /
41 /
42 /
43 /
44 /
45 /
 
46 /
47 /
48 /
49 /
50 /
51 /
52 /
53 /
54 /
55 /
56 /
57 /
58 /
59 /
60 /
 
61 /
62 /
63 /
64 /
65 /
66 /
67 /
68 /
69 /
70 /
71 /
72 /
73 /
74 /
75 /
 
↓第10题