Finite Algebraic Specifications of Semicomputable Data Types.

Gabriele Marongiu Sauro Tulipani

Published in: TAPSOFT, Vol.1 (1987)

Keyphrases

data types
data model
data structure
database management systems
database systems
user defined
back end
database server
abstract data types
database objects
microsoft sql server
data manipulation language
information retrieval
data management
database applications
data formats