Февраль 26, 2007

Книга про XQuery

На mustread.ru опубликована рецензия на книгу «XQuery от экспертов». Её стоит прочитать всем, кто интересуется XML-технологиями.

Февраль 17, 2007

GraphML

На CIT Forum опубликована статья GraphML — язык описания графов.

Февраль 01, 2007

Сборник трудов PLAN-X 2007

В свободный доступ выложен сборник трудов конференции PLAN-X 2007, на которой представляются и обсуждаются оригинальные исследовательские работы в области XML. Подробнее о конференции — в информационном письме PLAN-X 2007.

100-страничный сборник содержит восемь исследовательских статей и четыре описания программных продуктов.

  • Streaming XML Transformations Using Term Rewriting
    Alain Frisch, Keisuke Nakano
  • How to Recognise Different Kinds of Tree Patterns From Quite a Long Way Away
    Jan Hidders, Philippe Michiels, Jerome Simeon, Roel Vercammen
  • Lux: A Lightweight, Statically Typed XML Update Language
    James Cheney
  • A Theory of Contracts for Web Services
    Giuseppe Castagna, Nils Gesbert, Luca Padovani
  • XML Transformation Language Based on Monadic Second Order Logic
    Kazuhiro Inaba, Haruo Hosoya
  • XPath Typing Using a Modal Logic with Converse for Finite Trees
    Pierre Geneves, Nabil Layaida, Alan Schmitt
  • Deciding Equivalence of Top-Down XML Transformations in Polynomial Time
    Sebastian Maneth, Helmut Seidl
  • A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice
    Nate Foster, Benjamin C. Pierce, Alan Schmitt

Демонстрации:

  • MTran: An XML Transformation Language Bases on Monadic Second Order Logic
    Kazuhiro Inaba, Haruo Hosoya
  • XCentric: A Logic-Programming Language for XML Processing
    Jorge Coelho, Mário Florido
  • LINQ to XSD
    Ralf Lämmel
  • GeLaBa: A Framework to Define Classes of XML Documents and to Automatically Derive Specialized Infrastructures
    Benoit Pin, Georges André Silber