Skip to main content
  • Conference proceedings
  • © 2006

Database Theory – ICDT 2007

11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4353)

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Conference series link(s): ICDT: International Conference on Database Theory

Conference proceedings info: ICDT 2007.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (28 papers)

  1. Front Matter

  2. Information Integration and Peer to Peer

    1. Approximate Data Exchange

      • Michel de Rougemont, Adrien Vieilleribière
      Pages 44-58
    2. Compact Samples for Data Dissemination

      • Tova Milo, Assaf Sagi, Elad Verbin
      Pages 74-88
    3. Privacy in GLAV Information Integration

      • Alan Nash, Alin Deutsch
      Pages 89-103
  3. Axiomatizations for XML

    1. Unlocking Keys for XML Trees

      • Sven Hartmann, Sebastian Link
      Pages 104-118
    2. Axiomatizing the Logical Core of XPath 2.0

      • Balder ten Cate, Maarten Marx
      Pages 134-148
  4. Expressive Power of Query Languages

    1. The Limits of Querying Ontologies

      • Riccardo Rosati
      Pages 164-178
  5. Incompleteness, Inconsistency, and Uncertainty

    1. World-Set Decompositions: Expressiveness and Efficient Algorithms

      • Lyublena Antova, Christoph Koch, Dan Olteanu
      Pages 194-208
    2. On the Expressiveness of Implicit Provenance in Query and Update Languages

      • Peter Buneman, James Cheney, Stijn Vansummeren
      Pages 209-223
  6. XML Schemas and Typechecking

    1. Exact XML Type Checking in Polynomial Time

      • Sebastian Maneth, Thomas Perst, Helmut Seidl
      Pages 254-268
    2. Optimizing Schema Languages for XML: Numerical Constraints and Interleaving

      • Wouter Gelade, Wim Martens, Frank Neven
      Pages 269-283

Other Volumes

  1. Database Theory – ICDT 2007

Editors and Affiliations

  • Technical University of Dortmund,  

    Thomas Schwentick

  • Department of Computer Science and Engineering, University of Washington,  

    Dan Suciu

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access