An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic

Sven Hartmann, Sebastian Link. An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic. Electronic Notes in Theoretical Computer Science, 143:73-85, 2006. [doi]

Abstract

Abstract is missing.