A theory of data dependencies over relational expressions

DOI10.1007/BF00995890zbMath0521.68097OpenAlexW2070507475WikidataQ60515386 ScholiaQ60515386MaRDI QIDQ3670613

Marco A. Casanova

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

zbMATH Keywords

relational databasesschema designanalytic tableaux methodimplicational dependencies

Mathematics Subject Classification ID

Data structures (68P05) Information storage and retrieval of data (68P20)

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