Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras.

Hubert Baumeister

Published in: TAPSOFT (1995)

Keyphrases

data types
higher level
semantic relations
information retrieval
website
preprocessing
temporal relations
relation algebra