![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Finding Tight Hamilton Cycles in Random Hypergraphs Faster
In an r-uniform hypergraph on n vertices a tight Hamilton cycle consists of n edges such that there exists a cyclic ordering of the vertices where the edges correspond to consecutive segments of r vertices. We pr...
-
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
Requirements for a Value Stream Map** in Make-To-Order Environments
Value stream map** (VSM) is a widely proven method to optimize a production. The practical approach, the manageable effort and the target-oriented procedure are the factors of success of this method. However...
-
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
Correlating Chest Surface Motion to Motion of the Liver Using ε-SVR – A Porcine Study
In robotic radiosurgery, the compensation of motion of internal organs is vital. This is currently done in two phases: an external surrogate signal (usually active optical markers placed on the patient’s chest...
-
Chapter and Conference Paper
Applications of Automata in XML Processing
XML is at once a document format and a semistructed data model, and has become a de-facto standard for exchanging data on the Internet. XML documents can alternatively be viewed as labeled trees, and tree auto...
-
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
Interpreting Tree-to-Tree Queries
We establish correspondences between top-down tree building query languages and predicate logics. We consider the expressive power of the query language XQ, a clean core of the practitioner’s language XQuery. We ...
-
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
The Complexity of Querying External Memory and Streaming Data
We review a recently introduced computation model for streaming and external memory data. An important feature of this model is that it distinguishes between sequentially reading (streaming) data from external me...
-
Chapter and Conference Paper
Tight Lower Bounds for Query Processing on Streaming and External Memory Data
We study a clean machine model for external memory and stream processing. We show that the number of scans of the external data induces a strict hierarchy (as long as work space is sufficiently small, e.g., po...
-
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
The DLV System
The development of the DLV system has started as a research projectfinanced by FWF (the Austrian Science Funds) in 1996,and has evolved into an international collaboration over the years. Currently, the Univer...
-
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
System Description: DLV
DLV is an efficient Answer Set Programming (ASP) system implementing the consistent answer set semantics [5] with various language enhancements like support for logic programming with inheritance and queries, int...
-
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...