Automating Algebraic Specifications of Non-freely Generated Data Types.

Andriy Dunets Gerhard Schellhorn Wolfgang Reif

Published in: ATVA (2008)

Keyphrases

data types
data model
data structure
database management systems
database systems
user defined
back end
data formats
abstract data types
database server
data mining algorithms
databases
spatiotemporal data
high level
general purpose
database objects
microsoft sql server
query processing
feature space