概念格的内涵缩减与数据库推理依赖 |
| |
引用本文: | 薛金蓉, 安秋生, 郑 军. 概念格的内涵缩减与数据库推理依赖[J]. 计算机研究与发展, 2014, 51(1): 96-103. |
| |
作者姓名: | 薛金蓉 安秋生 郑军 |
| |
作者单位: | 1(北京理工大学计算机学院 北京 100081) 2(软件安全工程技术北京市重点实验室 北京 100081) 3(山西师范大学数学与计算机科学学院 山西临汾 041004) (xuejinrong@gmail.com) |
| |
基金项目: | 国家自然科学基金项目(61272511) |
| |
摘 要: | 值依赖是数据库推理问题研究的一个新课题.首先介绍了形式背景和概念格,提出了值依赖的形式概念模型.将数据属性的安全敏感级别引入到值依赖研究中,提出推理依赖及α极大推理依赖概念,并建立了形式概念格的内涵缩减与数据库推理依赖之间的关系.进一步证明了由概念格的内涵缩减推导出数据库中完备的、无冗余的α极大推理依赖集.最后提出并实例验证了发现数据库中全部推理依赖集的算法.推理依赖是关系数据库中最重要的属性依赖关系之一,其研究对检测和消除数据库推理通道具有十分重要的意义.
|
关 键 词: | 值依赖 概念格 内涵缩减 数据库推理 推理依赖 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《计算机研究与发展》浏览原始摘要信息 |
|
点击此处可从《计算机研究与发展》下载免费的PDF全文 |
|