40 likes | 139 Vues
Explore XML-λ Framework for XML query evaluation. Data model with functions for non-tree data. Query language based on simply typed λ-calculus. Formalizing XPath/XQuery semantics. Prototypes: XPath Processor, ExDB (XML DBMS).
E N D
XML Query Evaluation Using a–calculus Based Framework Pavel Loupal & Karel Richta, FEL ČVUT Praha loupalp@fel.cvut.cz, richta@fel.cvut.cz SOFSEM 2009, Student Research Forum
The XML- Framework • XML- = data model for XML + a query language • Data model & type system • model an XML document with a set of functions • general enough to describe non-tree data as well • The query language • based on the simply typed -calculus • easily extensible, specified with detailed semantics
The XML- Framework - Main Results • Another formalism for modeling/querying XML • Can describe the formal semantics of XPath/XQuery • Two prototype (Java) applications: • XPath 1.0 Processor • ExDB – a native XML DBMS • Expected project finalization: June 2009