Abstract Data Types and Their Extensions within a Constructive Logic.
Alberto BertoniGiancarlo MauriPierangelo MiglioliMario OrnaghiPublished in: Semantics of Data Types (1984)
Keyphrases
- abstract data types
- data types
- object oriented databases
- data abstraction
- programming language
- relational database systems
- data model
- modal logic
- logic programming
- spatial aggregation
- database
- behavioral models
- object oriented
- default logic
- relational databases
- algebraic operations
- data mining
- general purpose
- query language
- relational algebra
- query processing
- artificial intelligence
- object identity