Termination of Algorithms over Non-freely Generated Data Types.

Published in: CADE (1996)

Keyphrases

data types
data structure
data mining algorithms
database systems
data model
database management systems
times faster
database design