Browsing by Subject "cs.DB"

Sort by: Order: Results:

Now showing items 1-1 of 1
  • Hannula, Miika; Kontinen, Juha (Springer Science+Business Media, 2014)
    Lecture Notes in Computer Science
    We present a complete finite axiomatization of the unrestricted implication problem for inclusion and conditional independence atoms in the context of dependence logic. For databases, our result implies a finite axiomatization of the unrestricted implication problem for inclusion, functional, and embedded multivalued dependencies in the unirelational case.