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]

Authors

Sven Hartmann

This author has not been identified. Look up 'Sven Hartmann' in Google

Sebastian Link

This author has not been identified. Look up 'Sebastian Link' in Google