Sciweavers

DBPL
2007
Springer
158views Database» more  DBPL 2007»
14 years 2 months ago
Efficient Algorithms for the Tree Homeomorphism Problem
Tree pattern matching is a fundamental problem that has a wide range of applications in Web data management, XML processing, and selective data dissemination. In this paper we deve...
Michaela Götz, Christoph Koch, Wim Martens
DBPL
2007
Springer
119views Database» more  DBPL 2007»
14 years 2 months ago
A Better Semantics for XQuery with Side-Effects
Abstract. Formal semantics for XQuery with side-effects have been proposed in [13, 16]. We propose a different semantics which is better suited for database compilation. We substan...
Giorgio Ghelli, Nicola Onose, Kristoffer Hø...
DBPL
2007
Springer
101views Database» more  DBPL 2007»
14 years 2 months ago
Efficient Inclusion for a Class of XML Types with Interleaving and Counting
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
DBPL
2007
Springer
103views Database» more  DBPL 2007»
14 years 2 months ago
Datalog Programs over Infinite Databases, Revisited
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
Sara Cohen, Joseph Gil, Evelina Zarivach
DBPL
2007
Springer
115views Database» more  DBPL 2007»
14 years 5 months ago
XML Publishing: Bridging Theory and Practice
Transforming relational data into XML, as known as XML publishing, is often necessary when one wants to exchange data residing in databases or to create an XML interface of a tradi...
Wenfei Fan
DBPL
2007
Springer
98views Database» more  DBPL 2007»
14 years 5 months ago
Towards Practical Typechecking for Macro Tree Transducers
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
Alain Frisch, Haruo Hosoya
DBPL
2007
Springer
83views Database» more  DBPL 2007»
14 years 5 months ago
Succinctness of Pattern-Based Schema Languages for XML
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
Wouter Gelade, Frank Neven
DBPL
2007
Springer
119views Database» more  DBPL 2007»
14 years 5 months ago
Conjunctive Query Containment over Trees
Abstract. The complexity of containment and satisfiability of conjunctive queries over finite, unranked, labeled trees is studied with respect to the axes Child, NextSibling, the...
Henrik Björklund, Wim Martens, Thomas Schwent...
DBPL
2007
Springer
136views Database» more  DBPL 2007»
14 years 5 months ago
Analysis of Imperative XML Programs
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
Michael G. Burke, Igor Peshansky, Mukund Raghavach...