Characterising nested database dependencies by fragments of propositional logic