A Logic for Abstract Data Types as Existential Types.

Erik Poll Jan Zwanenburg

Published in: TLCA (1999)

Keyphrases

abstract data types
data types
website
object oriented databases
artificial intelligence
data model
relational database systems
spatial aggregation
database
relational databases
object oriented
programming language