zbMath0616.68018MaRDI QIDQ4725723
Hans-Dieter Ehrich
Publication date: 1986
zbMATH Keywords
database specification; final algebra semantics; algebraic specification of abstract data types; key extension
Mathematics Subject Classification ID
68P05: Data structures
68P20: Information storage and retrieval of data
Related Items