LEADER 06334nam 22007815 450 001 996466075003316 005 20240327172428.0 010 $a3-540-30570-X 024 7 $a10.1007/b104421 035 $a(CKB)1000000000212668 035 $a(SSID)ssj0000135105 035 $a(PQKBManifestationID)11137026 035 $a(PQKBTitleCode)TC0000135105 035 $a(PQKBWorkID)10058473 035 $a(PQKB)10338932 035 $a(DE-He213)978-3-540-30570-5 035 $a(MiAaPQ)EBC3068436 035 $a(PPN)134123727 035 $a(EXLCZ)991000000000212668 100 $a20100704d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDatabase Theory - ICDT 2005$b[electronic resource] $e10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings /$fedited by Thomas Eiter, Leonid Libkin 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 420 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3363 300 $a"Papers presented at the 10th International Conference on Database Theory"--Pref. 311 $a3-540-24288-0 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3363 606 $aDatabase management 606 $aComputers 606 $aMathematical logic 606 $aArtificial intelligence 606 $aApplication software 606 $aInformation storage and retrieval 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 615 0$aDatabase management. 615 0$aComputers. 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aInformation storage and retrieval. 615 14$aDatabase Management. 615 24$aComputation by Abstract Devices. 615 24$aMathematical Logic and Formal Languages. 615 24$aArtificial Intelligence. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aInformation Storage and Retrieval. 676 $a005.74 702 $aEiter$b Thomas$f1966-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLibkin$b Leonid$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Database Theory 906 $aBOOK 912 $a996466075003316 996 $aDatabase Theory - ICDT 2005$9772790 997 $aUNISA