Testing containment of conjunctive queries under functional and inclusion dependencies

Cites Work

A relational model of data for large shared data banks
Inclusion dependencies and their interaction with functional dependencies
The implication problem for functional and inclusion dependencies
A normal form for relational databases that is based on domains and keys
Equivalences among Relational Expressions
Optimizing Conjunctive Queries that Contain Untyped Variables

Cited In (45)

Conjunctive query containment with respect to views and constraints
Datalog: Bag Semantics via Set Semantics
On the finite and general implication problems of independence atoms and keys
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints
A Chasm Between Identity and Equivalence Testing with Conditional Queries
Independent database schemes under functional and inclusion dependencies
On the finite controllability of conjunctive query answering in databases under open-world assumption
The Impact of Active Domain Predicates on Guarded Existential Rules
Testing unboundedness of database schemes and functional dependencies
Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies
Inclusion dependencies and their interaction with functional dependencies
Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
Inclusion dependencies and their interaction with functional dependencies in SQL
Combining decidability paradigms for existential rules
Some results on the containment and minimization of (in)equality queries
Converging to the chase -- a tool for finite controllability
On rules with existential variables: walking the decidability line
On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules
Testing bag-containment of conjunctive queries
Null inclusion dependencies in relational databases
Answer Counting under Guarded TGDs
Tractable reasoning and efficient query answering in description logics: The DL-Lite family
The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems
Logical foundations of information disclosure in ontology-based data integration
Ontologies and Databases: The DL-Lite Approach
Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data
Title not available (Why is that?)
Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
Relaxed notions of schema mapping equivalence revisited
Towards more expressive ontology languages: the query answering problem
Reasoning on anonymity in Datalog
The complexity of higher-order queries
Query containment under bag and bag-set semantics
Optimization of a subclass of conjunctive queries
Querying incomplete data over extended ER schemata
Polynomial combined first-order rewritings for linear and guarded existential rules
Datalog and Its Extensions for Semantic Web Databases
Extending inclusion dependencies with conditions
Querying Regular Graph Patterns
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
Capturing model-based ontology evolution at the instance level: the case of DL-Lite
Semantic query optimization in the presence of types
Finite model reasoning over existential rules
Logical separability of labeled data examples under ontologies

This page was built for publication: Testing containment of conjunctive queries under functional and inclusion dependencies

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