Inductive Data Types for Predicate Transformers.
Oege de MoorPublished in: Inf. Process. Lett. (1992)
Keyphrases
- data types
- data structure
- data model
- database management systems
- database systems
- user defined
- machine learning
- data manipulation language
- abstract data types
- first order logic
- data mining algorithms
- database server
- database objects
- knowledge representation
- data formats
- back end
- datalog programs
- database applications
- database
- general purpose
- object oriented
- similarity measure
- databases