Existential Quantifiers in Abstract Data Types.

Manfred Broy Walter Dosch Helmuth Partsch Peter Pepper Martin Wirsing

Published in: ICALP (1979)

Keyphrases

abstract data types
data types
data abstraction
relational database systems
programming language
object oriented databases
data model
spatial aggregation
database
algebraic operations
first order logic
database management systems
natural language
database systems
query processing
artificial intelligence
databases