试题出自试卷《2021年下半年软件设计师考试上午真题（专业解析+参考答案）》

问题1选项
A.A1
B.A2
C.A1A2
D.A1A3

问题2选项
A.A1→A2A3为F所蕴涵
B.A1→A4为F所蕴涵
C.A1A2→A4为F所蕴涵
D.A2→A3为F所蕴涵

第1题:A

第2题:D

第1题:

本题考查候选键的求法和函数依赖的判断问题。
第一问求候选键，采用图示法，能够遍历所有属性的即为候选键，首先应该找出入度为0的节点，只有A1。如果入度为0的节点遍历不了所有节点，那么需要加入一些中间节点（既有入度又有出度）进行遍历，以它们的组合键作为候选键。
根据方法，找到入度为0的节点A1，可以发现第一步能够通过A1决定所有属性A2（A1→A2），A3（A1→A3），A4（A1→A2，A2→A4，传递律得A1→A4）
得出A1为候选键。答案选A。

第2题:

第二问考查AmStrong公理：
A.A1→A2A3为F所蕴涵，通过A1→A2，A1→A3，得出A1→A2A3（合并规则）
B.A1→A4为F所蕴涵，通过A1→A2，A2→A4，得出A1→A4（传递律）
C.A1A2→A4为F所蕴涵，通过A2→A4，A1→A4（传递律），那么两者的结合键为A1A2→A4自然能被F所蕴涵。
D.A2→A3为F所蕴涵，不能推导得出。答案选D。