Database Theory - ICDT 2005 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Eiter, Thomas (Επιμελητής έκδοσης), Libkin, Leonid (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3363
• Θέματα: Computer science.; Computers.; Mathematical logic.; Database management.; Information storage and retrieval.; Artificial intelligence.; Computer Science.; Database Management.; Computation by Abstract Devices.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Information Systems Applications (incl. Internet).; Information Storage and Retrieval.

This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during January 5–7, 2005, in Edinburgh, UK. ICDT (http://alpha.luc.ac.be/~lucp1080/icdt/) has now a long tra- tion of international conferences, providing a biennial scienti?c forum for...

Πίνακας περιεχομένων:

• 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.