设有关系模式R（A1,A2,A3,A4,A5,A6），其中：函数依赖集F={A1→A2,A1A3→A4,A5A6→A1,A2A5→A6,A3A5→A6},则（ ）是关系模式R的一个主键

设有关系模式R（A1,A2,A3,A4,A5,A6），其中：函数依赖集F={A1→A2,A1A3→A4,A5A6→A1,A2A5→A6,A3A5→A6},则（ ）是关系模式R的一个主键
A：A1A4
B：A2A4
C：A3A5
D：A4A5
C
求候选码：关系模式码的确定，设关系模式R＜U，F>：1、首先应该找出F中所有的决定因素，即找出出现在函数依赖规则中“→”左边的所有属性，组成集合U1；2、再从U1中找出一个属性或属性组K，运用Armstrong公理系统及推论，使得K→U，而K真子集K′→U不成立；这样就得到了关系模式R的一个候选码，找遍U1属性的所有组合，重复过程（2），最终得到关系模式R的所有候选码。在本题中 U1={A1、A2、A3、A5、A6}A3A5→A6，A5A6→A1 利用伪传递率：A3A5→A1，A1→A2利用传递率：A3A5→A2A3A5→A1，A1A3→A4利用伪传递率：A3A5→A4因此A3A5→{ A1，A2，A3，A4，A5，A6}注：Armstrong公理系统及推论如下：自反律：若Y X U，则X→Y为F所逻辑蕴含增广律：若X→Y为F所逻辑蕴含，且Z U，则XZ→YZ为F所逻辑蕴含传递律：若X→Y和Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含合并规则：若X→Y,X→Z,则X→YZ为F所蕴涵伪传递率：若X→Y,WY→Z,则XW→Z为F所蕴涵分解规则：若X→Y,Z Y,则X→Z为F所蕴涵由于函数依赖中存在传递依赖，所以不满足3NF的要求。
(中级)软件设计师     模式     关系     函数     中级     设有