A Proof Procedure for Data Dependencies
From MaRDI portal
Publication:3770004
Recommendations
- A top-down proof procedure for generalized data dependencies
- Formal Systems for Tuple and Equality Generating Dependencies
- scientific article; zbMATH DE number 4112078
- On a general class of data dependencies in the relational model and its implication problems
- scientific article; zbMATH DE number 35423
Cited in
(67)- A framework for comparing query languages in their ability to express Boolean queries
- Preserving constraints with the stable chase
- Reasoning on property graphs with graph generating dependencies
- Theory of information aspects ? A tool to control independence and redundancy of information in database
- scientific article; zbMATH DE number 7561463 (Why is no real title available?)
- scientific article; zbMATH DE number 7561477 (Why is no real title available?)
- Constraint-generating dependencies
- scientific article; zbMATH DE number 4112078 (Why is no real title available?)
- Reasoning about embedded dependencies using inclusion dependencies
- On the expressive power of data dependencies
- Towards practical feasibility of core computation in data exchange
- On the finite controllability of conjunctive query answering in databases under open-world assumption
- Data exchange: semantics and query answering
- On the desirability of \(\gamma\)-acyclic BCNF database schemes
- Testing unboundedness of database schemes and functional dependencies
- Information-based distance measures and the canonical reflection of view updates
- scientific article; zbMATH DE number 1501628 (Why is no real title available?)
- On characterizing boundedness of database schemes with bounded dependencies
- scientific article; zbMATH DE number 549084 (Why is no real title available?)
- A semantic approach to optimize linear datalog programs
- scientific article; zbMATH DE number 2015568 (Why is no real title available?)
- Implication and axiomatization of functional and constant constraints
- Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
- A fuzzy extension of data exchange
- Restricted Chase Termination: A Hierarchical Approach and Experimentation
- Exploring theories with a model-finding assistant
- scientific article; zbMATH DE number 4085077 (Why is no real title available?)
- Preservation of integrity constraints in definite DATALOG programs
- Partition semantics for relations
- Verification of knowledge bases based on containment checking
- A finite axiomatization of conditional independence and inclusion dependencies
- Update translation in instance mapped heterogeneous peer databases
- Why is it hard to obtain a dichotomy for consistent query answering?
- Incomplete deductive databases
- On rules with existential variables: walking the decidability line
- Propagating XML constraints to relations
- Semi-oblivious chase termination: the sticky case
- Non-finite specifiability of projections of functional dependency families
- Formal systems for join dependencies
- Restricted chase termination for existential rules: a hierarchical approach and experimentation
- Characterizing boundedness in chase variants
- Dependencies in relational models of databases
- Inferring multivalued dependencies from functional and join dependencies
- Schema mappings: a case of logical dynamics in database theory
- The notion of abstraction in ontology-based data management
- The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems
- Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context
- Using views to generate efficient evaluation plans for queries
- Query languages for data exchange: beyond unions of conjunctive queries
- Connection-trap-free database schemes
- On a general class of data dependencies in the relational model and its implication problems
- Querying Weak Instances Under Extension Chase Semantics: A Complete Solution
- On measuring inconsistency in definite and indefinite databases with denial constraints
- Strong equivalence of relational expressions under dependencies
- Relaxed notions of schema mapping equivalence revisited
- Rewriting guarded existential rules into small Datalog programs
- Inferring null join dependencies in relational databases
- XML queries and constraints, containment and reformulation
- scientific article; zbMATH DE number 1929304 (Why is no real title available?)
- Extending inclusion dependencies with conditions
- The complexity of embedded axiomatization for a class of closed database views
- A top-down proof procedure for generalized data dependencies
- Grounded fixpoints and active integrity constraints
- Solutions and query rewriting in data exchange
- Semantic query optimization in the presence of types
- Proving semantical equivalence of data specifications
- Fuzzy data exchange
This page was built for publication: A Proof Procedure for Data Dependencies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3770004)
