LEADER 05529nam 22008655 450 001 9910483778703321 005 20251226195608.0 010 $a3-540-69270-3 024 7 $a10.1007/11965893 035 $a(CKB)1000000000284082 035 $a(SSID)ssj0000317136 035 $a(PQKBManifestationID)11292338 035 $a(PQKBTitleCode)TC0000317136 035 $a(PQKBWorkID)10287516 035 $a(PQKB)11669822 035 $a(DE-He213)978-3-540-69270-6 035 $a(MiAaPQ)EBC3068571 035 $a(PPN)12315944X 035 $a(BIP)34164641 035 $a(BIP)13948286 035 $a(EXLCZ)991000000000284082 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDatabase Theory ? ICDT 2007 $e11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings /$fedited by Thomas Schwentick, Dan Suciu 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XI, 419 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v4353 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-69269-X 320 $aIncludes bibliographical references and index. 327 $aInvited Lectures -- Consistent Query Answering: Five Easy Pieces -- Ask a Better Question, Get a Better Answer A New Approach to Private Data Analysis -- Beauty and the Beast: The Theory and Practice of Information Integration -- Information Integration and Peer to Peer -- Approximate Data Exchange -- Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report -- Compact Samples for Data Dissemination -- Privacy in GLAV Information Integration -- Axiomatizations for XML -- Unlocking Keys for XML Trees -- Characterization of the Interaction of XML Functional Dependencies with DTDs -- Axiomatizing the Logical Core of XPath 2.0 -- Expressive Power of Query Languages -- Query Evaluation on a Database Given by a Random Graph -- The Limits of Querying Ontologies -- Incompleteness, Inconsistency, and Uncertainty -- Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics -- World-Set Decompositions: Expressiveness and Efficient Algorithms -- On the Expressiveness of Implicit Provenance in Query and Update Languages -- Trajectory Databases: Data Models, Uncertainty and Complete Query Languages -- XML Schemas and Typechecking -- Complexity of Typechecking XML Views of Relational Databases -- Exact XML Type Checking in Polynomial Time -- Optimizing Schema Languages for XML: Numerical Constraints and Interleaving -- Stream Processing and Sequential Query Processing -- Database Query Processing Using Finite Cursor Machines -- Constant-Memory Validation of Streaming XML Documents Against DTDs -- Ranking -- Preferentially Annotated Regular Path Queries -- Combining Incompleteness and Ranking in Tree Queries -- XML Update and Query -- Structural Recursion on Ordered Trees and List-Based Complex Objects -- Combining Temporal Logics for QueryingXML Documents -- Commutativity Analysis in XML Update Languages -- Query Containment -- Containment of Conjunctive Queries over Databases with Null Values -- Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Database Theory, ICDT 2007, held in Spain in January 2007. The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive power of query languages, incompleteness, inconsistency, and uncertainty, XML schemas and typechecking, stream processing and sequential query processing, ranking, XML update and query, as well as query containment. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v4353 606 $aData structures (Computer science) 606 $aInformation theory 606 $aDatabase management 606 $aComputer science 606 $aMachine theory 606 $aArtificial intelligence 606 $aApplication software 606 $aData Structures and Information Theory 606 $aDatabase Management 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 615 0$aData structures (Computer science). 615 0$aInformation theory. 615 0$aDatabase management. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 14$aData Structures and Information Theory. 615 24$aDatabase Management. 615 24$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 676 $a005.74 701 $aSchwentick$b Thomas$01750374 701 $aSuciu$b Dan$0315265 712 12$aInternational Conference on Database Theory 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483778703321 996 $aDatabase Theory ? ICDT 2007$94522622 997 $aUNINA