会议专题

确定最小函数依赖集的新方法

根据函数依赖集的逻辑蕴含与对应逻辑函数的蕴含项之间的等价性,将求给定函数依赖集的所有等价最小函数依赖集归结为对应逻辑函数的化简,且关系数据理论中的一系列问题都能利用此方法统一简洁地处理,如确定所有候选码、任意属性集闭包及依赖基等。

关系数据库 函数依赖集 逻辑函数 质蕴含 逻辑蕴含

张亦舜

浙江工商大学计算机与信息工程学院,杭州,310035

国内会议

2008年全国理论计算机科学学术年会

西安

中文

54-57

2008-09-19(万方平台首次上网日期,不代表论文的发表时间)