免费智能真题库 > 历年试卷 > 软件设计师 > 2021年下半年 软件设计师 上午试卷 综合知识
  第50题      
  知识点:   函数依赖   结论
  章/节:   计算机软件知识       

 
设关系模式R(U,F), U={A1,A2, A3, A4},函数依赖集F={A1-→A2, A1→A3,A2→A4},关系R的候选码是(50)。下列结论错误的是(51)。
 
 
  A.  A1
 
  B.  A2
 
  C.  A1A2
 
  D.  A1A3
 
 
 

 
  第54题    2018年下半年  
   53%
设有关系模式R(A1,A2,A3,A4,A5,A6),函数依赖集F={A1→A3,A1 A2→A4,A5 A6→A1,A3 A5→A6,A2 A5&rar..
  第56题    2016年上半年  
   41%
某公司数据库中的元件关系模式为P(元件号,元件名称,供应商,供应商所在地,库存量),函数依赖集F如下所示:
F={元件号&..
  第52题    2009年上半年  
   42%
假设员工关系EMP (员工号,姓名,部门,部门电话,部门负责人,家庭住址,家庭成员,成员关系)如下表所示。如果一个部门可以有多..
   知识点讲解    
   · 函数依赖    · 结论
 
       函数依赖
        数据依赖是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系,是现实世界属性间相互联系和约束的抽象,是数据内在的性质,是语义的体现。函数依赖则是一种最重要、最基本的数据依赖。
        (1)函数依赖。设R(U)是一个属性集U上的关系模式,XYU的子集。若对R(U)的任何一个可能的关系rr中不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等,则称X函数决定YY函数依赖于X,记作XY
        (2)非平凡的函数依赖。如果XY,但YX,则称XY是非平凡的函数依赖。
        (3)平凡的函数依赖。如果XY,但YX,则称XY是平凡的函数依赖。
        (4)完全函数依赖。在R(U)中,如果XY,并且对于X的任何一个真子集X',都有X'不能决定Y,则称YX完全函数依赖,记作
        (5)部分函数依赖。如果XY,但Y不完全函数依赖于X,则称YX部分函数依赖,记作。部分函数依赖也称局部函数依赖。
        (6)传递依赖。在R(U,F)中,如果XYY?XY不能函数决定XYZ,则称ZX传递依赖。
        (7)码。设KR(U,F)中的属性的组合,若KU,且对于K的任何一个真子集K',都有K'不能决定U,则KR的候选码,若有多个候选码,则选一个作为主码。候选码通常也称为候选关键字。
        (8)主属性和非主属性。包含在任何一个候选码中的属性叫做主属性,否则叫做非主属性。
        (9)外码。若R(U)中的属性或属性组XR的码,但X是另一个关系的码,则称X为外码。
        (10)函数依赖的公理系统(Armstrong公理系统)。设关系模式R(U,F)中,U为属性集,FU上的一组函数依赖,那么有以下的推理规则。
        .A1自反律(Reflexivity):若Y?X?U,则XYF所蕴含。
        .A2增广律(Augmentation):若XY为F所蕴含,且Z?U,XZYZF所蕴含。
        .A3传递律(Transitivity):若XYYZF所蕴含,则XZF所蕴含。
        根据以上3条推理规则,可以推出下面3条推理规则。
        .合并规则:若XYXZ,则XYZF所蕴含。
        .伪传递率:若XYWYZ,则XWZF所蕴含。
        .分解规则:若XYZ?Y,则XZF所蕴含。
        引理XA1A2Ak成立的充分必要条件是XAii=1,2,…,k)成立。
 
       结论
        从上面的概念和例子可以看出,要进行上面的白盒测试是需要投入巨大的测试资源,包括人力、物力和时间等。但是为什么还要进行白盒测试呢?原因如下。
        . 逻辑错误和不正确假设与一条程序路径被运行的可能性成反比。当我们设计和实现主流之外的功能、条件或控制时,错误往往开始出现在我们的工作中。日常处理往往被很好地了解(和很好地细查),而“特殊情况”的处理则难以发现。
        . 我们经常相信某逻辑路径不可能被执行,而事实上,它可能在正常的基础上被执行。程序的逻辑流有时是违反直觉的,这意味着我们关于控制流和数据流的一些无意识的假设,可能导致设计错误。只有路径测试才能发现这些错误。
        . 印刷上的错误是随机的。当一个程序被翻译为程序设计语言源代码时,有可能产生某些打印错误,很多将被语法检查机制发现,但是,其他的错误只有在测试开始时才会被发现。打印错误出现在主流上和出现在不明显的逻辑路径上的可能性是一样的。
   题号导航      2021年下半年 软件设计师 上午试卷 综合知识   本试卷我的完整做题情况  
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 /
 
第50题    在手机中做本题