函数依赖与包含依赖同独立原子相互作用的研究
数据库
2021-01-13 v1 计算机科学中的逻辑
摘要
众所周知，i) 函数依赖与包含依赖共同构成的类，以及 ii) 单独嵌入式多值依赖的有限与无限制蕴涵问题均不可判定。而著名的是，将 i) 限制为函数依赖与一元包含依赖，并结合将 ii) 限制为多值依赖，所得蕴涵问题在有限与无限制情形下仍不相同，但各自可在低次多项式时间内有限公理化并判定。嵌入式多值依赖的一个重要可处理片段是独立原子，其规定两个属性集之间的独立性。我们针对函数依赖与包含依赖以及独立原子组合类的子类的蕴涵问题建立了一系列结果。我们的主要结果之一是，独立原子、一元函数依赖与一元包含依赖组合类的有限与无限制蕴涵问题均可公理化并在低次多项式时间内判定。
引用
@article{arxiv.2101.02466,
title = {On the Interaction of Functional and Inclusion Dependencies with Independence Atoms},
author = {Miika Hannula and Juha Kontinen and Sebastian Link},
journal= {arXiv preprint arXiv:2101.02466},
year = {2021}
}