Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the translation of XPath queries into algebraic expressions in a concise way, thereby enabling algebraic optimizations. However, NAL does not capture various promising core XML query evaluation algorithms like, for example, the ...

Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary products. In some canonical cases, the conversion function is uniquely determined solely by the two types involved. In this article we describe and implement a program in Generic Haskell which automatically infers this function by n...

XTCcmp, the XQuery Compiler of a native XML database system, extends Starburst’s well-known Query Graph Model to serve as an internal representation and basis for query restructuring of XQuery expressions. Furthermore, XTCcmp is able to generate execution plans supporting a wide range of both well-known and newly developed variants of core XML processing algorithms and indexes. Our demo visuali...

We provide a strong normalization result for ML F , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating ML F into a calculus of coercions, and showing that this calculus is just a decorated version of system F. Simulation results then entail strong normalization from the same property of system F. Introduction. ML F [3] is a type syst...

In the field of technical documentation there are currently a lot of XML-based documentations that exist or are under development. Some of them are based on DTDs or XMLSchemas that define the structure of XML documents of a special document type, the majority of them don’t. Whereas in the context of webpublishing ontologies have increased as a very useful and powerful method towards a more effe...

Using ODM-XML as the instrument to represent SDTM annotated case report form (CRF) both machine readable and human metadata for specification documentation yields vast savings in time, cost, effort, aggravation over other ways of producing these documents. By creating versions by simply adding a translating style sheet exactly same familiar creation Define-xml, those are self-evident document b...

The rapid emergence of XML as a standard for data representation and exchange over the Web has sparked considerable interest in models and efficient mechanisms for controlled access, especially using queries, to information represented in XML (see, e.g., [3,5-7,ll-13,311). A naive approach to secure XML query evaluation is: (i) compute the query result without consideration of any security poli...