A Fourth Normal Form for Uncertain Data

Wei, Ziheng; Link, Sebastian

doi:10.1007/978-3-030-21290-2_19

Cited by 5 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An important fragment of EMVDs are multivalued dependencies (MVDs), which are a class of full dependencies in which XY Z covers the full underlying set R of attributes. In fact, MVDs are the basis for Fagin's fourth normal form [19,57]. For the combined class of FDs, MVDs, and UINDs, finite implication is axiomatizable and decidable in cubic time, while unrestricted implication is also axiomatizable and decidable in almost linear time [16,38].…”

Section: Introductionmentioning

confidence: 99%

On the Interaction of Functional and Inclusion Dependencies with Independence Atoms

Hannula¹,

Kontinen²,

Link³

2021

Preprint

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%