Uniform Restricted Chase Termination

DOI10.1137/20M1377035MaRDI QIDQ6156026zbMATH OpenOpenAlexFDO

Authors Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris

Publication date 9 June 2023

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/20m1377035

zbMATH Keywords

Büchi automatadecidabilityguardednessmonadic second-order logicyrestricted chasestickinesstuple-generating dependenciesuniform chase termination

Mathematics Subject Classification ID

Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 7561477
• Semi-oblivious chase termination: the sticky case
• Anatomy of the Chase
• Restricted Chase Termination: A Hierarchical Approach and Experimentation
• All-instances termination of chase is undecidable

Cites work

• A Single Approach to Decide Chase Termination on Linear Existential Rules
• Acyclicity notions for existential rules and their application to query answering in ontologies
• All-instances termination of chase is undecidable
• Anatomy of the Chase
• Data exchange: semantics and query answering
• Efficient model construction for Horn logic with VLog (system description)
• scientific article; zbMATH DE number 1953134 (Why is no real title available?)
• scientific article; zbMATH DE number 7561463 (Why is no real title available?)
• scientific article; zbMATH DE number 7561477 (Why is no real title available?)
• Modal languages and bounded fragments of predicate logic
• On rules with existential variables: walking the decidability line
• Query answering with transitive and linear-ordered data
• Taming the infinite chase: query answering under expressive relational constraints
• Towards more expressive ontology languages: the query answering problem

Cited in

(1)

• Restricted Chase Termination: A Hierarchical Approach and Experimentation

This page was built for publication: Uniform Restricted Chase Termination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6156026)