Database Theory – ICDT 2007 11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Schwentick, Thomas (Επιμελητής έκδοσης), Suciu, Dan (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4353
• Θέματα: Computer science.; Data structures (Computer science).; Computers.; Mathematical logic.; Database management.; Artificial intelligence.; Computer Science.; Data Structures, Cryptology and Information Theory.; Database Management.; Computation by Abstract Devices.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Information Systems Applications (incl. Internet).

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