Equivalences among Relational Expressions
From MaRDI portal
Publication:4199525
Cited in
(58)- Symmetries of knowledge bases
- Logically automorphically equivalent knowledge bases models
- Classification of annotation semirings over containment of conjunctive queries
- A fine-grained analogue of schaefer's Theorem in P: dichotomy of ∃k∀-quantified first-order graph properties
- Optimization of a subclass of conjunctive queries
- The implication and finite implication problems for typed template dependencies
- Query containment for data integration systems
- Elimination of redundant operations in relational queries with general selection operators
- Data independent recursion in deductive databases
- A characterization of finite fd-acyclicity
- A time bound on the materialization of some recursively defined views
- Equivalence of views by query capacity
- A fast algorithm for query optimization in universal-relation databases
- Characterizations for functional dependency and Boyce-Codd normal form families
- Algebraic dependencies
- Formal systems for join dependencies
- Conjunctive query containment revisited
- Insertion anomalies and the justification for 4NF in relational databases
- Efficient and optimal query answering on independent schemes
- Automatic generation of test data for relational queries
- The relational model of data and cylindric algebras
- On characterizing boundedness of database schemes with bounded dependencies
- Strong equivalence of relational expressions under dependencies
- Argument reduction by factoring
- Connection-trap-free database schemes
- Structure and complexity of relational queries
- A theoretical framework for knowledge-based entity resolution
- Testing containment of conjunctive queries under functional and inclusion dependencies
- Order dependency in the relational model
- Automated reformulation of specifications by safe delay of constraints
- On the expressive power of data dependencies
- GYO reductions, canonical connections, tree and cyclic schemas, and tree projections
- Normal forms for connectedness in categories
- Parameterized complexity of completeness reasoning for conjunctive queries
- Cylindric structures and dependencies in relational databases
- One-sided recursions
- Implication problems for functional constraints on databases supporting complex objects
- Decidable containment of recursive queries
- Isotypeness of models and knowledge bases equivalence
- Conjunctive query containment with respect to views and constraints
- On the complexity of entailment in existential conjunctive first-order logic with atomic negation
- Some results on the containment and minimization of (in)equality queries
- A technique for proving decidability of containment and equivalence of linear constraint queries
- Recursive query processing: The power of logic
- Minimizing restricted-fanout queries
- A natural semantics for modal logic over databases
- The Verso algebra or how to answer queries with fewer joins
- Testing unboundedness of database schemes and functional dependencies
- Non-finite specifiability of projections of functional dependency families
- Acyclic join dependency and data base projections
- Verification of knowledge bases based on containment checking
- Connections in acyclic hypergraphs
- Computable queries for relational data bases
- A corrected 5NF definition for relational database design
- Relational lattices: from databases to universal algebra
- The tree projection theorem and relational query processing
- Testing satisfiability of a class of object-oriented conjunctive queries
- The optimum execution order of queries in linear storage
This page was built for publication: Equivalences among Relational Expressions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4199525)
