值依赖相关论文
研究了关系数据库理论经典的函数依赖与形式概念分析理论的属性蕴含之间的关系.给出研究所需要的一些基本理论与概念;使用一个典型......
形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基,给出了对任意一个公理系统求任意背......
提出了“内涵亏值”与“紧致依赖”的概念,证明了由“紧致依赖”组成的依赖基对于“左部加属性、右部枣属性”这一规则的公理系统是......
值依赖是数据库推理问题研究的一个新课题.首先介绍了形式背景和概念格,提出了值依赖的形式概念模型.将数据属性的安全敏感级别引入到......
根据内涵亏值的概念,对于找出背景的所有亏值横截的理论依据,给出了形式化的定理,并给予了严格的证明.通过检查亏值最小横截是否为......