Cargando…

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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Eiter, Thomas (Editor ), Libkin, Leonid (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Lecture Notes in Computer Science, 3363
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-540-30570-5
003 DE-He213
005 20220114084041.0
007 cr nn 008mamaa
008 100704s2005 gw | s |||| 0|eng d
020 |a 9783540305705  |9 978-3-540-30570-5 
024 7 |a 10.1007/b104421  |2 doi 
050 4 |a QA76.9.D3 
072 7 |a UN  |2 bicssc 
072 7 |a COM021000  |2 bisacsh 
072 7 |a UN  |2 thema 
082 0 4 |a 005.74  |2 23 
245 1 0 |a Database Theory - ICDT 2005  |h [electronic resource] :  |b 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings /  |c edited by Thomas Eiter, Leonid Libkin. 
250 |a 1st ed. 2005. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2005. 
300 |a XII, 420 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 1611-3349 ;  |v 3363 
505 0 |a 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. 
520 |a 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 the communication of high-quality and innovative research results on theoretical - pects of all forms of database systems and database technology. The conference usually takes place in Europe, and has been held in Rome (1986), Bruges (1988), Paris (1990), Berlin (1992), Prague (1995), Delphi (1997), Jerusalem (1999), London (2001), and Siena (2003) so far. ICDT has merged with the Sym- sium on Mathematical Fundamentals of Database Systems (MFDBS), initiated in Dresden in 1987, and continued in Visegrad in 1989 and Rostock in 1991. ICDT had a two-stage submission process. First, 103 abstracts were subm- ted, which were followed a week later by 84 paper submissions. From these 84 submissions, the ICDT Program Committee selected 24 papers for presentation at the conference. Most of these papers were "extended abstracts" and preli- nary reports on work in progress. It is anticipated that most of these papers will appear in a more polished form in scienti?c journals. 
650 0 |a Database management. 
650 0 |a Computer science. 
650 0 |a Machine theory. 
650 0 |a Artificial intelligence. 
650 0 |a Application software. 
650 0 |a Information storage and retrieval systems. 
650 1 4 |a Database Management. 
650 2 4 |a Theory of Computation. 
650 2 4 |a Formal Languages and Automata Theory. 
650 2 4 |a Artificial Intelligence. 
650 2 4 |a Computer and Information Systems Applications. 
650 2 4 |a Information Storage and Retrieval. 
700 1 |a Eiter, Thomas.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Libkin, Leonid.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783540806714 
776 0 8 |i Printed edition:  |z 9783540242888 
830 0 |a Lecture Notes in Computer Science,  |x 1611-3349 ;  |v 3363 
856 4 0 |u https://doi.uam.elogim.com/10.1007/b104421  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)