Pages that link to "Item:Q3770004"
From MaRDI portal
The following pages link to A Proof Procedure for Data Dependencies (Q3770004):
Displaying 50 items.
- Implication and axiomatization of functional and constant constraints (Q287754) (← links)
- Relaxed notions of schema mapping equivalence revisited (Q359884) (← links)
- Extending inclusion dependencies with conditions (Q386615) (← links)
- Solutions and query rewriting in data exchange (Q388220) (← links)
- Semantic query optimization in the presence of types (Q389237) (← links)
- Information-based distance measures and the canonical reflection of view updates (Q429442) (← links)
- On the finite controllability of conjunctive query answering in databases under open-world assumption (Q532372) (← links)
- XML queries and constraints, containment and reformulation (Q555769) (← links)
- Data exchange: semantics and query answering (Q555772) (← links)
- Partition semantics for relations (Q579957) (← links)
- Query languages for data exchange: beyond unions of conjunctive queries (Q639842) (← links)
- On rules with existential variables: walking the decidability line (Q646515) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Fuzzy data exchange (Q679813) (← links)
- A semantic approach to optimize linear datalog programs (Q854685) (← links)
- Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies'' (Q859834) (← links)
- Propagating XML constraints to relations (Q878752) (← links)
- Using views to generate efficient evaluation plans for queries (Q881591) (← links)
- Formal systems for join dependencies (Q1071524) (← links)
- Non-finite specifiability of projections of functional dependency families (Q1082095) (← links)
- On the desirability of \(\gamma\)-acyclic BCNF database schemes (Q1111780) (← links)
- Testing unboundedness of database schemes and functional dependencies (Q1115211) (← links)
- Inferring multivalued dependencies from functional and join dependencies (Q1168088) (← links)
- Connection-trap-free database schemes (Q1185238) (← links)
- Inferring null join dependencies in relational databases (Q1198969) (← links)
- On characterizing boundedness of database schemes with bounded dependencies (Q1199825) (← links)
- Preservation of integrity constraints in definite DATALOG programs (Q1208438) (← links)
- Verification of knowledge bases based on containment checking (Q1274279) (← links)
- Incomplete deductive databases (Q1360679) (← links)
- Constraint-generating dependencies (Q1807678) (← links)
- On the expressive power of data dependencies (Q1822528) (← links)
- Semi-oblivious chase termination: the sticky case (Q2035470) (← links)
- Towards practical feasibility of core computation in data exchange (Q2268853) (← links)
- Dependencies in relational models of databases (Q2374317) (← links)
- The complexity of embedded axiomatization for a class of closed database views (Q2502159) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- On a general class of data dependencies in the relational model and its implication problems (Q2639634) (← links)
- Why Is It Hard to Obtain a Dichotomy for Consistent Query Answering? (Q2946755) (← links)
- UPDATE TRANSLATION IN INSTANCE MAPPED HETEROGENEOUS PEER DATABASES (Q3165333) (← links)
- Rewriting guarded existential rules into small Datalog programs (Q3305347) (← links)
- Preserving Constraints with the Stable Chase (Q3305357) (← links)
- Exploring Theories with a Model-Finding Assistant (Q3454114) (← links)
- (Q3814851) (← links)
- Theory of information aspects ? A tool to control independence and redundancy of information in database (Q4007426) (← links)
- (Q4500375) (← links)
- Querying Weak Instances Under Extension Chase Semantics: A Complete Solution (Q4707309) (← links)
- Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation (Q4957206) (← links)
- Characterizing Boundedness in Chase Variants (Q4957209) (← links)
- (Q5091112) (← links)
- (Q5091130) (← links)