D4.2 , Algorithms
and implementation techniques for the internal integration formalism
Short Description:
The report provides algorithms and implementation techniques exploited
in the in- ternal integration layer of the INFOMIX system. It mainly
presents extensions and optimizations of the DLV system which aim at
making it more suitable for data inte- gration contexts. In particular,
the report presents: (i) implementation techniques for handling
aggregate operators, (ii) a structure-based backjumping algorithm
allowing to improve efficiency of program instantiation, (iii) an
extension of DLV allowing to improve database interaction and efficient
data manipulation.