Testing containment of conjunctive queries under functional and inclusion dependencies
From MaRDI portal
Publication:1057666
DOI10.1016/0022-0000(84)90081-3zbMATH Open0563.68081OpenAlexW2005032394WikidataQ114685266 ScholiaQ114685266MaRDI QIDQ1057666
Publication date: 1984
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(84)90081-3
functional dependenciesinclusion dependenciesquery containmentrelational databaseoptimization of queries
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)