A sound and complete axiomatization of embedded cross dependencies

DOI10.1016/0304-3975(84)90059-8zbMath0553.68027OpenAlexW2003196490WikidataQ114683732 ScholiaQ114683732MaRDI QIDQ759482

Philippe Richard, François Bancilhon

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00076309/file/RR-0249.pdf

zbMATH Keywords

completenesssoundnessaxiomatization of embedded cross dependenciesrelational data model

Mathematics Subject Classification ID

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

Cites Work

• A relational model of data for large shared data banks
• Unnamed Item

This page was built for publication: A sound and complete axiomatization of embedded cross dependencies