This DVD contains the proceedings of the 12th International Conference on Database Theory (ICDT 2009), which was held from March 23-26, 2009 in Saint-Petersburg, Russia.

You may use the " PDF" link to retrieve the paper, and the other links to find more information on the paper.

PDF DBLP EE DOI DBLP BibTeX

Victor Vianu Automatic verification of database-driven systems: a new frontier 1-13

PDF DBLP EE DOI DBLP BibTeX

Andrea Calì, Georg Gottlob, Thomas Lukasiewicz Datalog±: a unified approach to ontologies and integrity constraints 14-30

PDF DBLP EE DOI DBLP BibTeX

Foto N. Afrati, Phokion G. Kolaitis Repair checking in inconsistent databases: algorithms and complexity 31-41

PDF DBLP EE DOI DBLP BibTeX

Jef Wijsen Consistent query answering under primary keys: a characterization of tractable queries 42-52

PDF DBLP EE DOI DBLP BibTeX

Solmaz Kolahi, Laks V. S. Lakshmanan On approximating optimum repairs for functional dependency violations 53-62

PDF DBLP EE DOI DBLP BibTeX

Balder ten Cate, Phokion G. Kolaitis Structural characterizations of schema-mapping languages 63-72

PDF DBLP EE DOI DBLP BibTeX

Marcelo Arenas, Pablo Barceló, Juan L. Reutter Query languages for data exchange: beyond unions of conjunctive queries 73-83

PDF DBLP EE DOI DBLP BibTeX

Bogdan Cautis, Alin Deutsch, Nicola Onose Querying data sources that export infinite sets of views 84-97

PDF DBLP EE DOI DBLP BibTeX

Kenneth A. Ross, John Cieslewicz Optimal splitters for database partitioning with size bounds 98-110

PDF DBLP EE DOI DBLP BibTeX

Hao Yuan, Mikhail J. Atallah Efficient data structures for range-aggregate queries on trees 111-120

PDF DBLP EE DOI DBLP BibTeX

Rasmus Resen Amossen, Rasmus Pagh Faster join-projects and sparse matrix multiplications 121-126

PDF DBLP EE DOI DBLP BibTeX

Christoph Koch A compositional query algebra for second-order logic and uncertain databases 127-140

PDF DBLP EE DOI DBLP BibTeX

Sungwoo Park, Seung-won Hwang A logical account of uncertain databases based on linear logic 141-148

PDF DBLP EE DOI DBLP BibTeX

Michaela Götz, Christoph Koch A compositional framework for complex queries over uncertain data 149-161

PDF DBLP EE DOI DBLP BibTeX

Henrik Björklund, Wouter Gelade, Marcel Marquardt, Wim Martens Incremental XPath evaluation 162-173

PDF DBLP EE DOI DBLP BibTeX

Dario Colazzo, Giorgio Ghelli, Carlo Sartiani Efficient asymmetric inclusion between regular expression types 174-182

PDF DBLP EE DOI DBLP BibTeX

Clemens Ley, Michael Benedikt How big must complete XML query languages be? 183-200

PDF DBLP EE DOI DBLP BibTeX

George H. L. Fletcher, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren Towards a theory of search queries 201-211

PDF DBLP EE DOI DBLP BibTeX

Todd J. Green, Zachary G. Ives, Val Tannen Reconcilable differences 212-224

PDF DBLP EE DOI DBLP BibTeX

Christian Fritz, Richard Hull, Jianwen Su Automatic construction of simple artifact-based business processes 225-238

PDF DBLP EE DOI DBLP BibTeX

Daniel Deutch, Tova Milo TOP-K projection queries for probabilistic business processes 239-251

PDF DBLP EE DOI DBLP BibTeX

Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu Automatic verification of data-centric business processes 252-267

PDF DBLP EE DOI DBLP BibTeX

Sudipto Guha Tight results for clustering and summarizing data streams 268-275

PDF DBLP EE DOI DBLP BibTeX

Venkatesan T. Chakaravarthy, Vinayaka Pandit, Yogish Sabharwal Analysis of sampling techniques for association rule mining 276-283

PDF DBLP EE DOI DBLP BibTeX

David P. Woodruff The average-case complexity of counting distinct elements 284-295

PDF DBLP EE DOI DBLP BibTeX

Todd J. Green Containment of conjunctive queries on annotated relations 296-309

PDF DBLP EE DOI DBLP BibTeX

Olivier Biton, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy Optimizing user views for workflows 310-323