The theory of functional and subset dependencies over relational expressions

DOI10.1016/0020-0190(83)90068-6MaRDI QIDQ1837548zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 3464830 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3596225 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• A Formal System for Reasoning about Programs Accessing a Relational Database
• A practical decision method for propositional dynamic logic (preliminary report)
• Calculating constraints on relational expression
• On interpretations of relational languages and solutions to the implied constraint problem
• Template Dependencies
• The theory of functional and subset dependencies over relational expressions

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1837548)