Basic Properties of Data Types with Inequational Refinements.

Hidetaka Kondoh

Published in: TLCA (1995)

Keyphrases

data types
data model
database management systems
data structure
database systems
user defined
back end
database server
database objects
abstract data types
data formats
neural network
machine learning
feature selection
data mining algorithms
microsoft sql server