To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Cristal - 01/09/03 - Paris - FR

      Vous pouvez maintenant vous abonner à nos annonces de séminaires
             http://pauillac.inria.fr/seminaires/subscribe.html


                             S E M I N A I R E
                                         . ___ 
                           /   _   _      /   _   /
                          /   / \ / \  / /   __| /
                         |___ |_/ |_/ / |__ |_/ |_
       ___      .                  /    
      /    ___   __  /_  _   /   _/        /| /|  _   __ __ _       _ 
     /    /   / /_  /   __| /             / |/ | / \ /_ /  / \ | / __|
    |___ /   / __/ |_  |_/ |_            /     | |_/__/ |_ |_/ |/ |_/
                                                
                          I N R I A - Rocquencourt
                       Salle de conference du Bat 11

                          Lundi 1 septembre, 10h30

                               -------------
                               Jerome Simeon
                               -------------

                               ATT Bell Labs

                     =================================
                     A Web Services Binding for XQuery
                     =================================


  What is well known is that XQuery is an XML query language. What is
  less well known is that XQuery is also a small functional language in
  the traditional sense: it is compositional (unlike most database
  languages), it has a purely functional semantics, it comes with a type
  system based on XML Schema, and it supports (a form of) static
  typing. In fact, XQuery has the potential to grow by borrowing other
  standard features from functional programming languages. For instance,
  XQuery has just recently been extended with a module system 'a la' ML.
  
  In the first part of the talk, I will give an overview of the XQuery
  functional core, its type system, and introduce its module
  extension. This extension comes with several technical problems
  though. In particular, no attempt has been made to support hiding
  capabilities and separate compilation. In the second part of the talk,
  I will then present an approach to couple XQuery to Web services based
  on this notion of modules. The approach relies on the striking
  connection between XQuery modules and WSDL (the Web Services
  Description Language). The approach can be used in several different
  ways: to build Web services very quickly using XQuery, to access
  existing Web services transparently as XQuery modules, or to use WSDL
  as an XQuery module interface. One additional benefit of the approach
  is the ability to understand Web services natively and perform static
  typing on Web services calls.
  
  This approach is currently being implemented as part of the Galax
  XQuery 1.0 processor, and is joint work with Nicola Onose. More on
  Galax can be found at:
  
  URL: http://db.bell-labs.com/galax/