PODS
2005
ACM
14 years 4 months ago
2005
ACM
We show that any expression of the relational division operator in the relational algebra with union, difference, projection, selection, constant-tagging, and joins, must produce ...
PODS
2005
ACM
14 years 4 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
PODS
2005
ACM
14 years 4 months ago
2005
ACM
Schema mappings are high-level specifications that describe the relationship between database schemas. Schema mappings are prominent in several different areas of database managem...
PODS
2005
ACM
14 years 4 months ago
2005
ACM
PODS
2005
ACM
14 years 4 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
PODS
2005
ACM
14 years 4 months ago
2005
ACM
PODS
2005
ACM
14 years 4 months ago
2005
ACM
We consider a scenario where we want to query a large dataset that is stored in external memory and does not fit into main memory. The most constrained resources in such a situati...
PODS
2005
ACM
14 years 4 months ago
2005
ACM
PODS
2005
ACM
14 years 4 months ago
2005
ACM
There is growing interest in algorithms for processing and querying continuous data streams (i.e., data that is seen only once in a fixed order) with limited memory resources. Pro...
PODS
2005
ACM
14 years 4 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...