论文部分内容阅读
值依赖是数据库推理问题研究的一个新课题．首先介绍了形式背景和概念格，提出了值依赖的形式概念模型．将数据属性的安全敏感级别引入到值依赖研究中，提出推理依赖及口极大推理依赖概念，并建立了形式概念格的内涵缩减与数据库推理依赖之间的关系．进一步证明了由概念格的内涵缩减推导出数据库中完备的、无冗余的α极大推理依赖集．最后提出并实例验证了发现数据库中全部推理依赖集的算法．推理依赖是关系数据库中最重要的属性依赖关系之一，其研究对检测和消除数据库推理通道具有十分重要的意义．