Login / Signup
A decidability result about sufficient-completeness of axiomatically specified abstract data types.
Tobias Nipkow
Gerhard Weikum
Published in:
Theoretical Computer Science (1983)
Keyphrases
</>
abstract data types
data types
object oriented databases
relational database systems
data abstraction
database
databases
feature extraction
data streams
management system