泛函和包合双原子与独立原子的相互作用
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms
摘要：
臭名昭著的是，i）函数依赖和包含依赖的类的有限和无限制蕴涵问题，以及ii）单独嵌入多值依赖的类的有限和无限制蕴涵问题都是不可判定的。众所周知，i）对函数和一元包含依赖的限制与ii）对多值依赖的限制相结合，产生了在有限和无限制情况下仍然不同的蕴涵问题，但每个问题都是可公理化的，并且在低次多项式时间中是可判定的。嵌入式多值依赖的一个重要的嵌入式易处理片段是独立原子，它规定了两个属性集之间的独立性。我们建立了一系列的结果，蕴涵问题的子类的组合类的功能和包含依赖以及独立原子。我们的主要结果之一是，独立原子、一元泛函和一元包含依赖的组合类的有限和无限制蕴涵问题都是可公理化的，并且在低次多项式时间内是可判定的.
英文摘要：
Infamously, the finite and unrestricted implication problems for the classes of i) functional and inclusion dependencies together, and ii) embedded multivalued dependencies alone are each undecidable. Famously, the restriction of i) to functional and unary inclusion dependencies in combination with the restriction of ii) to multivalued dependencies yield implication problems that are still different in the finite and unrestricted case, but each are finitely axiomatizable and decidable in low-degree polynomial time. An important embedded tractable fragment of embedded multivalued dependencies are independence atoms that stipulate independence between two attribute sets. We establish a series of results for implication problems over subclasses of the combined class of functional and inclusion dependencies as well as independence atoms. One of our main results is that both finite and unrestricted implication problems for the combined class of independence atoms, unary functional and unary inclusion dependencies are axiomatizable and decidable in low-degree polynomial time.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
