Scifaro

中文

条件独立与包含依赖的有限公理化

逻辑 2013-09-23 v2 人工智能数据库计算机科学中的逻辑

作者: Miika Hannula , Juha Kontinen

在 arXiv 上查看 ↗ PDF ↗

摘要

我们在依赖逻辑的框架下，提出了针对包含原子和条件独立原子的无限制蕴含问题的完备有限公理化体系。对于数据库而言，我们的结果意味着在单关系情形下，针对包含依赖、函数依赖和嵌入多值依赖的无限制蕴含问题存在有限公理化。

关键词

有限公理化条件独立包含依赖依赖逻辑蕴含问题函数依赖嵌入多值依赖

引用

@article{arxiv.1309.4927,
  title  = {A finite axiomatization of conditional independence and inclusion dependencies},
  author = {Miika Hannula and Juha Kontinen},
  journal= {arXiv preprint arXiv:1309.4927},
  year   = {2013}
}