We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DB

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Databases

Title: On the Interaction of Functional and Inclusion Dependencies with Independence Atoms

Abstract: 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.
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
MSC classes: 68P15
ACM classes: H.2.4
Cite as: arXiv:2101.02466 [cs.DB]
  (or arXiv:2101.02466v1 [cs.DB] for this version)

Submission history

From: Miika Hannula [view email]
[v1] Thu, 7 Jan 2021 10:13:02 GMT (46kb)

Link back to: arXiv, form interface, contact.