The theory of functional and subset dependencies over relational expressions

DOI10.1016/0020-0190(83)90068-6zbMATH Open0507.68073OpenAlexW2020062961WikidataQ114685344 ScholiaQ114685344MaRDI QIDQ1837548FDOQ1837548

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A practical decision method for propositional dynamic logic (preliminary report)
• On interpretations of relational languages and solutions to the implied constraint problem
• Template Dependencies
• Title not available (Why is that?)
• Calculating constraints on relational expression
• A Formal System for Reasoning about Programs Accessing a Relational Database
• 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)