Login / Signup

A decidability result about sufficient-completeness of axiomatically specified abstract data types.

Tobias NipkowGerhard 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