候选码的求解理论和算法首先对于给定的R(U)和函数依赖集F,可以将它的属性划分为4类:L类,仅出现在F的函数依赖左部的属性。R类,仅出现在F的函数依赖右部的属性。N类,在F的函数依赖左部和右部均未出现的属性。LR类,在F的函数依赖左部和右部两部均出现的属性。根据以下定理和推论来求解候选码。定理1:对于给定的关系模式R及其函数依赖集F,若X(XR)是L类属性,则X必为R的任一候选码的成员。推论1:对于给定的关系模式R及其函数依赖集F,若X(XR)是L类属性,且X+包含了R的全部属性,则X必为R的唯一候选码。定理2:对于给定的关系模式R及其函数依赖集F,若X(XR)是R类属性,则X不在任何候选码中。定理3:设有关系模式R及其函数依赖集F,如果X是R的N类属性,则X必包含在R的任一候选码中。设有关系模式R(A,B,C,D),F是R上成立的FD集,F=DA,DB,试写出关系模式R的候选R的候选键是CD理由：从已知的F，可导出DABD，再根据扩展律，可得出CDABCD，即CD值可决定全部属性值。规范命名：表
