Sciweavers

Share
PODS
2005
ACM
118views Database» more  PODS 2005»
10 years 4 months ago
On the complexity of division and set joins in the relational algebra
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 ...
Dirk Leinders, Jan Van den Bussche
PODS
2005
ACM
136views Database» more  PODS 2005»
10 years 4 months ago
Context-sensitive program analysis as database queries
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...
Monica S. Lam, John Whaley, V. Benjamin Livshits, ...
PODS
2005
ACM
123views Database» more  PODS 2005»
10 years 4 months ago
Schema mappings, data exchange, and metadata management
Schema mappings are high-level specifications that describe the relationship between database schemas. Schema mappings are prominent in several different areas of database managem...
Phokion G. Kolaitis
PODS
2005
ACM
99views Database» more  PODS 2005»
10 years 4 months ago
XML type checking with macro tree transducers
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...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...
PODS
2005
ACM
97views Database» more  PODS 2005»
10 years 4 months ago
Simulatable auditing
Krishnaram Kenthapadi, Nina Mishra, Kobbi Nissim
PODS
2005
ACM
164views Database» more  PODS 2005»
10 years 4 months ago
Lower bounds for sorting with few random accesses to external memory
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...
Martin Grohe, Nicole Schweikardt
PODS
2005
ACM
211views Database» more  PODS 2005»
10 years 4 months ago
Join-distinct aggregate estimation over update streams
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...
Sumit Ganguly, Minos N. Garofalakis, Amit Kumar, R...
PODS
2005
ACM
147views Database» more  PODS 2005»
10 years 4 months ago
Peer data exchange
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...
Ariel Fuxman, Phokion G. Kolaitis, Renée J....
books