References - Repairing and Querying Databases under Aggregate Constraints - page 57

In: Proc. 21 st ACM Symp. on 40. Lenzerini, M.: Data integration: A theoretical perspective.

Principles of Database Systems (PODS), pp. 233-246 (2002)
41. Leone, N., Faber, W.: The dlv project: A tour from theory and research to applications and
market. In: M.G. de la Banda, E. Pontelli (eds.) ICLP, Lecture Notes in Computer Science ,
vol. 5366, pp. 53-68. Springer (2008)
42. Lin, J., Mendelzon, A.O.: Merging databases under constraints. Int. J. Cooperative Inf. Syst.
7(1), 55-76 (1998)
43. Lopatenko, A., Bertossi, L.E.: Complexity of consistent query answering in databases under
cardinality-based and incremental repair semantics. In: Proc. 11 th Int. Conf. on Database

Theory (ICDT), pp. 179-193 (2007)
44. Papadimitriou, C.H.: On the complexity of integer programming. Journal of the Association
for Computing Machinery (JACM) Vol. 28((4)), 765-768 (1981)
45. Papadimitriou, C.M.: Computational complexity. Addison-Wesley, Reading, Massachusetts
(1994)
46. Ross, K.A., Srivastava, D., Stuckey, P.J., Sudarshan, S.: Foundations of aggregation con-
straints. Theor. Comput. Sci. (TCS) ((1-2)), 149-179 (1998)

47. Sakama, C., Inoue, K.: Prioritized logic programming and its application to commonsense
reasoning. Artif. Intell.

Vol. 193

(1-2), 185-222 (2000)
48. Wijsen, J.: Condensed representation of database repairs for consistent query answering. In:
Proc. 9 th Int. Conf. on Database Theory (ICDT), pp. 378-393 (2003)
49. Wijsen, J.: Making more out of an inconsistent database. In: Proc. 8 th East European Confer-
ence on Advances in Databases and Information Systems (ADBIS), pp. 291-305 (2004)
50. Wijsen, J.: Database repairing using updates. ACM Transactions on Database Systems
(TODS)

123

((3)), 722-768 (2005)
51. Wijsen, J.: Consistent query answering under primary keys: a characterization of tractable
queries. In: Proc. 12 th Int. Conf. on Database Theory (ICDT), pp. 42-52 (2009)
52. Wijsen, J.: On the first-order expressibility of computing certain answers to conjunctive
queries over uncertain databases.

Vol. 30

In: J. Paredaens, D.V. Gucht (eds.) PODS, pp. 179-190.

ACM (2010)
53. Xie, G., Dang, Z., Ibarra, O.H.: A solvable class of quadratic diophantine equations with
applications to verification of infinite-state systems. In: Proc. 30 th Int. Coll. on Automata,
Languages and Programming (ICALP), pp. 668-680 (2003)
54. Yakout, M., Elmagarmid, A.K., Neville, J., Ouzzani, M., Ilyas, I.F.: Guided data repair.
PVLDB 4(5), 279-289 (2011)