![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data
This paper gives a short overview of specific logical approaches to data extraction, data management, and reasoning about data. In particular, we survey theoretical results and formalisms that have been obtain...
-
Chapter and Conference Paper
Compilation and Synthesis in Big Data Analytics
Databases and compilers are two long-established and quite distinct areas of computer science. With the advent of the big data revolution, these two areas move closer, to the point that they overlap and merge....
-
Chapter and Conference Paper
Loop Elimination for Database Updates
The additional expressive power of procedural extensions of query and update languages come at the expense of trading the efficient set-at-a-time processing of database engines for the much less efficient tupl...
-
Chapter and Conference Paper
Markov Chain Monte Carlo and Databases
Several currently ongoing research efforts aim to combine Markov Chain Monte Carlo (MCMC) with database management systems. The goal is to scale up the management of uncertain data in contexts where only MCMC ...
-
Chapter and Conference Paper
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 develop efficient algorithms for ...
-
Chapter and Conference Paper
World-Set Decompositions: Expressiveness and Efficient Algorithms
Uncertain information is commonplace in real-world data management scenarios. An important challenge in this context is the ability to represent large sets of possible instances (worlds) while supporting effic...
-
Chapter and Conference Paper
A Formal Comparison of Visual Web Wrapper Generators
We study the core fragment of the Elog wrap** language used in the Lixto system (a visual wrapper generator) and formally compare Elog to other wrap** languages proposed in the literature.
-
Chapter and Conference Paper
XPath Query Processing
XPath 1 [4] is a practical language for selecting nodes from XML document trees and plays an essential role in other XML-related technologies such as XSLT and XQuery. Implementations of XPath need to scale well b...
-
Chapter and Conference Paper
Attribute Grammars for Scalable Query Processing on XML Streams
We introduce the new notion of XML Stream Attribute Grammars (XSAGs). XSAGs are the first scalable query language for XML streams (running strictly in linear time with bounded memory consumption independent of...
-
Chapter and Conference Paper
Query Rewriting with Symmetric Constraints
We address the problem of answering queries using expressive symmetric inter-schema constraints which allow to establish map**s between several heterogeneous information systems. This problem is of high relevan...
-
Chapter and Conference Paper
Explicit Modeling of the Semantics of Large Multi-layered Object-Oriented Databases
Description-driven systems based on meta-objects are an increasingly popular way to handle complexity in large-scale object- oriented database applications. Such systems facilitate the management of large amou...