Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities.
Günter HornungPeter RaulefsPublished in: CAAP (1981)
Keyphrases
- abstract data types
- denotational semantics
- relational data model
- algebraic operations
- operational semantics
- programming language
- data types
- query language
- object oriented databases
- specification language
- data model
- relational database systems
- algebraic structure
- spatio temporal databases
- database management systems
- relational databases
- high level
- relational algebra
- database
- formal semantics
- formal specification
- data storage
- relational calculus
- conceptual model
- database applications
- object oriented
- artificial intelligence