Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics.
F. Warren BurtonPublished in: J. Funct. Program. (1991)
Keyphrases
- denotational semantics
- abstract data types
- programming language
- operational semantics
- data types
- relational database systems
- relational data model
- data model
- query language
- data abstraction
- formal semantics
- general purpose
- databases
- object oriented databases
- spatio temporal
- expressive power
- semantic information
- database management systems
- data streams
- database systems
- knowledge base
- data mining
- spatio temporal databases
- database