Database Theory - ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings / edited by Thomas Eiter, Leonid Libkin.

Springer eBooks

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.

This book constitutes the refereed proceedings of the 10th International Conference on Database Theory, ICDT 2005, held in Edinburgh, UK in January 2005. The 24 revised full papers presented together with 3 invited articles were carefully reviewed and selected from 84 submissions. The papers are organized in topical sections on query languages and types, multi-dimensional data processing, algorithmic aspects, privacy and security, logic and databases, query rewriting, and query processing and data streams.

Para consulta fuera de la UANL se requiere clave de acceso remoto.