Hippo: A System for Computing Consistent Answers to a Class of SQL Queries

  • Jan Chomicki
  • Jerzy Marcinkowski
  • Slawomir Staworko
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2992)


Integrity constraints express important properties of data, but the task of preserving data consistency is becoming increasingly problematic with new database applications. For example, in the case of integration of several data sources, even if the sources are separately consistent, the integrated data can violate the integrity constraints. The traditional approach, removing the conflicting data, is not a good option because the sources can be autonomous. Another scenario is a long-running activity where consistency can be violated only temporarily and future updates will restore it. Finally, data consistency may be neglected because of efficiency or other reasons.


Logic Program Integrity Constraint Input Query Database Instance Membership Query 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arenas, M., Bertossi, L., Chomicki, J.: Consistent Query Answers in Inconsistent Databases. In: ACM Symposium on Principles of Database Systems (PODS), pp. 68–79 (1999)Google Scholar
  2. 2.
    Arenas, M., Bertossi, L., Chomicki, J.: Answer Sets for Consistent Query Answering in Inconsistent Databases. Theory and Practice of Logic Programming 3(4-5), 393–424 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Arenas, M., Bertossi, L., Chomicki, J., He, X., Raghavan, V., Spinrad, J.: Scalar Aggregation in Inconsistent Databases. Theoretical Computer Science 296(3), 405–434 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Barcelo, P., Bertossi, L.: Logic Programs for Querying Inconsistent Databases. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 208–222. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  5. 5.
    Bertossi, L., Chomicki, J.: Query Answering in Inconsistent Databases. In: Chomicki, J., van der Meyden, R., Saake, G. (eds.) Logics for Emerging Applications of Databases, Springer, Heidelberg (2003)Google Scholar
  6. 6.
    Chomicki, J., Marcinkowski, J.: Minimal-Change Integrity Maintenance Using Tuple Deletions. Technical Report cs.DB/0212004, e-Print archive (December 2002) (under journal submission)
  7. 7.
    Chomicki, J., Marcinkowski, J., Staworko, S.: Computing Consistent Query Answers Using Conflict Hypergraphs (in preparation)Google Scholar
  8. 8.
    Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-Solving in DLV. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 79–103. Kluwer, Dordrecht (2000)Google Scholar
  9. 9.
    Greco, G., Greco, S., Zumpano, E.: A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE Transactions on Knowledge and Data Engineering 15(6), 1389–1408 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Jan Chomicki
    • 1
  • Jerzy Marcinkowski
    • 2
  • Slawomir Staworko
    • 1
  1. 1.Dept. Computer Science and EngineeringUniversity at Buffalo 
  2. 2.Instytut InformatykiWroclaw UniwersityPoland

Personalised recommendations