11. ICDT 2007: Barcelona, Spain

Thomas Schwentick, Dan Suciu (Eds.): Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings. Lecture Notes in Computer Science 4353 Springer 2007, ISBN 3-540-69269-X

Invited Lectures

Jan Chomicki:
Consistent Query Answering: Five Easy Pieces. 1-17
Cynthia Dwork:
Ask a Better Question, Get a Better Answer A New Approach to Private Data Analysis. 18-27
Laura M. Haas:
Beauty and the Beast: The Theory and Practice of Information Integration. 28-43

Michel de Rougemont, Adrien Vieilleribière:
Approximate Data Exchange. 44-58
Alan Nash, Luc Segoufin, Victor Vianu:
Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. 59-73
Tova Milo, Assaf Sagi, Elad Verbin:
Compact Samples for Data Dissemination. 74-88
Alan Nash, Alin Deutsch:
Privacy in GLAV Information Integration. 89-103

Sven Hartmann, Sebastian Link:
Unlocking Keys for XML Trees. 104-118
Lucja Kot, Walker M. White:
Characterization of the Interaction of XML Functional Dependencies with DTDs. 119-133
Balder ten Cate, Maarten Marx:
Axiomatizing the Logical Core of XPath 2.0. 134-148

Nilesh N. Dalvi:
Query Evaluation on a Database Given by a Random Graph. 149-163
Riccardo Rosati:
The Limits of Querying Ontologies. 164-178

Andrei Lopatenko, Leopoldo E. Bertossi:
Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics. 179-193
Lyublena Antova, Christoph Koch, Dan Olteanu:
World-Set Decompositions: Expressiveness and Efficient Algorithms. 194-208
Peter Buneman, James Cheney, Stijn Vansummeren:
On the Expressiveness of Implicit Provenance in Query and Update Languages. 209-223
Bart Kuijpers, Walied Othman:
Trajectory Databases: Data Models, Uncertainty and Complete Query Languages. 224-238

Piotr Wieczorek:
Complexity of Typechecking XML Views of Relational Databases. 239-253
Sebastian Maneth, Thomas Perst, Helmut Seidl:
Exact XML Type Checking in Polynomial Time. 254-268
Wouter Gelade, Wim Martens, Frank Neven:
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. 269-283

Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche:
Database Query Processing Using Finite Cursor Machines. 284-298
Luc Segoufin, Cristina Sirangelo:
Constant-Memory Validation of Streaming XML Documents Against DTDs. 299-313

Gösta Grahne, Alex Thomo, William W. Wadge:
Preferentially Annotated Regular Path Queries. 314-328
Benny Kimelfeld, Yehoshua Sagiv:
Combining Incompleteness and Ranking in Tree Queries. 329-343

Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren:
Structural Recursion on Ordered Trees and List-Based Complex Objects. 344-358
Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Combining Temporal Logics for Querying XML Documents. 359-373
Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon:
Commutativity Analysis in XML Update Languages. 374-388

Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí:
Containment of Conjunctive Queries over Databases with Null Values. 389-403
Michel Leclère, Marie-Laure Mugnier:
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. 404-418