Mechanical construction of type-checking predicates for extensible data types.

Clifford R. Hollander

Published in: ACM Annual Conference (1) (1974)

Keyphrases

data types
type checking
user defined
abstract data types
data model
data structure
database management systems
database systems
database server
query processor
data mining algorithms
preprocessing
object oriented
data mining
relational model
relational database systems
object relational
data sets