The consistency extractor system: Querying inconsistent databases using answer set programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4772 LNAI, Issue , 2007, Pages 74-88

  Caniupan, Monica ^a   Bertossi, Leopoldo ^b  

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

^b CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; CONSTRAINT THEORY; LOGIC PROGRAMMING; MATHEMATICAL MODELS; QUERY PROCESSING;

ANSWER SET PROGRAMS; CONSISTENCY EXTRACTOR SYSTEM (CONSEX);

RELATIONAL DATABASE SYSTEMS;

EID: 38149001486     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75410-7_6     Document Type: Conference Paper

References (29)

1. Arenas, M., Bertossi, L., Chomicki, J.: Consistent Query Answers in Inconsistent Databases. In: Proc. ACM Symposium on Principles of Database Systems (PODS 99), pp. 68-79. ACM Press, New York (1999)
2. Arenas, M., Bertossi, L., Chomicki, L.: Answer Sets for Consistent Query Answering in Inconsistent Databases. Theory and Practice of Logic Programming 3(4-5), 393-424 (2003)
3. 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)
4. Barcelo, P., Bertossi, L., Bravo, L.: Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) Semantics in Databases. LNCS, vol. 2582, pp. 1-27. Springer, Heidelberg (2003)
5. Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.: Magic Sets and Other Strange Ways to Implement Logic Programs (extended abstract). In: PODS 1986, pp. 1-15. ACM Press, New York (1986)
6. Bertossi, L., Chomicki, J.: Query Answering in Inconsistent Databases. In: Logics for Emerging Applications of Databases, pp. 43-83. Springer, Heidelberg (2003)
7. Bertossi, L.: Consistent Query Answering in Databases. ACM Sigmod Record 35(2), 68-76 (2006)
8. Bravo, L.: Handling Inconsistency in Databases and Data Integration Systems. PhD. Thesis, Carleton University, Department of Computer Science (2007), http://homepages.inf.ed.ac.uk/lbravo/Publications.htm
9. Bravo, L., Bertossi, L.: Consistent Query Answering under Inclusion Dependencies. In: CASCON 2004, pp. 202-216 (2004)
10. Bravo, L., Bertossi, L.: Semantically Correct Query Answers in the Presence of Null Values. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., Müller, S., Patranjan, P-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 33-47. Springer, Heidelberg (2006)
11. Cali, A., Lembo, D., Rosati, R.: On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases. In: PODS 2003, pp. 260-271. ACM Press, New York (2003)
12. Caniupan, M., Bertossi, L.: Optimizing Repair Programs for Consistent Query Answering. In: SCCC 2005, pp. 3-12. IEEE Computer Society Press, Los Alamitos (2005)
13. Caniupan, M.: Optimizing and Implementing Repair Programs for Consistent Query Answering in Databases. PhD. Thesis, Carleton University, Department of Computer Science (2007), http://www.face.ubiobio.cl/~imcaniupa/publications.htm
14. Celle, A., Bertossi, L.: Querying Inconsistent Databases: Algorithms and Implementation. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 942-956. Springer, Heidelberg (2000)
15. Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)
16. Chomicki, J., Marcinkowski, 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, Heidelberg (2005)
17. Chomicki, J., Marcinkowski, J., Staworko, S.: Computing Consistent Query Answers using Conflict Hypergraphs. In: CIKM 2004, pp. 417-426. ACM Press, New York (2004)
18. [ 18] Cumbo, C., Faber, W., Greco, G., Leone, N.: Enhancing the Magic-Set Method for Disjunctive Datalog Programs. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 371-385. Springer, Heidelberg (2004)
19. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM Computing Surveys 33(3), 374-425 (2001)
20. Eiter, T., Fink, M., Greco, G., Lembo, D.: Efficient Evaluation of Logic Programs for Querying Data Integration Systems. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 163-177. Springer, Heidelberg (2003)
21. Faber, W., Greco, G., Leone, N.: Magic Sets and their Application to Data Integration. Journal of Computer and System Sciences 73(4), 584-609 (2007)
22. Fuxman, A., Fazli, E., Miller, R.J.: ConQuer: Efficient Management of Inconsistent Databases. In: SIGMOD 2005, pp. 155-166. ACM Press, New York (2005)
23. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365-385 (1991)
24. Greco, S.: Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries. IEEE Transac. on Knowledge and Data Eng. 15(2), 368-385 (2003)
25. [251 Greco, G., Greco, S., Zumpano, E.: A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE Transactions on Knowledge and Data Eng. 15(6), 1389-1408 (2003)
26. Greco, G., Greco, S., Trubtsyna, I., Zumpano, E.: Optimization of Bound Disjunctive Queries with Constraints. Theory and Practice of Logic Programming 5(6), 713-745 (2005)
27. Lembo, D., Rosati, R., Ruzzi, M.: On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., Müller, S., Patranjan, P-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 358-374. Springer, Heidelberg (2006)
28. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Peni, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic 7(3), 499-562 (2006)
29. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)