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.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

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

Keywords

  • DOM
  • Extensible Markup Language (XML)
  • algorithm
  • algorithms
  • complexity
  • data engineering
  • data intergration
  • data model
  • database
  • database design
  • database logic
  • database management
  • database queries
  • informations systems
  • semantics

Editors and Affiliations

  • Technical University of Dortmund,  

    Thomas Schwentick

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

    Dan Suciu

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions