Database Theory - ICDT 2005

Invited Papers.- Model Checking for Database Theoreticians.- The Design Space of Type Checkers for XML Transformation Languages.- Semantics of Data Streams and Operators.- Regular Papers.- Conjunctive Query Evaluation by Search Tree Revisited.- Which XML Schemas Admit 1-Pass Preorder Typing?.- The Pipelined Set Cover Problem.- Session: Query Languages and Types.- Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery.- First Order Paths in Ordered Trees.- An Abstract Framework for Generating Maximal Answers to Queries.- Session: Multi-dimensional Data Processing.- Optimal Distributed Declustering Using Replication.- When Is Nearest Neighbors Indexable?.- Nonmaterialized Motion Information in Transport Networks.- Session: Algorithmic Aspects.- Algorithms for the Database Layout Problem.- Approximately Dominating Representatives.- On Horn Axiomatizations for Sequential Data.- Session: Privacy and Security.- Privacy in Database Publishing.- Anonymizing Tables.- Authorization Views and Conditional Query Containment.- Session: Logic and Databases.- PTIME Queries Revisited.- Asymptotic Conditional Probabilities for Conjunctive Queries.- Magic Sets and Their Application to Data Integration.- Session: Query Rewriting.- View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness.- First-Order Query Rewriting for Inconsistent Databases.- Rewriting Queries Using Views with Access Patterns Under Integrity Constraints.- Session: Query Processing, and Data Streams.- Optimal Workload-Based Weighted Wavelet Synopses.- Selecting and Using Views to Compute Aggregate Queries.- Efficient Computation of Frequent and Top-k Elements in Data Streams.