Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems.
Jan A. BergstraJohn V. TuckerPublished in: SIAM J. Comput. (1983)
Keyphrases
- data types
- data model
- abstract data types
- relational data model
- object identity
- operational semantics
- database systems
- specification language
- user defined
- data structure
- query language
- relational algebra
- algebraic structure
- control flow
- algebraic operations
- spatial data types
- database management systems
- database objects
- formal semantics
- relational model
- conceptual model
- formal language
- relational calculus
- data mining algorithms
- software engineering
- high level
- databases
- relational database systems
- database design
- object relational
- data mining