Now showing items 1-1 of 1

    • 空值环境下关系模式无损连接分解为(N)BCNF的必要条件和算法 

      叶仰明 (2000-02-05)
      对文献[1]提出的空值环境下关系模式无损连接分解为(N)BCNF的必要条件,给出二个反例,证明它是不正确的;并分别从关系模式的函数依赖集F的最小依赖集F′和闭包F+ 出发,重新给出二个必要条件.另外,还给出二个空值环境下关系模式无损连接分解为(N)BCNF的算法.这二种算法均是进行二叉树搜索的算法.每次分解均是对非(N)BCNF的子式进行一分为二且无损连接的分解,由一个父结点得到二个子结点.若可能,就一层层分解下去,当不可能进行这样的分 ...