On a finite axiomatization of the data type L.

P. A. Subrahmanyam

Published in: ACM SIGPLAN Notices (1978)

Keyphrases

data types
data structure
data model
database systems
database management systems
user defined
complete axiomatization
database objects
database server
abstract data types
metadata
data mining algorithms
feature extraction
query language
data management
logical design