The theory of functional and subset dependencies over relational expressions

DOI10.1016/0020-0190(83)90068-6zbMath0507.68073OpenAlexW2020062961WikidataQ114685344 ScholiaQ114685344MaRDI QIDQ1837548

Marco A. Casanova

Publication date: 1983

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(83)90068-6

zbMATH Keywords

database designformal system for reasoning about functional dependencies and subset dependencies

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Information storage and retrieval of data (68P20)

Related Items (2)

Finite approximatization of languages for representation of system properties: Axiomatization of dependencies ⋮ The theory of functional and subset dependencies over relational expressions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The theory of functional and subset dependencies over relational expressions
• Calculating constraints on relational expression
• A Formal System for Reasoning about Programs Accessing a Relational Database
• On interpretations of relational languages and solutions to the implied constraint problem
• Template Dependencies
• A practical decision method for propositional dynamic logic (Preliminary Report)

This page was built for publication: The theory of functional and subset dependencies over relational expressions