D5.1 Methods and
techniques for query answering
Short Description:
In this document, we investigate techniques, methods and complexity of
query answering in the INFOMIX framework. More precisely, we provide
algorithms for computing answers to user queries in the presence of the
different forms of integrity constraints allowed on the global schema
of the Information Integration Model (IIM), under different semantics
that allow to deal with incomplete and inconsistent data sources.
Furthermore, we establish the computational complexity of the query
answering problem in the IIM. Results presented in this document
complete the study on query answering that we have already faced in
deliverable D3.1, where cases in which the problem is undecidable have
been addressed, and D3.3, where also complexity lower bounds have been
provided.