LEADER 05394nam 22007695 450 001 996465574303316 005 20200701023047.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(EXLCZ)991000000000284082 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDatabase Theory ? ICDT 2007$b[electronic resource] $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 ;$v4353 300 $aBibliographic Level Mode of Issuance: Monograph 311 $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 Querying XML 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. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v4353 606 $aData structures (Computer science) 606 $aDatabase management 606 $aComputers 606 $aMathematical logic 606 $aArtificial intelligence 606 $aApplication software 606 $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009 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 615 0$aData structures (Computer science). 615 0$aDatabase management. 615 0$aComputers. 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 14$aData Structures and Information Theory. 615 24$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). 676 $a005.74 702 $aSchwentick$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSuciu$b Dan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Database Theory 906 $aBOOK 912 $a996465574303316 996 $aDatabase Theory – ICDT 2007$9774257 997 $aUNISA