On Inferences of Full First-Order Hierarchical Decompositions

DOI10.3233/FI-2011-385zbMath1229.68033OpenAlexW1941442771MaRDI QIDQ3100165

Ebastian Link

Publication date: 22 November 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2011-385

zbMATH Keywords

propositional logicaxiomatisationrelational model of datadatabase decompositiondatabase constraint

Mathematics Subject Classification ID

Database theory (68P15) Data structures (68P05)

Related Items (1)

Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions

This page was built for publication: On Inferences of Full First-Order Hierarchical Decompositions