Characterising nested database dependencies by fragments of propositional logic

Sven Hartmann, Sebastian Link. Characterising nested database dependencies by fragments of propositional logic. Annals of Pure and Applied Logic, 152(1-3):84-106, 2008. [doi]

Abstract

Abstract is missing.