On the Decidability of Subtyping with Bounded Existential Types.

Stefan Wehr Peter Thiemann

Published in: APLAS (2009)

Keyphrases

query answering
multiresolution
real world
website
data streams
description logics
data integration
information retrieval
decision making
search algorithm
evolutionary algorithm
data exchange
schema mappings