XML Query Evaluation Using a –calculus Based Framework Pavel Loupal & Karel Richta, FEL ČVUT Praha 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
XML- for XQuery Evaluation
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