Sciweavers

1004 search results - page 77 / 201
» Safe Constraint Queries
Sort
View
98
Voted
CDB
2004
Springer
143views Database» more  CDB 2004»
15 years 6 months ago
Constraint Processing Techniques for Improving Join Computation: A Proof of Concept
Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....
Anagh Lal, Berthe Y. Choueiry
99
Voted
EKAW
2006
Springer
15 years 4 months ago
Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
Peter M. D. Gray, Graham J. L. Kemp
88
Voted
PODS
2000
ACM
102views Database» more  PODS 2000»
15 years 5 months ago
Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate line...
Floris Geerts, Bart Kuijpers
149
Voted
SEBD
2003
159views Database» more  SEBD 2003»
15 years 2 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli
TC
1997
15 years 1 months ago
An Extensible Framework for Repairing Constraint Violations
In this paper we describe a new approach to repairing violations of integrity constraints in databases with null values. By adopting basic concepts from model-based diagnosis, we ...
Michael Gertz, Udo W. Lipeck