When can we answer queries using result-bounded data interfaces?

MaRDI QIDQ5094143zbMATH OpenFDO

Authors Antoine Amarilli, Michael Benedikt

Publication date 2 August 2022

Full work available at URL https://arxiv.org/abs/1810.07822, https://lmcs.episciences.org/9643

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 2080475
• Answering queries using limited external query processors
• Bounded query rewriting using views
• Querying data sources that export infinite sets of views
• Conjunctive query containment and answering under description logic constraints

Cites work

• scientific article; zbMATH DE number 1953134 (Why is no real title available?)
• scientific article; zbMATH DE number 2080475 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Answering queries with useful bindings
• Combining decidability paradigms for existential rules
• Data exchange: semantics and query answering
• Generating plans from proofs
• Generating plans from proofs. The interpolation-based approach to query reformulation
• Guarded negation
• Guarded-based disjunctive tuple-generating dependencies
• Non-determinism in logic-based languages
• On rules with existential variables: walking the decidability line
• Procedural languages for database queries and updates
• Querying the Guarded Fragment
• Rewriting queries using views with access patterns under integrity constraints
• Some characterization theorems for infinitary universal Horn logic without equality
• Taming the infinite chase: query answering under expressive relational constraints
• Testing containment of conjunctive queries under functional and inclusion dependencies
• The implication problem for functional and inclusion dependencies

Cited in

(2)

• Answering queries with useful bindings
• Tighter bounds for query answering with guarded TGDs

This page was built for publication: When can we answer queries using result-bounded data interfaces?

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