Testing containment of conjunctive queries under functional and inclusion dependencies
From MaRDI portal
Publication:1057666
DOI10.1016/0022-0000(84)90081-3zbMath0563.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
relational databasefunctional dependenciesinclusion dependenciesquery containmentoptimization of queries
Related Items
On the finite and general implication problems of independence atoms and keys, Some results on the containment and minimization of (in)equality queries, The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems, On the Interaction of Existential Rules and Equality Constraints in Ontology Querying, Optimization of a subclass of conjunctive queries, Converging to the chase -- a tool for finite controllability, Querying Regular Graph Patterns, Null inclusion dependencies in relational databases, Relaxed notions of schema mapping equivalence revisited, Towards more expressive ontology languages: the query answering problem, Extending inclusion dependencies with conditions, 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, Answer Counting under Guarded TGDs, Polynomial combined first-order rewritings for linear and guarded existential rules, Logical foundations of information disclosure in ontology-based data integration, On rules with existential variables: walking the decidability line, Reasoning on anonymity in Datalog, Query containment under bag and bag-set semantics, Combining decidability paradigms for existential rules, Tractable reasoning and efficient query answering in description logics: The DL-Lite family, The complexity of higher-order queries, Conjunctive query containment with respect to views and constraints, Datalog and Its Extensions for Semantic Web Databases, Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues, Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies, On the finite controllability of conjunctive query answering in databases under open-world assumption, Querying incomplete data over extended ER schemata, Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data, Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies, Unnamed Item, Inclusion dependencies and their interaction with functional dependencies in SQL, Independent database schemes under functional and inclusion dependencies, Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes, Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints, Ontologies and Databases: The DL-Lite Approach, Datalog: Bag Semantics via Set Semantics, The Impact of Active Domain Predicates on Guarded Existential Rules, Logical separability of labeled data examples under ontologies, On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules, Inclusion dependencies and their interaction with functional dependencies
Cites Work
- Inclusion dependencies and their interaction with functional dependencies
- Optimizing Conjunctive Queries that Contain Untyped Variables
- 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
- A relational model of data for large shared data banks
