XPath leashed

M Benedikt, C Koch - ACM Computing Surveys (CSUR), 2009 - dl.acm.org
This survey gives an overview of formal results on the XML query language XPath. We
identify several important fragments of XPath, focusing on subsets of XPath 1.0. We then …

Foundations of SPARQL query optimization

M Schmidt, M Meier, G Lausen - … of the 13th international conference on …, 2010 - dl.acm.org
We study fundamental aspects related to the efficient processing of the SPARQL query
language for RDF, proposed by the W3C to encode machine-readable information in the …

Logics for unranked trees: An overview

L Libkin - Logical Methods in Computer Science, 2006 - lmcs.episciences.org
Labeled unranked trees are used as a model of XML documents, and logical languages for
them have been studied actively over the past several years. Such logics have different …

JSON: Data model and query languages

P Bourhis, JL Reutter, D Vrgoč - Information Systems, 2020 - Elsevier
Despite the fact that JSON is currently one of the most popular formats for exchanging data
on the Web, there are very few studies on this topic and there is no agreement upon a …

[BUKU][B] Foundations of data exchange

M Arenas, P Barceló, L Libkin, F Murlak - 2014 - books.google.com
The problem of exchanging data between different databases with different schemas is an
area of immense importance. Consequently data exchange has been one of the most active …

Conjunctive queries over trees

G Gottlob, C Koch, KU Schulz - Journal of the ACM (JACM), 2006 - dl.acm.org
We study the complexity and expressive power of conjunctive queries over unranked
labeled trees represented using a variety of structure relations such as “child”,“descendant” …

Multicrawler: A pipelined architecture for crawling and indexing semantic web data

A Harth, J Umbrich, S Decker - The Semantic Web-ISWC 2006: 5th …, 2006 - Springer
The goal of the work presented in this paper is to obtain large amounts of semistructured
data from the web. Harvesting semistructured data is a prerequisite to enabling large-scale …

Data flow testing of service-oriented workflow applications

L Mei, WK Chan, TH Tse - … of the 30th international conference on …, 2008 - dl.acm.org
WS-BPEL applications are a kind of service-oriented application. They use XPath
extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong …

On the minimization of XML schemas and tree automata for unranked trees

W Martens, J Niehren - Journal of Computer and System Sciences, 2007 - Elsevier
Automata for unranked trees form a foundation for XML Schemas, querying and pattern
languages. We study the problem of efficiently minimizing such automata. First, we study …

Algorithmic meta theorems for circuit classes of constant and logarithmic depth

M Elberfeld, A Jakoby, T Tantau - STACS'12 (29th Symposium on …, 2012 - hal.science
An algorithmic meta theorem for a logic and a class C of structures states that all problems
expressible in this logic can be solved efficiently for inputs from $ C $. The prime example is …