From Abstract Data Types to Logical Frameworks.

José Meseguer Narciso Martí-Oliet

Published in: COMPASS/ADT (1994)

Keyphrases

abstract data types
data types
programming language
relational database systems
object oriented databases
data abstraction
data model
spatial aggregation
relational databases
spatio temporal data
algebraic operations
database
real world
database systems
data analysis
general purpose