This book constitutes the refereed proceedings of the 11th International Conference on Database Theory, ICDT 2007, held in Barcelona, Spain in January 2007.
The 25 revised papers presented together with three invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive power of query languages, incompleteness, inconsistency, and uncertainty, XML schemas and typechecking, stream processing and sequential query processing, ranking, XML update and query, as well as query containment.
Author(s): Jan Chomicki (auth.), Thomas Schwentick, Dan Suciu (eds.)
Series: Lecture Notes in Computer Science 4353 : Information Systems and Applications, incl. Internet/Web, and HCI
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 419
Tags: Database Management; Computation by Abstract Devices; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Information Systems Applications (incl.Internet); Information Storage and Retrieval
Front Matter....Pages -
Consistent Query Answering: Five Easy Pieces....Pages 1-17
Ask a Better Question, Get a Better Answer A New Approach to Private Data Analysis....Pages 18-27
Beauty and the Beast: The Theory and Practice of Information Integration....Pages 28-43
Approximate Data Exchange....Pages 44-58
Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report....Pages 59-73
Compact Samples for Data Dissemination....Pages 74-88
Privacy in GLAV Information Integration....Pages 89-103
Unlocking Keys for XML Trees....Pages 104-118
Characterization of the Interaction of XML Functional Dependencies with DTDs....Pages 119-133
Axiomatizing the Logical Core of XPath 2.0....Pages 134-148
Query Evaluation on a Database Given by a Random Graph....Pages 149-163
The Limits of Querying Ontologies....Pages 164-178
Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics....Pages 179-193
World-Set Decompositions: Expressiveness and Efficient Algorithms....Pages 194-208
On the Expressiveness of Implicit Provenance in Query and Update Languages....Pages 209-223
Trajectory Databases: Data Models, Uncertainty and Complete Query Languages....Pages 224-238
Complexity of Typechecking XML Views of Relational Databases....Pages 239-253
Exact XML Type Checking in Polynomial Time....Pages 254-268
Optimizing Schema Languages for XML: Numerical Constraints and Interleaving....Pages 269-283
Database Query Processing Using Finite Cursor Machines....Pages 284-298
Constant-Memory Validation of Streaming XML Documents Against DTDs....Pages 299-313
Preferentially Annotated Regular Path Queries....Pages 314-328
Combining Incompleteness and Ranking in Tree Queries....Pages 329-343
Structural Recursion on Ordered Trees and List-Based Complex Objects....Pages 344-358
Combining Temporal Logics for Querying XML Documents....Pages 359-373
Commutativity Analysis in XML Update Languages....Pages 374-388
Containment of Conjunctive Queries over Databases with Null Values....Pages 389-403
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation....Pages 404-418
Back Matter....Pages -
