On preservation under homomorphisms and unions of conjunctive queries
From MaRDI portal
Publication:3546314
DOI10.1145/1131342.1131344zbMath1326.68117OpenAlexW1990326418WikidataQ58215652 ScholiaQ58215652MaRDI QIDQ3546314
Anuj Dawar, Albert Atserias, Phokion G. Kolaitis
Publication date: 21 December 2008
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1131342.1131344
datalogfirst-order logichomomorphismspreservationinfinitary logicfinite model theorygraph minorsconjunctive queries
Database theory (68P15) Graph minors (05C83) Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)
Related Items (12)
Relativised homomorphism preservation at the finite level ⋮ NP for Combinatorialists ⋮ On digraph coloring problems and treewidth duality ⋮ A generalization of the Łoś-Tarski preservation theorem ⋮ On nowhere dense graphs ⋮ Many Facets of Dualities ⋮ Tarski’s Influence on Computer Science ⋮ On the complexity of existential positive queries ⋮ First order properties on nowhere dense structures ⋮ Homomorphism preservation on quasi-wide classes ⋮ A surprising permanence of old motivations (a not-so-rigid story) ⋮ Unnamed Item
This page was built for publication: On preservation under homomorphisms and unions of conjunctive queries
