Lux: A Lightweight, Statically Typed XML Update Language.

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Several proposals for updating XML have been introduced. Many of them have a rather complicated semantics due to the interaction of side-effects and updates, and some proposals also complicate the semantics of XQuery because arbitrary side-effecting update statements are allowed inside queries. Moreover, static typechecking has not been studied for any proposed XML update language.
In this paper, we survey prior work on XML update languages and motivate an alternative approach to updating XML. We introduce an update language called Lux, which stands for Lightweight Updates for XML. Lux can perform relational database-style updates, has a simple, deterministic operational semantics, and has a sound static type system based on regular expression types and structural subtyping.
Original languageEnglish
Title of host publicationPLAN-X
Number of pages12
Publication statusPublished - 2007


Dive into the research topics of 'Lux: A Lightweight, Statically Typed XML Update Language.'. Together they form a unique fingerprint.

Cite this