000 05432nam a22006255i 4500
001 978-3-540-30570-5
003 DE-He213
005 20240730194554.0
007 cr nn 008mamaa
008 100704s2005 gw | s |||| 0|eng d
020 _a9783540305705
_9978-3-540-30570-5
024 7 _a10.1007/b104421
_2doi
050 4 _aQA76.9.D3
072 7 _aUN
_2bicssc
072 7 _aCOM021000
_2bisacsh
072 7 _aUN
_2thema
082 0 4 _a005.74
_223
245 1 0 _aDatabase Theory - ICDT 2005
_h[electronic resource] :
_b10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings /
_cedited by Thomas Eiter, Leonid Libkin.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXII, 420 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3363
505 0 _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.
520 _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.
650 0 _aDatabase management.
_93157
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9157458
650 0 _aArtificial intelligence.
_93407
650 0 _aApplication software.
_9157459
650 0 _aInformation storage and retrieval systems.
_922213
650 1 4 _aDatabase Management.
_93157
650 2 4 _aTheory of Computation.
_9157460
650 2 4 _aFormal Languages and Automata Theory.
_9157461
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer and Information Systems Applications.
_9157462
650 2 4 _aInformation Storage and Retrieval.
_923927
700 1 _aEiter, Thomas.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9157463
700 1 _aLibkin, Leonid.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9157464
710 2 _aSpringerLink (Online service)
_9157465
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540242888
776 0 8 _iPrinted edition:
_z9783540806714
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3363
_923263
856 4 0 _uhttps://doi.org/10.1007/b104421
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95253
_d95253