非页,非也。
所谓“不可简化性”,指的是:
假设K是关系R(u1,u2,u3,...)的候选关键字,那么K是关系R的属性集合(u1,u2,u3...)的一个子集K(k1,k2,...),并满足下列条件:
1、对于R的任何两个不同的元组(或称为“记录”、“行”),组成K的各属性的值的组合必不相同。
2、对于K的任意真子集k',必不满足上列要求。(不可简化性)举例说吧,有一个关系(学号,课程号,成绩),k=(学号,课程号)
那么k是候选关键字,因为
1、对于每一个学生的每一门功课,只有一个成绩,即对于任何两条记录,学号、课程号不会全部相同;
2、对于k的真子集(null、学号、课程号),在关系中总是存在两条不同的记录,这个真子集相同--同一门课程由许多学生,同一个学生学习许多课程。而对于属性集合k'=(学号,课程号,成绩),k'就不是关系R的候选关键字,因为它的一个真子集(学号,课程号),也满足第一个要求。

解决方案 »

  1.   

    SE1() ,你说“对于K的任意真子集k',必不满足上列要求“
    我有2处不明白:
    1. k=(学号,课程号)k'=(学号,课程号,成绩)这里,k'是K的真子集么?
    2.你后面又说,"也满足第一个要求。" 这是否和上面说的 必不满足 相矛盾了? 
      

  2.   

    nashan(浪客剑心),
    候选关键字:是包含独立地标识数据库中每一行的任意列或列的集合。
    是否可以理解为,候选关键字的列的集合不可以包含此表的关键字了?
      

  3.   

    benshe(小笨蛇):sorry,我的符号是随手写的,不一致。下面重新说一下:
    1. k=(学号,课程号)k'=(学号,课程号,成绩)这里,k'是K的真子集么?
    在这儿,k是k'的真子集
    2.你后面又说,"也满足第一个要求。" 这是否和上面说的 必不满足 相矛盾了? 
    k'=(学号,课程号,成绩)的真子集k=(学号,课程号)"也满足第一个要求。" ,和面说的“必不满足”相矛盾了,所以,k'不是候选关键字。
      

  4.   

    SE1():哦耶! Thanx a lot. 还有,我是新来的,我应该怎么给你们大家加分啊??