The rational numbers as an abstract data type.

Jan A. Bergstra John V. Tucker

Published in: J. ACM (2007)

Keyphrases

abstract data types
data types
object oriented databases
denotational semantics
relational database systems
programming language
data abstraction
decision making
data model
spatio temporal databases
type checking
databases
relational databases
spatial information
distributed databases
spatio temporal data