Pages that link to "Item:Q3770004"
From MaRDI portal
The following pages link to A Proof Procedure for Data Dependencies (Q3770004):
Displaying 10 items.
- A Fuzzy Extension of Data Exchange (Q5230063) (← links)
- Grounded fixpoints and active integrity constraints (Q5240214) (← links)
- Schema Mappings: A Case of Logical Dynamics in Database Theory (Q5249666) (← links)
- The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems (Q5283239) (← links)
- Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context (Q5504585) (← links)
- A framework for comparing query languages in their ability to express Boolean queries (Q5919276) (← links)
- The notion of abstraction in ontology-based data management (Q6080649) (← links)
- Restricted Chase Termination: A Hierarchical Approach and Experimentation (Q6104760) (← links)
- On measuring inconsistency in definite and indefinite databases with denial constraints (Q6161468) (← links)
- Reasoning on property graphs with graph generating dependencies (Q6554875) (← links)