An extension of HM(X) with bounded existential and universal data-types.
Vincent SimonetPublished in: ICFP (2003)
Keyphrases
- data types
- user defined
- data model
- database management systems
- data structure
- database systems
- back end
- microsoft sql server
- database server
- data manipulation language
- abstract data types
- databases
- query answering
- database objects
- object oriented
- high dimensional
- data mining algorithms
- feature space
- application programs