Proceedings of the 12th International Conference on Database Theory (ICDT), Saint-Petersburg, Russia, 2009
Original publisher: ACM New York, ICPS - International Conference Proceedings Series, Volume: 361, ISBN: 978-1-60558-423-2, Electronic Edition
Front and Back Matter
Invited papers
![[PDF]](../pdf.png "Download local copy")
![[DOI]](../url.png "Get via DOI")
Datalog: a unified approach to ontologies and integrity constraints.
Andrea Calì, Georg Gottlob, Thomas Lukasiewicz
pp. 14-30
Research Sessions
Inconsistency and repairs
Repair checking in inconsistent databases: algorithms and complexity.
Foto N. Afrati, Phokion G. Kolaitis
pp. 31-41
Consistent query answering under primary keys: a characterization of tractable queries.
Jef Wijsen
pp. 42-52
On approximating optimum repairs for functional dependency violations.
Solmaz Kolahi, Laks V. S. Lakshmanan
pp. 53-62
Data exchange
Structural characterizations of schema-mapping languages.
Balder ten Cate, Phokion G. Kolaitis
pp. 63-72
Query languages for data exchange: beyond unions of conjunctive queries.
Marcelo Arenas, Pablo Barceló, Juan L. Reutter
pp. 73-83
Querying data sources that export infinite sets of views.
Bogdan Cautis, Alin Deutsch, Nicola Onose
pp. 84-97
Data structures and algorithms
Optimal splitters for database partitioning with size bounds.
Kenneth A. Ross, John Cieslewicz
pp. 98-110
Efficient data structures for range-aggregate queries on trees.
Hao Yuan, Mikhail J. Atallah
pp. 111-120
Faster join-projects and sparse matrix multiplications.
Rasmus Resen Amossen, Rasmus Pagh
pp. 121-126
Uncertain databases
A compositional query algebra for second-order logic and uncertain databases.
Christoph Koch
pp. 127-140
A logical account of uncertain databases based on linear logic.
Sungwoo Park, Seung-won Hwang
pp. 141-148
A compositional framework for complex queries over uncertain data.
Michaela Götz, Christoph Koch
pp. 149-161
XML
Incremental XPath evaluation.
Henrik Björklund, Wouter Gelade, Marcel Marquardt, Wim Martens
pp. 162-173
Efficient asymmetric inclusion between regular expression types.
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
pp. 174-182
Querying
Towards a theory of search queries.
George H. L. Fletcher, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
pp. 201-211
Business processes
Automatic construction of simple artifact-based business processes.
Christian Fritz, Richard Hull, Jianwen Su
pp. 225-238
Automatic verification of data-centric business processes.
Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu
pp. 252-267
Streams, data mining, complexity
Analysis of sampling techniques for association rule mining.
Venkatesan T. Chakaravarthy, Vinayaka Pandit, Yogish Sabharwal
pp. 276-283
Provenance
Optimizing user views for workflows.
Olivier Biton, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy
pp. 310-323
The full-text material linked from this page is (c) ACM New York. The 'get via DOI'
() link loads the full-text from the ACM Digital Library. We provide local copies that can be loaded from here (via the 'get local copy' () link) with kind permission from ACM.
) link loads the full-text from the ACM Digital Library. We provide local copies that can be loaded from here (via the 'get local copy' () link) with kind permission from ACM.