scientific article; zbMATH DE number 7566070
From MaRDI portal
Publication:5094143
Michael Benedikt, Antoine Amarilli
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/1810.07822
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Data exchange: semantics and query answering
- On rules with existential variables: walking the decidability line
- Procedural languages for database queries and updates
- Rewriting queries using views with access patterns under integrity constraints
- Testing containment of conjunctive queries under functional and inclusion dependencies
- Non-determinism in logic-based languages
- Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation
- Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
- Some characterization theorems for infinitary universal Horn logic without equality
- The implication problem for functional and inclusion dependencies
- Answering queries with useful bindings
- Generating Plans from Proofs
- Guarded-Based Disjunctive Tuple-Generating Dependencies
- Combining decidability paradigms for existential rules
- Querying the Guarded Fragment
- Guarded Negation
This page was built for publication:
