✦ LIBER ✦

Frontiers of tractability for typechecking simple XML transformations

✍ Scribed by Wim Martens; Frank Neven

Book ID: 108166517
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 372 KB
Volume: 73
Category: Article
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2006.10.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Typechecking for XML transformers

✍ Tova Milo; Dan Suciu; Victor Vianu 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 316 KB

We study the typechecking problem for XML (eXtensible Markup Language) transformers: given an XML transformation program and a DTD for the input XML documents, check whether every result of the program conforms to a specified output DTD. We model XML transformers using a novel device called a k-pebb

The new frontier: Transformation of mana

The new frontier: Transformation of management for the new millennium

✍ Michael A Hitt 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 825 KB

Generic properties of invariant measures

Generic properties of invariant measures for simple piecewise monotonic transformations

✍ Franz Hofbauer 📂 Article 📅 1987 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 707 KB

Ergodic properties of computer orbits fo

Ergodic properties of computer orbits for simple piecewise monotonic transformations

✍ N. Friedman; A. Boyarsky; M. Scarowsky 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 535 KB

A simple derivation of the spectral tran

A simple derivation of the spectral transformations for IIR filters

✍ Roy, S.C.D. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 137 KB

Development of simple orthogonal transfo

Development of simple orthogonal transforms for image compression

✍ Lo, K.-T.; Cham, W.-K. 📂 Article 📅 1995 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 374 KB