Blixem is an engine to evaluate LiXQuery queries. It tries to follow the LiXQuery semantics as close as possible.
LiXQuery, or Light XQuery, is an elegant and simple sublanguage of XQuery, the standard query language for XML documents and data. LiXQuery has almost the same expressive power as XQuery and has a compact and well defined syntax and semantics. The LiXQuery language was designed with two main audiences in mind. First of all, LiXQuery targets researchers investigating the expressive power and the computational complexity of XQuery. The second audience for LiXQuery are teachers, this is because LiXQuery only omits features which are not essential to understand the typical queries written in XQuery. The XQuery features that are omitted in LiXQuery are only those that are not essential from a theoretical perspective.
If you are a researcher investigating the expressive power and the computational complexity of XQuery. Features that are essential from a theory perspective are not dropped.
If you are a teacher because we believe that when one understands queries written in LiXQuery, one also understands most typical queries written in XQuery.
The complete syntax and formal semantics of LiXQuery is given in "A light but Formal Introduction to XQuery" and "a formal foundation for xquery research ". Both papers can be found at the LiXQuery page.
Or better, [try out Blixem] yourself and experience the features!
Here we present the Blixem roadmap which sheds some light onto which features are available in the different releases.
Blixem is the Dutch word 'bliksem' written in English. 'Bliksem' is Dutch for lightning.