第五章第2讲函数依赖公理体系新

1、第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新侯选键侯选键在在R中是否成立中是否成立问题引入：问题引入：第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新证：证：X XY YWXZWXZWXWYWXWYWYZWYZ第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新F+=A ， AB ， AC ， ABC ， B ， C A A， AB A， AC A， ABC A， B B， C CA B， AB B， AC B， ABC B， B C， A C， AB C， AC C， ABC C， B BC， A

2、 AB， AB AB， AC AB， ABC AB， BC ，A AC， AB AC， AC AC， ABC AC， BC B， A BC， AB BC， AC BC， ABC BC， BC C， A ABC，AB ABC，AC ABC，ABC ABC，BC BC，第五章第2讲函数依赖公理体系新集合元素集合元素对比对比第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新X X=ABCDEG=ABCDEGABDABD，故，故BDABDA成立成立Z=EG BD=X(0)第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第

3、五章第2讲函数依赖公理体系新F F G GG G F F第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新ABABC C，C CA A，BCBCD D，ACDACDB B，D DEGEG，BEBEC C，CGCGBDBD，CECEAGAGF=F=ABABC C，C CA A，BCBCD D，ACDACDB,B,D DE,DE,DG G，BEBEC C，CGCGB B ，CGCGD D，CECEA,CEA,CEG G F F1 1= =第五章第2讲函数依赖公理体系新

4、F F2121= =ABABC C，C CA A，BCBCD D，ACDACDB,B,D DE,DE,DG G，BEBEC C，CGCGB B ，CGCGD D，CECEA,CEA,CEG G F F1 1= =ABABC C，C CA A，BCBCD D，ACDACDB B，D DE E，D DG G，BEBEC C，CGCGD D，CECEA,CEA,CEG G第五章第2讲函数依赖公理体系新 F F2222= =ABABC C，C CA A，BCBCD D，ACDACDB,B,D DE,DE,DG G，BEBEC C，CGCGD D，CECEA,CEA,CEG G F F2121= =AB

5、ABC C，C CA A，BCBCD D，ACDACDB B，D DE E，D DG G，BEBEC C，CGCGD D，CECEG G第五章第2讲函数依赖公理体系新ABABC C，C CA A，BCBCD D，ACDACDB B，D DE E，D DG G，BEBEC C，CGCGD D，CECEG G F F2222= = F F3 3= =ABABC C，C CA A，BCBCD D，CDCDB B，D DE E，D DG G，BEBEC C，CGCGD D，CECEG G第五章第2讲函数依赖公理体系新 F F2121= =ABABC C，C CA A，BCBCD D，D DE E，D DG G，BEBEC C，CGCGB B，CECEG GABABC C，C CA A，BCBCD D，ACDACDB,B,D DE,DE,DG G，BEBEC C，CGCGB BCGCGD D，CECEA,CEA,CEG G F F1 1= =第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新第五章第2讲函数依赖公理体系新R R的候选键的候选键：A A、E E、BCBC和和CDCD均为均为LRLR类类, ,令令Y=