Advertisement

Querying and Repairing Inconsistent Databases Under Three-Valued Semantics

  • Sergio Greco
  • Cristian Molinaro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4670)

Abstract

The problem of managing and querying inconsistent databases has been deeply investigated in the last few years. As, in the general case, the problem of consistent query answering is hard, most of the techniques so far proposed have an exponential complexity. Moreover, polynomial techniques have been proposed only for restricted forms of constraints (e.g. functional dependencies) and queries.

In this paper we present a technique which allows us to compute “approximated” consistent answers in polynomial time, for general constraints and queries. The paper presents a three-valued semantics for constraint satisfaction, called deterministic, and considers three valued databases. Thus, a repaired database is a database where atoms may be either true or undefined (whereas missing atoms are false) that satisfies constraints under the deterministic three valued semantics. We show that in querying possibly inconsistent databases the answer is safe (true and false atoms in the answers are, respectively, true and false under the classical two-valued semantics) and the answers can be computed in polynomial time. We also show that deterministic answers can be computed by rewriting constraints into logic programs.

Keywords

Logic Program Integrity Constraint Predicate Symbol Consistent Answer Datalog Program 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1994)Google Scholar
  2. 2.
    Andritsos, P., Fuxman, A., Miller, R.: Clean Answers over Dirty Databases. In: ICDE (2006)Google Scholar
  3. 3.
    Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. PODS, pp. 68–79 (1999)Google Scholar
  4. 4.
    Arenas, M., Bertossi, L., Chomicki, J.: Answer Sets for Consistent Query Answering in Inconsistent Databases. TPLP 3(45), 393–424 (2003)zbMATHGoogle Scholar
  5. 5.
    Bertossi, L.: Consistent Query Answering in Databases. SIGMOD Rec., 35(2) (2006)Google Scholar
  6. 6.
    Cali, A., Lembo, D., Rosati, R.: On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases. In: PODS, pp. 260–271 (2003)Google Scholar
  7. 7.
    Caroprese, L., Greco, S., Sirangelo, S., Zumpano, E.: Declarative Semantics of Production Rules for Integrity Maintenance. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 26–40. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  8. 8.
    Chomicki, J., Lobo, J., Naqvi, S.A.: Conflict resolution using logic programming. IEEE TKDE 15(1), 244–249 (2003)Google Scholar
  9. 9.
    Chomicki, J., Marcinkowski, J.: Minimal-change integrity maintenance using tuple deletions. Information & Computation 197(1-2), 90–121 (2005)zbMATHCrossRefGoogle Scholar
  10. 10.
    Chomicki, J.: Consistent Query Answering: Five Easy Pieces. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 1–17. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Corts-Calabuig, A., Denecker, M., Arieli, O., Bruynooghe, M.: Representation of Partial Knowledge and Query Answering in Locally Complete Databases. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246, Springer, Heidelberg (2006)Google Scholar
  12. 12.
    Flesca, S., Furfaro, F., Parisi, F.: Consistent Query Answers on Numerical Databases under Aggregate Constraints. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol. 3774, pp. 279–294. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Fuxman, A., Miller, R.J.: First-Order Query Rewriting for Inconsistent Databases. In: Eiter, T., Libkin, L. (eds.) ICDT 2005. LNCS, vol. 3363, pp. 337–351. Springer, Heidelberg (2004)Google Scholar
  14. 14.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. ICLP, pp. 1070–1080 (1988)Google Scholar
  15. 15.
    Greco, G., Zumpano, E.: Querying Inconsistent Databases. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol. 1955, pp. 308–325. Springer, Heidelberg (2000)Google Scholar
  16. 16.
    Greco, G., Greco, S., Zumpano, E.: A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE TKDE 15(6), 1389–1408 (2003)Google Scholar
  17. 17.
    Greco, S., Sirangelo, C., Trubitsyna, I., Zumpano, E.: Preferred Repairs for Inconsistent Databases. In: Galindo, F., Takizawa, M., Traunmüller, R. (eds.) DEXA 2004. LNCS, vol. 3180, pp. 44–55. Springer, Heidelberg (2004)Google Scholar
  18. 18.
    Leone, N., Pfeifer, G., Faber, W., Calimeri, F., Dell’Armi, T., Eiter, T., Gottlob, G., Ianni, G., Ielpa, G., Koch, K., Perri, S., Polleres, A.: The dlv System. Jelia (2002)Google Scholar
  19. 19.
    Rao, P., Sagonas, K.F., Swift, T., Warren, D.S., Freire, J.: XSB: A System for Effciently Computing WFS. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 431–441. Springer, Heidelberg (1997)Google Scholar
  20. 20.
    Sagonas, K.F., Swift, T., Warren, D.S.: An abstract machine for efficiently computing queries to well-founded models. J. of Logic Programm. 45(1-3), 1–41 (2000)zbMATHCrossRefGoogle Scholar
  21. 21.
    Syrjänen, T., Niemelä, I.: The Smodels System. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 434–438. Springer, Heidelberg (2001)Google Scholar
  22. 22.
    Subrahmanian, V.S.: Amalgamating knowledge bases. ACM TKDE 19(2), 291–331 (1994)CrossRefGoogle Scholar
  23. 23.
    Wijsen, J.: Database repairing using updates. ACM TODS 30(3), 722–768 (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Sergio Greco
    • 1
  • Cristian Molinaro
    • 1
  1. 1.DEIS, Univ. della Calabria, 87030 RendeItaly

Personalised recommendations