A practical example of the specification of abstract data types

DOI10.1007/BF00288642zbMath0409.68004OpenAlexW1995840473MaRDI QIDQ1259160

Frank Wm. Tompa

Publication date: 1980

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00288642

zbMATH Keywords

Abstract Data TypesData BasesRelational ModelAlgebraic SpecificationsConceptual SchemaData AbstractionData IndependenceData Structure FormalismsQuotient Relations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05)

Related Items (2)

Specification of data restructuring software based on the attribute method ⋮ Specification of a query language by the attribute method

Cites Work

• Abstract data types and the development of data structures
• A relational model of data for large shared data banks

This page was built for publication: A practical example of the specification of abstract data types