New DLV Features for Data Integration [chapter]

Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer
2004 Lecture Notes in Computer Science  
The DLV system is currently employed in projects on data integration -a challenging application area for Answer Set Programming. The present system description illustrates some new optimization techniques, which significantly enhance the general performance of DLV, and especially in the context of data integration. This works was supported by the European Commission, under projects INFOMIX (IST-2001-33570), and WASP (IST-2001-37004). 1 Intuitively, a repair is a maximal consistent subset of the database.
doi:10.1007/978-3-540-30227-8_60 fatcat:p2qfoonmoncvlfp5elvybqjrzu