D4.3
Optimization techniques for the internal integration formalism
Short Description:
The report presents the optimization methods and some smart algorithms
in order to efficiently support the highly expressive
computational-logic formalism, namely DLP-A , which is needed in
INFOMIX as the internal integration formalism for modelling the whole
process of query answering in data integration. Specifically, we try to
overcome the deficiencies of scalability with current implementa- tions
of stable model engines, by designing a strategy for query answering
which avoid useless computations, by modifying the original program
with certain rules, acting as filters for the relevant information
needed for the processing. The technique is the most general appeared
so far in the literature, since it applies to any disjunctive datalog
program, even enriched with constraints, general unstratified negation
and aggregate functions, thus, fully supporting all the features of
DLP-A .