Inductive reasoning about effectful data types.
Andrzej FilinskiKristian StøvringPublished in: ICFP (2007)
Keyphrases
- data types
- data model
- database systems
- database management systems
- data structure
- user defined
- spatial reasoning
- machine learning
- back end
- abstract data types
- database objects
- data mining algorithms
- database server
- knowledge representation
- microsoft sql server
- data manipulation language
- database applications
- index structure
- general purpose
- query language
- preprocessing
- high level