Terminal Algebra Semantics and Retractions for Abstract Data Types.
Günter HornungPeter RaulefsPublished in: ICALP (1980)
Keyphrases
- abstract data types
- algebraic operations
- relational data model
- data types
- object oriented databases
- relational database systems
- object identity
- programming language
- data model
- spatial aggregation
- algebraic structure
- database
- relational algebra
- query language
- type checking
- semantic information
- database management systems
- nearest neighbor
- relational databases
- database technology
- object oriented
- artificial intelligence