Minimal-change integrity maintenance using tuple deletions

Information and Computation

Volumn 197, Issue 1-2, 2005, Pages 90-121

  Chomicki, Jan ^a   Marcinkowski, Jerzy ^b  

^a the State University of New York   (United States)

^b UNIVERSITY OF WROC AW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONFORMAL MAPPING; INFORMATION ANALYSIS; LOGIC PROGRAMMING; QUERY LANGUAGES; SEMANTICS; THEOREM PROVING;

DATA SEMANTICS; INCONSISTENCY; MINIMAL-CHANGE INTEGRITY MAINTENANCE; PRINCIPLES OF DATABASE SYSTEMS (PODS);

RELATIONAL DATABASE SYSTEMS;

EID: 14744293228     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ic.2004.04.007     Document Type: Article

References (59)

1. S. Abiteboul, R. Hull, and V. Vianu Foundations of databases 1995 Addison-Wesley Reading, MA
2. S. Agarwal, A.M. Keller, G. Wiederhold, K. Saraswat, Flexible relation: an approach for integrating data from multiple, possibly inconsistent databases, in: IEEE International Conference on Data Engineering (ICDE), 1995, pp. 495-504
3. M. Arenas, L. Bertossi, J. Chomicki, Consistent query answers in inconsistent databases, in: ACM Symposium on Principles of Database Systems (PODS), 1999, pp. 68-79
4. M. Arenas, L. Bertossi, and J. Chomicki Specifying and querying database repairs using logic programs with exceptions International conference on flexible query answering systems (FQAS) 2000 Springer-Verlag Berlin 27 41
5. M. Arenas, L. Bertossi, and J. Chomicki Scalar aggregation in FD-inconsistent databases International conference on database theory (ICDT) LNCS vol. 1973 2001 Springer-Verlag Berlin 39 53
6. M. Arenas, L. Bertossi, and J. Chomicki Answer sets for consistent query answering in inconsistent databases Theory and Practice of Logic Programming 3 4-5 2003 393 424
7. M. Arenas, L. Bertossi, J. Chomicki, X. He, V. Raghavan, and J. Spinrad Scalar aggregation in inconsistent databases Theoretical Computer Science 296 3 2003 405 434
8. M. Arenas, L. Bertossi, and M. Kifer Applications of annotated predicate calculus to querying inconsistent databases International conference on computational logic LNCS vol. 1861 2000 Springer-Verlag Berlin 926 941
9. C. Baral, S. Kraus, J. Minker, and V.S. Subrahmanian Combining knowledge bases consisting of first-order theories Computational Intelligence 8 1992 45 71
10. P. Barcelo, L. Bertossi, Repairing databases with annotated predicate logic, in: S. Benferhat, E. Giunchiglia (Eds.), Ninth International Workshop on Non-Monotonic Reasoning (NMR02), Special Session: Changing and Integrating Information: From Theory to Practice, 2002, pp. 160-170
11. P. Barcelo, and L. Bertossi Logic programs for querying inconsistent databases International symposium on practical aspects of declarative languages (PADL) LNCS vol. 2562 2003 Springer-Verlag Berlin 208 222
12. L. Bertossi, and J. Chomicki Query answering in inconsistent databases J. Chomicki R. van der Meyden G. Saake Logics for emerging applications of databases 2003 Springer-Verlag Berlin 43 83
13. L. Bertossi, J. Chomicki, A. Cortes, C. Gutierrez, Consistent answers from integrated data sources, in: International Conference on Flexible Query Answering Systems (FQAS), Copenhagen, Denmark, October 2002, Springer-Verlag, Berlin, pp. 71-85
14. L. Bravo, L. Bertossi, Logic programs for consistently querying data integration systems, in: International Joint Conference on Artificial Intelligence (IJCAI), 2003, pp. 10-15
15. F. Bry Query answering in information systems with integrity constraints IFIP WG 11.5 working conference on integrity and control in information systems 1997 Chapman and Hall London 113 130
16. P. Buneman, S. Davidson, W. Fan, C. Hara, and W. Tan Keys for XML Computer Networks 39 5 2002 473 487
17. A. Calí, D. Lembo, R. Rosati, On the decidability and complexity of query answering over inconsistent and incomplete databases, in: ACM Symposium on Principles of Database Systems (PODS), 2003, pp. 260-271
18. A. Calí, D. Lembo, R. Rosati, Query rewriting and answering under constraints in data integration systems, in: International Joint Conference on Artificial Intelligence (IJCAI), 2003, pp. 16-21
19. A. Celle, and L. Bertossi Querying inconsistent databases: algorithms and implementation International conference on computational logic LNCS vol. 1861 2000 Springer-Verlag Berlin 942 956
20. A. Chandra, P. Merlin, Optimal implementation of conjunctive queries in relational databases, in: ACM SIGACT Symposium on the Theory of Computing (STOC), 1977, pp. 77-90
21. A.K. Chandra, and D. Harel Computable queries for relational databases Journal of Computer and System Sciences 21 1980 156 178
22. J. Chomicki, J. Marcinkowski, On the computational complexity of consistent query answers, Technical Report, April 2002. Available from: < arXiv:cs.DB/0204010, arXiv.org e-Print archive>
23. J. Chomicki, J. Marcinkowski, On the computational complexity of minimal-change integrity maintenance in relational databases, in: L. Bertossi, A. Hunter, T. Schaub (Eds.), Inconsistency Tolerance, Springer-Verlag, Berlin, 2005
24. J. Chomicki, J. Marcinkowski, S. Staworko, Computing consistent query answers using conflict hypergraphs, in: International Conference on Information and Knowledge Management (CIKM), ACM Press, 2004. Short version in IIWeb'04
25. T. Chou, and M. Winslett A model-based belief revision system Journal of Automated Reasoning 12 1994 157 208
26. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov Complexity and expressive power of logic programming ACM Computing Surveys 33 3 2001 374 425
27. C.J. Date, Referential integrity, in: International Conference on Very Large Data Bases (VLDB), 1981, pp. 2-12
28. P.M. Dung Integrating data from possibly inconsistent databases International conference on cooperative information systems (COOPIS), brussels, belgium 1996 IEEE Press 58 65
29. O.M. Duschka, M.R. Genesereth, and A.Y. Levy Recursive query plans for data integration Journal of Logic Programming 43 1 2000 49 73
30. T. Eiter, M. Fink, G. Greco, D. Lembo, Efficient evaluation of logic programs for querying data integration systems, in: International Conference on Logic Programming (ICLP), 2003, pp. 163-177
31. T. Eiter, and G. Gottlob On the complexity of propositional knowledge base revision, updates, and counterfactuals Artificial Intelligence 57 2-3 1992 227 270
32. W. Fan, G. Kuper, and J. Simeon A unified constraint model for XML Computer Networks 39 5 2002 489 505
33. W. Fan, and J. Simeon Integrity constraints for XML Journal of Computer and System Sciences 66 1 2003 254 291
34. A. Fuxman, R. Miller, Towards inconsistency management in data integration systems, in: IJCAI-03 Workshop on Information Integration on the Web (IIWeb-03), 2003
35. P. Gärdenfors, H. Rott, Belief revision, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, Oxford University Press, Oxford, 1995, pp. 35-132
36. F. Giannotti, S. Greco, D. Saccà, and C. Zaniolo Programming with non-determinism in deductive databases Annals of Mathematics and Artificial Intelligence 19 3-4 1997
37. F. Giannotti, and D. Pedreschi Datalog with non-deterministic choice computes NDB-PTIME Journal of Logic Programming 35 1998 75 101
38. G. Greco, S. Greco, and E. Zumpano A logic programming approach to the integration, repairing and querying of inconsistent databases International conference on logic programming (ICLP) LNCS vol. 2237 2001 Springer-Verlag Berlin 348 364
39. G. Greco, S. Greco, and E. Zumpano A logical framework for querying and repairing inconsistent databases IEEE Transactions on Knowledge and Data Engineering 15 6 2003 1389 1408
40. P International conference on database theory (ICDT) 1995 Springer-Verlag Berlin 82 96
41. S. Greco, and E. Zumpano Querying inconsistent databases International conference on logic for programming, artificial intelligence, and reasoning (LPAR) LNCS vol. 1955 2000 Springer-Verlag Berlin 308 325
42. A.Y. Halevy Answering queries using views: a survey VLDB Journal 10 4 2001 270 294
43. T. Imieliński, S. Naqvi, K. Vadaparty, Incomplete objects - a data model for design and planning applications, in: ACM SIGMOD International Conference on Management of Data, Denver, Colorado, May 1991, pp. 288-297
44. T. Imieliński, R. van der Meyden, and K. Vadaparty Complexity tailored design: a new design methodology for databases with incomplete information Journal of Computer and System Sciences 51 3 1995 405 432
45. P.C. Kanellakis Elements of relational database theory Jan van Leeuwen Handbook of theoretical computer science vol. B 1990 Elsevier/MIT Press 1073 1158 Chapter 17
46. D. Lembo, M. Lenzerini, R. Rosati, Source inconsistency and incompleteness in data integration, in: 9th International Workshop on Knowledge Representation meets Databases (KRDB'02), Toulouse, France, 2002
47. M. Lenzerini, Data integration: a theoretical perspective, in: ACM Symposium on Principles of Database Systems (PODS), 2002, pp. 233-246, Invited talk
48. J. Lin, and A.O. Mendelzon Merging databases under constraints International Journal of Cooperative Information Systems 7 1 1996 55 76
49. B. Ludäscher, W. May, G. Lausen, Referential actions as logical rules, in: ACM Symposium on Principles of Database Systems (PODS), 1997, pp. 217-227
50. H. Mannila, and K.-J. Räihä The design of relational databases 1992 Addison-Wesley Reading, MA
51. V.M. Markowitz, and J.A. Makowsky Identifying extended entity-relationship object structures in relational schemas IEEE Transactions on Software Engineering 16 8 1990 777 790
52. W. May, and B. Ludäscher Understanding the global semantics of referential actions using logic rules ACM Transactions on Database Systems 27 4 2002 343 397
53. J. Melton, and A.R. Simon SQL:1999 understanding relational language components 2002 Morgan Kaufmann
54. R. van der Meyden Logical approaches to incomplete information: a survey J. Chomicki G. Saake Logics for databases and information systems 1998 Kluwer Academic Publishers Boston 307 356 Chapter 10
55. D. Van Nieuwenborgh, and D. Vermeir Preferred answer sets for ordered logic programs European conference on logics for artificial intelligence (JELIA) LNAI vol. 2424 2002 Springer-Verlag Berlin 432 443
56. M.Y. Vardi, The Complexity of relational query languages, in: ACM Symposium on Theory of Computing (STOC), 1982, pp. 137-146
57. J. Wijsen Condensed representation of database repairs for consistent query answering International conference on database theory (ICDT) LNCS vol. 2572 2003 Springer-Verlag Berlin 378 393
58. J. Wijsen Making more out of an inconsistent database East-european conference on advances in databases and information systems (ADBIS) 2004 Springer Berlin
59. M. Winslett, Reasoning about action using a possible models approach, in: National Conference on Artificial Intelligence, 1988, pp. 79-83