A Calculus for Collections and Aggregates.

S. Kazem Lellahi Val Tannen

Published in: Category Theory and Computer Science (1997)

Keyphrases

document collections
information retrieval
data streams
digital libraries
data collections
database
metadata
data warehouse
formal language
aggregate data
heterogeneous collections
real time
automated deduction