Relationships Between Equational and Inductive Data Types.
Eric G. WagnerPublished in: Formal Methods in Software and Systems Modeling (2005)
Keyphrases
- data types
- data model
- data structure
- database management systems
- user defined
- database systems
- database server
- theorem proving
- microsoft sql server
- machine learning
- object types
- back end
- image processing
- data mining algorithms
- database objects
- abstract data types
- data manipulation language
- data formats
- knowledge representation
- data points
- preprocessing
- databases