Which Data Types have omega-complete Initial Algebra Specifications?
Jan A. BergstraJan HeeringPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- data types
- data model
- abstract data types
- data structure
- database systems
- user defined
- database management systems
- query language
- spatial data types
- back end
- object oriented
- relational data model
- database
- database objects
- data formats
- object identity
- microsoft sql server
- high level
- relational algebra
- type checking
- database design
- data mining algorithms
- machine learning
- relational model
- data sets