Sciweavers

816 search results - page 58 / 164
» Typed iterators for XML
Sort
View
ACTA
2002
84views more  ACTA 2002»
13 years 8 months ago
Formal properties of XML grammars and languages
We consider XML documents described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properties...
Jean Berstel, Luc Boasson
DEBU
2008
123views more  DEBU 2008»
13 years 8 months ago
Pathfinder: XQuery Off the Relational Shelf
The Pathfinder project makes inventive use of relational database technology--originally developed to process data of strictly tabular shape--to construct efficient database-suppo...
Torsten Grust, Jan Rittinger, Jens Teubner
ICTCS
2005
Springer
14 years 1 months ago
Error Mining for Regular Expression Patterns
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
Giuseppe Castagna, Dario Colazzo, Alain Frisch
SEBD
2003
159views Database» more  SEBD 2003»
13 years 9 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli
PODS
2009
ACM
171views Database» more  PODS 2009»
14 years 8 months ago
XML schema mappings
Relational schema mappings have been extensively studied in connection with data integration and exchange problems, but mappings between XML schemas have not received the same amo...
Shun'ichi Amano, Leonid Libkin, Filip Murlak