The consistency extractor system: Answer set programs for consistent query answering in databases

Data and Knowledge Engineering

Volumn 69, Issue 6, 2010, Pages 545-572

  Caniupán, Monica ^a   Bertossi, Leopoldo ^b  

^a UNIVERSIDAD DEL BÍO BÍO   (Chile)

^b CARLETON UNIVERSITY   (Canada)

Author keywords

Answer set programs; Databases; Inconsistency; Integrity constraints

Indexed keywords

ANSWER SET; CONSISTENT QUERY ANSWERING; DATALOG; DISJUNCTIVE LOGIC PROGRAMS; EFFICIENT QUERY EVALUATION; INTEGRITY CONSTRAINTS; MAGIC SETS; QUERY ANSWERING; RELATIONAL DATABASE; SET PROGRAMMING; STABLE MODEL;

LOGIC PROGRAMMING; QUALITY ASSURANCE;

DATABASE SYSTEMS;

EID: 77951096409     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2010.01.005     Document Type: Article

References (60)

1. S. Abiteboul, O. Duschka, Complexity of answering queries using materialized views, in: Proceedings of the ACM Symposium on Principles of Database Systems (PODS'98), 1998, pp. 254-263.
2. F. Afrati, P. Kolaitis, Repair checking in inconsistent databases: algorithms and complexity, in: Proceedings of the International Conference on Database Theory (ICDT'09), 2009, pp. 31-41.
3. K.R. Apt, H.A. Blair, A. Walker, Towards a theory of declarative knowledge, 1988, Ch. Foundations of Deductive Databases and Logic Programming, pp. 89-148.
4. M. Arenas, L. Bertossi, J. Chomicki, Consistent query answers in inconsistent databases, in: Proceedings of the ACM Symposium on Principles of Database Systems (PODS'99), 1999, pp. 68-79.
5. Arenas M., Bertossi L., and Chomicki J. Answer sets for consistent query answering in inconsistent databases. Theory and Practice of Logic Programming 3 4-5 (2003) 393-424
6. F. Bancilhon, D. Maier, Y. Sagiv, J.D. Ullman, Magic sets and other strange ways to implement logic programs (extended abstract), in: Proceedings of the ACM Symposium on Principles of Database Systems (PODS'86), 1986, pp. 1-15.
7. C. Beeri, R. Ramakrishnan, On the power of magic, in: Proceedings of the ACM Symposium on Principles of Database Systems (PODS'87), 1987, pp. 269-284.
8. Barceló P., and Bertossi L. Logic Programs for Querying Inconsistent Databases. Proceedings of the International Symposium on Practical Aspects of Declarative Languages (PADL'03) vol. 2562 (2003), Springer LNCS 208-222
9. Barceló P., Bertossi L., and Bravo L. Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets. Semantics in Databases vol. 2582 (2003), Springer LNCS 1-27
10. Bertossi L., and Chomicki J. Logics for Emerging Applications of Databases (2003), Springer Ch. Query Answering in Inconsistent Databases, pp. 43-83
11. Bertossi L., Bravo L., Franconi E., and Lopatenko A. Complexity and approximation of fixing numerical attributes in databases under integrity constraints. Proceedings of the International Symposium on Database Programming Languages (DBPL'05) vol. 3774 (2005), Springer LNCS 262-278
12. Bertossi L. Consistent query answering in databases. ACM Sigmod Record (database principles column) 2 35 (2006) 68-76
13. L. Bertossi, L. Bravo, M. Caniupan, Consistent Query Answering in Data Warehouses, in: Proceedings of the III Alberto Mendelzon International Workshop on Foundations of Data Management (AMW'09), vol. 450, 2009, Arequipa, Peru.
14. P. Bohannon, W. Fan, M. Flaster, R. Rastogi, A cost-based model and effective heuristic for repairing constraints by value modification, in: Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD'05), 2005, pp. 143-154.
15. L. Bravo, L. Bertossi, Consistent query answering under inclusion dependencies, in: H. Lutfiyya, J. Singer, D.A. Stewart (Eds.), 14th Annual IBM Centers for Advanced Studies Conference (CASCON'04), IBM, 2004, pp. 202-216.
16. Bravo L., and Bertossi L. Semantically correct query answers in the presence of null values. Proceedings of the EDBT WS on Inconsistency and Incompleteness in Databases (IIDB'06) vol. 4254 (2006), Springer LNCS 336-357
17. L. Bravo, Handling Inconsistency in Databases and Data Integration Systems, Ph.D. thesis, Carleton University (2007). .
18. Brewka G. Preferences in answer set programming. Current Topics in Artificial Intelligence vol. 4177 (2006), Springer LNCS 1-10
19. A. Cali, D. Lembo, R. Rosati, On the decidability and complexity of query answering over inconsistent and incomplete databases, in: Proceedings of the ACM Symposium on Principles of Database Systems (PODS'03), 2003, pp. 260-271.
20. A. Cali, G. Gottlob, T. Lukasiewicz, A general datalog-based framework for tractable query answering over ontologies, in: Proceedings of the ACM Symposium on Principles of Database Systems (PODS'09), 2009, pp. 77-86.
21. Caniupan M., and Bertossi L. Optimizing repair programs for consistent query answering. Proceedings of the XXV International Conference on The Chilean Computer Science Society (SCCC'05) (2005), IEEE Computer Society 3-12
22. Caniupan M., and Bertossi L. The consistency extractor system: querying inconsistent databases using answer set programs. Proceedings of the International Conference on Scalable Uncertainty Management (SUM'07) vol. 4774 (2007), Springer LNCS 74-88
23. M. Caniupan, Optimizing And Implementing Repair Programs for Consistent Query Answering In Databases, Ph.D. thesis, School of Computer Science, Carleton University, 2007. .
24. Caroprese L., Greco S., and Zumpano E. Ester, Active integrity constraints for database consistency maintenance. IEEE Transactions on Knowledge and Data Engineering 21 7 (2009) 1042-1058
25. Celle A., and Bertossi L. Querying inconsistent databases: algorithms and implementation. Proceedings of the International Conference on Computational Logic (CL'00) vol. 1861 (2000), Springer, LNAI 942-956
26. Ceri S., Gottlob G., and Tanca L. Logic Programming and Databases (1990), Springer-Verlag New York, Inc., New York, NY, USA
27. Chomicki J., and Marcinkowski J. Minimal-change integrity maintenance using tuple deletions. Information and Computation 197 1-2 (2005) 90-121
28. Chomicki J. Consistent query answering: five easy pieces. Proceedings of the International Conference on Database Theory (ICDT'07) vol. 4353 (2007), Springer LNCS 1-17
29. Cumbo C., Faber W., Greco G., and Leone N. Enhancing the magic-set method for disjunctive datalog programs. Proceedings of the 20th International Conference on Logic Programming (ICLP'04) vol. 3132 (2004), Springer LNCS 371-385
30. Dantsin E., Eiter T., Gottlob G., and Voronkov A. Complexity and expressive power of logic programming. ACM Computing Surveys 33 3 (2001) 374-425
31. Eiter T., and Gottlob G. On the computational cost of disjunctive logic programming: propositional case. Journal Annals of Mathematics and Artificial Intelligence 15 3-4 (1995) 257-456
32. Eiter T., Fink M., Greco G., and Lembo D. Efficient evaluation of logic programs for querying data integration systems. Proceedings of the International Conference on Logic Programming (ICLP'03) vol. 2916 (2003), Springer LNCS 163-177
33. Eiter T., Faber W., Leone N., and Pfeifer G. Computing preferred answer sets by meta-interpretation in answer set programming. Theory and Practice of Logic Programs 3 4-5 (2003) 463-498
34. Eiter T., Gottlob G., and Mannila H. Disjunctive datalog. ACM Transactions on Database Systems 22 3 (1997) 364-418
35. Faber W., Greco G., and Leone N. Magic sets and their application to data integration. Journal of Computer and System Sciences 73 4 (2007) 584-609
36. Fagin R., Kolaitis P., Miller R., and Popa L. Data exchange: semantics and query answering. Theoretical Computer Science Volume 336 1 (2005) 89-124
37. Franconi E., Laureti-Palma A., Leone N., Perri S., and Scarcello F. Census data repair: a challenging application of disjunctive logic programming. Proceedings of the International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'01) vol. 2250 (2001), Springer LNCS 561-578
38. A. Fuxman, E. Fazli, R.J. Miller, ConQuer: efficient management of inconsistent databases, in: Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD'05), 2005, pp. 155-166.
39. Fuxman A., and Miller R.J. First-order query rewriting for inconsistent databases. Journal of Computer and System Sciences 73 4 (2007) 610-635
40. Gelfond M., and Lifschitz V. Classical negation in logic programs and disjunctive databases. New Generation Computing 9 3/4 (1991) 365-386
41. Gelfond M., and Leone N. Logic programming and knowledge representation: the a-prolog perspective. Artificial Intelligence 138 1-2 (2002) 3-38
42. Greco S. Binding propagation techniques for the optimization of bound disjunctive queries. IEEE Transactions on Knowledge and Data Engineering 15 2 (2003) 368-385
43. Greco G., Greco S., and Zumpano E. A logical framework for querying and repairing inconsistent databases. IEEE Transactions on Knowledge and Data Engineering 15 6 (2003) 1389-1408
44. Greco G., Greco S., Trubitsyna I., and Zumpano E. Optimization of bound disjunctive queries with constraints. Theory Pract. Log. Program. 5 6 (2005) 713-745
45. S. Kolahi, L.V.S. Lakshmanan, On approximating optimum repairs for functional dependency violations, in: Proceedings of the International Conference on Database Theory (ICDT'09), 2009, pp. 53-62.
46. Lembo D., Rosati R., and Ruzzi M. On the first-order reducibility of unions of conjunctive queries over inconsistent databases. Proceedings of Current Trends in Database Technology (EDBT'06) vol. 4254 (2006), Springer LNCS 358-374
47. Leone N., Pfeifer G., Faber W., Eiter T., Gottlob G., Koch C., Mateis C., Perri S., and Scarcello F. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7 3 (2006) 499-562
48. V. Lifschitz, H. Turner, Splitting a logic program, in: Proceedings of the International Conference on Logic Programming (ICLP'94), 1994, pp. 23-37.
49. Lloyd J.W. Foundations of Logic Programming (1987), Springer Verlag
50. Lopatenko A., and Bertossi L. Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. Proceedings of the International Conference of Database Theory (ICDT'07) vol. 4353 (2007), Springer LNCS 179-193
51. C. Molinaro, J. Chomicki, J. Marcinkowski, Disjunctive databases for representing repairs, Annals of Mathematics and Artificial Intelligence, preprint 0811.2117v1, in press.
52. T.C. Przymusinski, On the declarative semantics of deductive databases and logic programs, 1988, pp. 193-216.
53. Przymusinski T.C. Stable semantics for disjunctive programs. New Generation Computing 9 (1991) 401-424
54. Reiter R. Towards a logical reconstruction of relational database theory. In: Brodie M.L., Mylopoulos J., and Schmidt J.W. (Eds). On Conceptual Modelling (1984), Springer-Verlag 191-233
55. Ross K.A. Modular stratification and magic sets for datalog programs with negation. Journal of the ACM 41 6 (1994) 1216-1266
56. Staworko S., and Chomicki J. Consistent query answers in the presence of universal constraints. Information Systems 35 1 (2010) 1-22
57. S. Staworko, J. Chomicki, J. Marcinkowski, Prioritized repairing and consistent query answering in relational databases, Annals of Mathematics and Artificial Intelligence, preprint arXiv:0908.0464v1, in press.
58. Wijsen J. Condensed representation of database repairs for consistent query answering. Proceedings of the International Conference on Database Theory (ICDT'03) vol. 2572 (2003), Springer LNCS 378-393
59. Wijsen J. Database repairing using updates. ACM Transactions on Database Systems 30 3 (2005) 722-768
60. Wijsen J. On the consistent rewriting of conjunctive queries under primary key constraints. Information Systems 34 7 (2009) 578-601