A practical example of the specification of abstract data types
From MaRDI portal
Publication:1259160
DOI10.1007/BF00288642zbMath0409.68004MaRDI QIDQ1259160
Publication date: 1980
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00288642
Abstract Data Types; Data Bases; Relational Model; Algebraic Specifications; Conceptual Schema; Data Abstraction; Data Independence; Data Structure Formalisms; Quotient Relations
Related Items
Specification of a query language by the attribute method, Specification of data restructuring software based on the attribute method
Cites Work