Galax implementation of XQuery J er ome Sim eon Lucent - PowerPoint PPT Presentation

Lucent Technologies http://db.bell-labs.com/galax/ Galax implementation of XQuery J´ erˆ ome Sim´ eon Lucent Technologies XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ What is Galax? ◮ A Reference Implementation of XQuery 1.0 ◮ XQuery 1.0, Data Model, F . and O., Formal Semantics ◭ ◮ As complete as possible ◮ As faithful as possible ◮ A Typed Implementation of XQuery 1.0 ◮ Static typing & Dynamic typing (Schema validation) ◮ An Experimental Implementation of XQuery 1.0 ◮ Follows the XQuery working drafts evolution ◮ Face 2 face demo Oct. 2000 (XML Algebra Nov. 2000 WD) ◮ XML Dev’2001 demo Apr. 2001 (XQuery Feb. 2001 WD) ◮ XML’2001 demo Dec. 2001 (XQuery June 2001 WD’s) XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ But there is more to Galax! ◮ An Open Implementation of XQuery 1.0 ◮ Open source ◮ J´ erˆ ome Sim´ eon, Lucent ◮ Mary Fernandez, AT&T ◮ Byron Choi, Univ. Pennsylvania ◮ Philip Wadler, Avaya ◮ Documented architecture. ◮ A Versatile Implementation of XQuery 1.0 ◮ Portable (Linux, Windows 1998/2000/NT, Solaris,...) ◮ C, C++ & Java APIs ◮ A Used Implementation of XQuery 1.0 ◮ Ported on Lucent’s Datablitz main memory database ◮ Used on XML storage project and Semantic Web in Lucent XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ Galax Architecture XQuery Expression XML Schema Description XML Document XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ Galax Architecture Parsing Layer XQuery XQuery Expression AST XQuery Parser XML Schema XML Schema Description AST XML Parser XML Document XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ Galax Architecture Mapping Layer Parsing Layer XQuery XQuery Core XQuery Expression Internal Structure AST XQuery Mapping XQuery Parser to the Core XQuery Type System XML Schema XML Schema Internal Structure Description AST Type System XML Parser Mapping XML Document XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ Galax Architecture Mapping Layer (Static) Parsing Layer Evaluation Layer Static Error for non well−typed queries! XQuery XQuery Core XQuery Expression Internal Structure AST XQuery Mapping XQuery Parser to the Core Static Type Checker Type of Query Result XQuery Type System XML Schema XML Schema Internal Structure Description AST Type System XML Parser Mapping XML Document XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ Galax Architecture Mapping Layer (Dynamic) Parsing Layer Evaluation Layer Static Error for non well−typed queries! XQuery XQuery Core XQuery Expression Internal Structure AST XQuery Mapping XQuery Parser to the Core Static Type Checker Type of Query Result XQuery Type System XML Schema XML Schema Internal Structure Description AST Type System XML Parser Mapping Query Processor Data Model Validation Query Result XML Data Model XML XML AST Internal Structure Document XML Data Model XML Parser Loader XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ XML Schema Import ◮ XQuery Type system captures a subset of XML Schema ◮ It keeps: ◮ element, attribute, type and group declarations ◮ content models ◮ datatypes ◮ It discards ◮ Facets ◮ minOccurs, maxOccurs ◮ Type names hierarchy ◮ Substitution groups ◮ Keys and ID constraints XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ Typing with XML Schema Input Output XML Schema XML Schema XQuery expression Input XML Document(s) XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ XML Schema Import Input Output XML Schema XML Schema XML Schema Import Output Input XQuery Type XQuery Type XQuery expression Input XML Document(s) XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ XML Schema Import Input Output XML Schema XML Schema XML Schema Import Output Input XQuery Type XQuery Type Infered Output Type XQuery Static XQuery expression of Query Result Type Checker (Or Input type error) Input XML Document(s) XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ XML Schema Import Input Output XML Schema XML Schema XML Schema Import Output Input XQuery Type XQuery Type Subtype (Or output type error) Type XQuery Static XQuery expression of Query Result Type Checker (Or Input type error) Input XML Document(s) XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/ XML Schema Import Input Output XML Schema XML Schema XML Schema Import Output Input XQuery Type XQuery Type Subtype (Or output type error) Type XQuery Static XQuery expression of Query Result Type Checker (Or Input type error) XQuery Output XML Input XML Processor Document(s) Document(s) (Or dynamic error) XQuery Implementation Panel, XML 2001, Orlando

More on Galax ◮ Infos and On-line demo http://db.bell-labs.com/galax/ Galax: An Open-Source XQuery 1.0 Implementation, XML 2001, December 2001, Orlando