Abstract
Whenever we have data represented by constraints (such as order, linear, polynomial, etc.), running time for many constraint processing algorithms can be considerably lowered if it is known that certain variables in those constraints are independent of each other. For example, when one deals with spatial and temporal databases given by constraints, the projection operation, which corresponds to quantifier elimination, is usually the costliest. Since the behavior of many quantifier elimination algorithms becomes worse as the dimension increases, eliminating certain variables from consideration helps speed up those algorithms.
While these observations have been made in the literature, it remained unknown when the problem of testing if certain variables are independent is decidable, and how to construct efficiently a new representation of a constraint-set in which those variables do not appear together in the same atomic constraints. Here we answer this question. We first consider a general condition that gives us decidability of variable independence; this condition is stated in terms of model-theoretic properties of the structures corresponding to constraint classes. We then show that this condition covers the domains most relevant to spatial and temporal applications. For some of these domains, including linear and polynomial constraints over the reals, we provide a uniform decision procedure which gives us tractability, and present a polynomial-time algorithm for producing nice constraint representations.
Part of this work was done while visiting INRIA.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
S. Basu. New results on quantifier elimination over real closed fields and applications to constraint databases. Journal of the ACM, 46 (1999), 537–555.
J. Bochnak, M. Coste, M.-F. Roy. Real Algebraic Geometry. Springer Verlag, 1998.
B.F. Caviness and J.R. Johnson, Eds. Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer Verlag, 1998.
C.C. Chang and H.J. Keisler. Model Theory. North Holland, 1990.
J. Chomicki, D. Goldin and G. Kuper. Variable independence and aggregation closure. In PODS’96, pages 40–48.
G. E. Collins and R. Loos. Real zeros of polynomials. In Computer Algebra: Symbolic and Algebraic Computation, Springer-Verlag, 1983, pages 83–94.
H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972.
A. Fordan and R. Yap. Early projection in CLP(R). In CP’98, pages 177–191.
S. Grumbach, P. Rigaux, L. Segoufin. The DEDALE system for complex spatial queries. In SIGMOD’98, pages 213–224.
S. Grumbach, P. Rigaux, L. Segoufin. On the orthographic dimension of constraint databases. In ICDT’99, pages 199–216.
W. Hodges. Model Theory. Cambridge, 1993.
J.-L. Imbert. Redundancy, variable elimination and linear disequations. In SLP’94, pages 139–153.
F. Kabanza, J.-M. Stevenne and P. Wolper. Handling infinite temporal data. Journal of Computer and System Sciences, 51 (1995), 3–17.
P. Kanellakis, G. Kuper, and P. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(1995), 26–52. Extended abstract in PODS’90, pages 299–313.
G. Kuper, L. Libkin and J. Paredaens, eds. Constraint Databases. Springer Verlag, 2000.
L. Libkin. Some remarks on variable independence, closure, and orthographic dimension in constraint databases. SIGMOD Record 28(4) (1999), 24–28.
L. Libkin. Variable independence, quantifier elimination, and constraint representations. Bell Labs Technical Memo, 1998.
D. Marker, M. Messmer and A. Pillay. Model Theory of Fields. Springer Verlag, 1996.
A. Pillay, C. Steinhorn. Definable sets in ordered structures. III. Trans. AMS 309 (1988), 469–476.
J. Renegar. On the computational complexity and geometry of the first-order theory of the reals. J. Symb. Comp. 13 (1992), 255–352.
A. Stolboushkin and M. Tsaitlin. Finite queries do not have effective syntax. Information and Computation, 153 (1999), 99–116.
L. van den Dries. Remarks on Tarski’s problem concerning (R,+,*,exp). In Logic Colloquium’82, North Holland, 1984, pages 97–121.
L. van den Dries. Tame Topology and O-Minimal Structures. Cambridge, 1998.
A.J. Wilkie. Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function. J. Amer. Math. Soc. 9 (1996), 1051–1094.
G.M. Ziegler. Lectures on Polytopes. Springer-Verlag, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Libkin, L. (2000). Variable Independence, Quantifier Elimination, and Constraint Representations. In: Montanari, U., Rolim, J.D.P., Welzl, E. (eds) Automata, Languages and Programming. ICALP 2000. Lecture Notes in Computer Science, vol 1853. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45022-X_23
Download citation
DOI: https://doi.org/10.1007/3-540-45022-X_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67715-4
Online ISBN: 978-3-540-45022-1
eBook Packages: Springer Book Archive