Distance semantics for database repair

Annals of Mathematics and Artificial Intelligence

Volumn 50, Issue 3-4, 2007, Pages 389-415

  Arieli, Ofer ^a   Denecker, Marc ^b   Bruynooghe, Maurice ^b  

^a ACADEMIC COLLEGE OF TEL AVIV YAFFO   (Israel)

^b UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

Database repair; Distance semantics; Reasoning with inconsistency

Indexed keywords

EID: 34548267753     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10472-007-9074-1     Document Type: Conference Paper

References (49)

1. Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. PODS'99, pp. 68-79. ACM Press (1999)
2. Arenas,M., Bertossi, L., Chomicki, J.: Answer sets for consistent query answering in inconsistent databases. Theory Pract. Log. Program. 3(4-5), 393-424 (2003)
3. Arieli, O., Denecker, M., Bruynooghe, M.: Distance-based repairs of databasese. In: Fisher, M. et al. (ed.) Proc. JELIA'06. LNAI, vol. 4160, pp. 43-55. Springer (2006)
4. Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Coherent integration of databases by abductive logic programming. Artif. Intell. Rev. 21, 245-286 (2004)
5. Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Computational methods for database repair by signed formulae. Ann. Math. Artif. Intell. 46(1-2), 4-37 (2006)
6. Bertossi, L.: Consistent query answering in databases. SIGMOD Rec. 35(2), 68-76 (2006)
7. Bertossi, L.: Some research directions in consistent query answering: a vision. In: Chomicki, J., Wijsen, J. (eds.) Pre-proceedings of the EDBT'06 Workshop on Inconsistency and Incompleteness in Databases, pp. 109-113 (2006)
8. Bertossi, L., Bravo, L., Franconi, E., Lopatenko, A.: Complexity and approximation of fixing numerical attributes in databases under integrity constraints. In: Proc. DBLP'05. LNCS, vol. 3774, pp. 262-278. Springer (2005)
9. Bertossi, L., Chomicki, J., Cortés, A., Gutierrez, C.: Consistent answers from integrated data sources. In: Proc. FQAS'2002. LNCS, vol. 2522, pp. 71-85. Springer (2002)
10. Bertossi, L., Schwind, C.: Database repairs and analytic tableau. Ann. Math. Artif. Intell. 40(1-2), 5-35 (2004)
11. Cali, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. PODS'03, pp. 260-271. ACM Press (2003)
12. Chomicki, J.: Consistent query answering: Five easy pieces. In: Proc. ICDT'07. LNCS, vol. 4353, pp. 1-17. Springer (2007)
13. Chomicki, J., Marchinkowski, J.: On the computational complexity of minimal-change integrity maintenance in relational databases. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 119-150. Springer (2004)
14. Chomicki, J., Marchinkowski, J.: Minimal-change integrity maintenance using tuple deletion. Inf. Comput. 197(1-2), 90-121 (2005)
15. Chomicki, J., Marchinkowski, J., Staworko, S.: Computing consistent query answers using conflict hypergraphs. In: Proc. CIKM'04, pp. 417-426 (2004)
16. Dalal, M.: Investigations into a theory of knowledge base revision. In: Proc. AAAI'88, pp. 475-479. AAAI Press (1988)
17. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374-425 (2001)
18. de Amo, S., Carnielli, W.A., Marcos, J.: A logical framework for integrating inconsistent information in multiple databases. In: Proc. FoIKS'02. LNCS, vol. 2284, pp. 67-84. Springer (2002)
19. Delgrande, J.: Preliminary considerations on the modelling of belief change operators by metric spaces. In: Proc. NMR'04, pp. 118-125 (2004)
20. Dieudonné, J. (ed.): Foundations of Modern Analysis. Academic Press (1969)
21. Eiter, T.: Data integration and answer set programming. In: Proc. LPNMR'05. LNCS, vol. 3662, pp. 13-25. Springer (2005)
22. Eiter, T., Mannila, H.: Distance measure for point sets and their computation. Acta Inform. 34, 109-133 (1997)
23. Fazzinga, B., Flesca, S., Furfaro, F., Parisi, F.: DART: a data acquisition and repairing tool. In: Grust, T. et al. (ed.) Current Trends in Database Technology - Proc. of the EDBT'06 Workshops. LNCS, vol. 4254, pp. 297-317. Springer (2006)
24. Flesca, S., Furfaro, F., Parisi, F.: Consistent query answers on numerical databases under aggregate constraints. In: Proc. DBLP'05. LNCS, vol. 3774, pp. 279-294. Springer (2005)
25. Franconi, E., Palma, A.L., Leone, N., Perri, D., Scarcello, F.: Census data repair: A challenging application of disjunctive logic programming. In: Proc. LPAR'01. LNCS, vol. 2250, pp. 561-578. Springer (2001)
26. Greco, G., Greco, S., Zumpano, E.: A logic programming approach to the integration, repairing and querying of inconsistent databases. In: Proc. ICLP'01. LNCS, vol. 2237, pp. 348-363. Springer (2001)
27. Greco, S., Zumpano, E.:Querying inconsistent databases. In: Proc. LPAR'2000. LNAI, vol. 1955, pp. 308-325. Springer (2000)
28. Grove, A.: Two modellings for theory change. J. Philos. Logic 17, 157-180 (1988)
29. Konieczny, S., Lang, J., Marquis, P.: Distance-based merging: a general framework and some complexity results. In: Proc KR'02, pp. 97-108. Morgan Kaufmann (2002)
30. Konieczny, S., Pino Pérez, R.: Merging information under constraints: a logical framework. Log. Comput. 12(5), 773-808 (2002)
31. Lehmann, D., Magidor, M., Schlechta, K.: Distance semantics for belief revision. J. Symb. Log. 66(1), 295-317 (2001)
32. Lenzerini, M.: Data integration: a theoretical perspective. In: Proc. PODS'02, pp. 233-246. ACM Press (2002)
33. Leone, N., Eiter, T., Faber, W., Fink, M., Gottlob, G., Greco, G.: Boosting information integration: the INFOMIX system. In: Proc. SEBD'05, pp. 55-66 (2005)
34. Levy, A., Rajaraman, A., Ordille J.J.: Querying heterogeneous information sources using source descriptions. In: Proc. VLDB-96, pp. 251-262. Morgan Kaufmann (1996)
35. Liberatore, P., Schaerf, M.: BReLS: a system for the integration of knowledge bases. In: Proc. KR'2000, pp. 145-152. Morgan Kaufmann (2000)
36. Lopatenko, A., Bertossi, L.: Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. An extended version of [37]; Corr Archiv paper cs.DB/0604002.
37. Lopatenko, A., Bertossi, L.: Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. In: Proc. ICDT'07. LNCS, vol. 4353, pp. 179-193. Springer (2007)
38. Nienhuys-Cheng, S.H.: Distance between Herbrand interpretations: a measure for approximations to a target concept. In: Proc. ILP'97. LNCS, vol. 1297, pp. 213-226. Springer (1997)
39. Peppas, P., Chopra, S., Foo, N.: Distance semantics for relevance-sensitive belief revision. In: Proc. KR'04, pp. 319-328. AAAI Press (2004)
40. Ramon, J.: Clustering and instance based learning in first order logic. Ph.D. thesis, K. U. Leuven. (2002)
41. Ramon, J., Bruynooghe, M.: A polynomial time computable metric between point sets. Acta Inform. 37(10), 765-780 (2001)
42. Reiter, R.: On closed world databases. In: Logic and Databases, pp. 55-76. Plenum Press (1978)
43. Reiter, R.: Towards a logical reconstruction of relational database theory. In: On Conceptual Modelling (Intervale), pp. 191-233 (1982)
44. Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Belief Change and Statistics, vol. II, pp. 105-134. Kluwer (1988)
45. Ullman, J.: Information integration using logical views. Theor. Comp. Sci. 239(2), 189-210 (2000)
46. Wijsen, J.: Making more out of an inconsistent database. In: Proc. ADBIS'04. LNCS, vol. 3255, pp. 291-305. Springer (2004)
47. Wijsen, J.: Database repairing using updates. ACM Trans. Database Syst. 30(3), 722-768 (2005)
48. Wijsen, J.: A note on database repairing by value modification. In: Chomicki, J., Wijsen, J. (eds.) Pre-proceedings of the EDBT'06 Workshop on Inconsistency and Incompleteness in Databases, pp. 104-107 (2006)
49. Winslett, M.: Reasoning about action using a possible models approach. In: Proc. AAAI'88, pp. 89-93. AAAI press (1988)