Observability Concepts in Abstract Data Type Specification, 30 Years Later.

Donald Sannella Andrzej Tarlecki

Published in: Concurrency, Graphs and Models (2008)

Keyphrases

abstract data types
data types
object oriented databases
data abstraction
programming language
relational database systems
denotational semantics
type checking
user defined
relational databases
relational data model
database
conceptual models
distributed databases
domain ontology
multi dimensional
spatio temporal