Loading

数据依赖的公理系统

数据依赖的公理系统

  1.闭包
        定义： 设F为属性集U的一组函数依赖，X、Y是U的真子集，XF+ = {A | X->A能由F根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F的闭包

2.Armstrong公理系统：


3.候选码的求解算法


posted @ 2021-01-02 15:13  IamHzc  阅读(189)  评论(0)  编辑  收藏  举报