Some Desirable Properties of Data Abstraction Facilities.

James J. Horning

Published in: Conference on Data: Abstraction, Definition and Structure (1976)

Keyphrases

desirable properties
data abstraction
database management
conceptual modelling
formal specification
conceptual modeling
programming language
object oriented
object oriented databases
abstract data types
database
databases
database systems
general purpose
model checking