A universal formalism to express decompositions, functional dependencies and other constraints in a relational database
From MaRDI portal
Publication:1173417
DOI10.1016/0304-3975(82)90057-3zbMath0503.68072WikidataQ114683737 ScholiaQ114683737MaRDI QIDQ1173417
Publication date: 1982
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(82)90057-3
data dependency; decomposition of relations; decidability of implication problem; general dependency