Proceedings of the 11th International Conference on Database Theory (ICDT), Barcelona, Spain, 2007
Original publisher: Springer Verlag, LNCS - Lecture Notes in Computer Science, Volume: 4353, ISBN: 3-540-69269-X, Electronic Edition
Front and Back Matter
Invited Lectures
Ask a Better Question, Get a Better Answer A New Approach to Private Data Analysis.
Cynthia Dwork
pp. 18-27
Research Sessions
Information Integration and Peer to Peer
Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report.
Alan Nash, Luc Segoufin, Victor Vianu
pp. 59-73
Axiomatizations for XML
Characterization of the Interaction of XML Functional Dependencies with DTDs.
Lucja Kot, Walker M. White
pp. 119-133
Expressive Power of Query Languages
Incompleteness, Inconsistency, and Uncertainty
Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics.
Andrei Lopatenko, Leopoldo E. Bertossi
pp. 179-193
World-Set Decompositions: Expressiveness and Efficient Algorithms.
Lyublena Antova, Christoph Koch, Dan Olteanu
pp. 194-208
On the Expressiveness of Implicit Provenance in Query and Update Languages.
Peter Buneman, James Cheney, Stijn Vansummeren
pp. 209-223
Trajectory Databases: Data Models, Uncertainty and Complete Query Languages.
Bart Kuijpers, Walied Othman
pp. 224-238
XML Schemas and Typechecking
Exact XML Type Checking in Polynomial Time.
Sebastian Maneth, Thomas Perst, Helmut Seidl
pp. 254-268
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving.
Wouter Gelade, Wim Martens, Frank Neven
pp. 269-283
Stream Processing and Sequential Query Processing
Database Query Processing Using Finite Cursor Machines.
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche
pp. 284-298
Constant-Memory Validation of Streaming XML Documents Against DTDs.
Luc Segoufin, Cristina Sirangelo
pp. 299-313
Ranking
Preferentially Annotated Regular Path Queries.
Gösta Grahne, Alex Thomo, William W. Wadge
pp. 314-328
XML Update and Query
Structural Recursion on Ordered Trees and List-Based Complex Objects.
Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren
pp. 344-358
Combining Temporal Logics for Querying XML Documents.
Marcelo Arenas, Pablo Barceló, Leonid Libkin
pp. 359-373
Commutativity Analysis in XML Update Languages.
Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon
pp. 374-388
Query Containment
Containment of Conjunctive Queries over Databases with Null Values.
Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí
pp. 389-403
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation.
Michel Leclère, Marie-Laure Mugnier
pp. 404-418