The Recursive Record Semantics of Objects Revisited.

Published in: ESOP (2001)

Keyphrases

logic programming
spatial relationships
formal semantics
moving objects
data objects
object models
knowledge base
object oriented
semantic information
object level
relational structures