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ˆ

• me 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ˆ

• me 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

XML Schema Description XQuery Expression XML Document

XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/

Galax Architecture

XML Schema Description XQuery Expression XML Document XQuery Parser XML Schema AST XQuery AST XML Parser Parsing Layer

XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/

Galax Architecture

XQuery Core Internal Structure XQuery Type System Internal Structure XQuery Mapping to the Core XML Schema Description XQuery Expression XML Document XQuery Parser Type System Mapping XML Schema AST XQuery AST XML Parser Parsing Layer Mapping Layer

XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/

Galax Architecture

XQuery Core Internal Structure Static Error for non well−typed queries! Static Type Checker XQuery Type System Internal Structure XQuery Mapping to the Core XML Schema Description XQuery Expression XML Document XQuery Parser Type System Mapping Type

• f Query Result

XML Schema AST XQuery AST XML Parser Parsing Layer Evaluation Layer Mapping Layer (Static)

XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/

Galax Architecture

Parsing Layer Evaluation Layer Mapping Layer XQuery Core Internal Structure Static Error for non well−typed queries! Query Processor Static Type Checker XQuery Type System Internal Structure XQuery Mapping to the Core XML Schema Description XQuery Expression XML Document XQuery Parser XML Parser Validation XML Data Model Internal Structure XML Data Model Loader Type System Mapping Type

• f Query Result

Data Model Query Result XML AST XML Schema AST XQuery AST XML Parser (Dynamic)

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 XML Schema Output 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 XML Schema Input XQuery Type Output XML Schema Output XQuery Type XQuery expression Input XML Document(s) XML Schema Import

XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/

XML Schema Import

Input XML Schema Input XQuery Type Output XML Schema Output XQuery Type XQuery expression Input XML Document(s) XML Schema Import XQuery Static Type Checker Infered Output Type

• f Query Result

(Or Input type error)

XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/

XML Schema Import

Type

• f Query Result

Input XML Schema Input XQuery Type Output XML Schema Output XQuery Type Subtype (Or output type error) (Or Input type error) XQuery expression Input XML Document(s) XML Schema Import XQuery Static Type Checker

XQuery Implementation Panel, XML 2001, Orlando

Lucent Technologies http://db.bell-labs.com/galax/

XML Schema Import

Type

• f Query Result

Input XML Schema Input XQuery Type Output XML Schema Output XQuery Type Subtype (Or output type error) (Or Input type error) XQuery expression Input XML Document(s) Output XML Document(s) (Or dynamic error) XML Schema Import XQuery Processor XQuery Static Type Checker

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