Sciweavers

835 search results - page 75 / 167
» Structural Recursion as a Query Language
Sort
View
ICDT
2012
ACM
293views Database» more  ICDT 2012»
11 years 11 months ago
On the complexity of query answering over incomplete XML documents
Previous studies of incomplete XML documents have identified three main sources of incompleteness – in structural information, data values, and labeling – and addressed data ...
Amélie Gheerbrant, Leonid Libkin, Tony Tan
WWW
2004
ACM
14 years 9 months ago
Texquery: a full-text search extension to xquery
One of the key benefits of XML is its ability to represent a mix of structured and unstructured (text) data. Although current XML query languages such as XPath and XQuery can expr...
Sihem Amer-Yahia, Chavdar Botev, Jayavel Shanmugas...
POPL
2007
ACM
14 years 9 months ago
A very modal model of a modern, major, general type system
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
Andrew W. Appel, Christopher D. Richards, Jé...
PODS
2007
ACM
104views Database» more  PODS 2007»
14 years 9 months ago
XML transformation by tree-walking transducers with invisible pebbles
The pebble tree automaton and the pebble tree transducer are enhanced by additionally allowing an unbounded number of `invisible' pebbles (as opposed to the usual `visible�...
Joost Engelfriet, Hendrik Jan Hoogeboom, Bart Samw...
DOLAP
2005
ACM
13 years 11 months ago
Modeling, querying and reasoning about OLAP databases: a functional approach
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
Ken Q. Pu