A theory of data dependencies over relational expressions
From MaRDI portal
Publication:3670613
DOI10.1007/BF00995890zbMath0521.68097OpenAlexW2070507475WikidataQ60515386 ScholiaQ60515386MaRDI QIDQ3670613
Publication date: 1983
Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00995890
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Inclusion dependencies and their interaction with functional dependencies
- Algebraic dependencies
- The Implication Problem for Functional and Inclusion Dependencies is Undecidable
- On the Structure of Armstrong Relations for Functional Dependencies
- On the menbership problem for functional and multivalued dependencies in relational databases
- A Formal System for Reasoning about Programs Accessing a Relational Database
- Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
- Template Dependencies
- Determining View dependencies using tableaux
- Horn clauses and database dependencies
- On the family of generalized dependency constraints
- Resolution Strategies as Decision Procedures
- Functional Dependencies in a Relational Database and Propositional Logic
- A practical decision method for propositional dynamic logic (Preliminary Report)
This page was built for publication: A theory of data dependencies over relational expressions