The theory of functional and subset dependencies over relational expressions
type: Item
instance of: scholarly article
title: The theory of functional and subset dependencies over relational expressions
zbMATH Open document ID: 0507.68073
DOI: 10.1016/0020-0190(83)90068-6
author: Marco A. Casanova
published in: Information Processing Letters
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P20
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 3800974
zbMATH Keywords: formal system for reasoning about functional dependencies and subset dependencies
zbMATH Keywords: database design
Wikidata QID: Q114685344
MaRDI profile type: Publication
full work available at URL: 0020-0190(83)90068-6
OpenAlex ID: W2020062961
cites work: Q4050122
cites work: A Formal System for Reasoning about Programs Accessing a Relational Database
cites work: Q4050126
cites work: Q4162636
cites work: Q4052071
cites work: On interpretations of relational languages and solutions to the implied constraint problem
cites work: Calculating constraints on relational expression
cites work: A practical decision method for propositional dynamic logic (Preliminary Report)
cites work: Q5636857
cites work: Q5537599
cites work: Q5560258
cites work: Template Dependencies
description: scientific article; zbMATH DE number 3800974