设有关系模式R（ A1,A2,A3,A4,A5,A6 ），其中：函数依赖集F={A1 → A2,A1A3 → A4,A5A6 → A1,A2A5 → A6,A3A5 → A6}, 则（）是关系模式R一个主键
求候选码：关系模式码确定，设关系模式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→A2
A3A5→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要求。
