Guarded-Based Disjunctive Tuple-Generating Dependencies

DOI10.1145/2976736zbMath1474.68084OpenAlexW2533772561MaRDI QIDQ5012571

Michael Morak, Pierre Bourhis, Andreas Pieris, Marco Manna

Publication date: 25 November 2021

Published in: ACM Transactions on Database Systems (Search for Journal in Brave)

Full work available at URL: https://www.research.ed.ac.uk/en/publications/74f8849a-ac27-4a9c-b380-702d5b8f5f1d

zbMATH Keywords

computational complexityquery answeringconjunctive queriesguardednessdisjunctionexistential rulestuple-generating dependencies

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Database theory (68P15)

Related Items (6)

Unnamed Item ⋮ Finite model reasoning over existential rules ⋮ Reasoning on anonymity in Datalog ⋮ Unnamed Item ⋮ Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation ⋮ Guarded Ontology-Mediated Queries

This page was built for publication: Guarded-Based Disjunctive Tuple-Generating Dependencies