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