Algebraic Specification of Data Types: A Synthetic Approach.

Daniel Lehmann Michael B. Smyth

Published in: Math. Syst. Theory (1981)

Keyphrases

data types
user defined
data model
database systems
data structure
database management systems
back end
abstract data types
database server
database objects
data manipulation language
real world
data mining algorithms
conceptual model
itemsets
object oriented
high level
website
data mining