Sciweavers

266 search results - page 1 / 54
» On first-order topological queries
Sort
View
PODS
2004
ACM
110views Database» more  PODS 2004»
14 years 11 months ago
A Characterization of First-Order Topological Properties of Planar Spatial Data
d abstract) Michael Benedikt Bell Labs Jan Van den Bussche Limburgs Universitair Centrum Christof L?oding Lehrstuhl Informatik VII RWTH Aachen Thomas Wilke Institut f?ur Informatik...
Christof Löding, Jan Van den Bussche, Michael...
JSYML
2000
77views more  JSYML 2000»
13 years 10 months ago
Formal Topologies on The Set of First-Order Formulae
Thierry Coquand, Sara Sadocco, Giovanni Sambin, Ja...
PODS
2004
ACM
98views Database» more  PODS 2004»
14 years 11 months ago
Processing First-Order Queries under Limited Access Patterns
We study the problem of answering queries over sources with limited access patterns. Given a first-order query Q, the problem is to decide whether there is an equivalent query whi...
Alan Nash, Bertram Ludäscher
ISMIS
2000
Springer
14 years 2 months ago
Top-Down Query Processing in First Order Deductive Databases under the DWFS
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
C. A. Johnson
ICDT
2005
ACM
128views Database» more  ICDT 2005»
14 years 4 months ago
First-Order Query Rewriting for Inconsistent Databases
We consider the problem of retrieving consistent answers over databases that might be inconsistent with respect to some given integrity constraints. In particular, we concentrate o...
Ariel Fuxman, Renée J. Miller