Abstract
We consider the data complexity of various logics on two important classes of constraint databases: dense order and linear constraint databases. For dense order databases, we present a general result allowing us to lift results on logics capturing complexity classes from the class of finite ordered databases to dense order constraint databases. Considering linear constraints, we show that there is a significant gap between the data complexity of first-order queries on linear constraint databases over the real and the natural numbers. This is done by proving that for arbitrary high levels of the Presburger arithmetic there are complete first-order queries on databases over (ℕ,<,+).The proof of the theorem demonstrates a simple argument for the translating complexity results for prefix classes in logical theories to results on the complexity of query evaluation in contraint boundary databases.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995. 67, 80
E. Grädel. Subclasses of Presburger arithmetic and the polynomial-time hierarchy. Theoretical Computer Science, 56:289–301, 1988. 71, 71, 72
E. Grädel and Y. Gurevich. Metafinite model theory. Information and Computation, 140:26–81, 1998. 68
E. Grädel and K. Meer. Descriptive complexity theory over the real numbers. In Mathematics of Numerical Analysis: Real Number Algorithms, volume 32 of AMS Lectures in Applied Mathematics, pages 381–403. 1996. 68
S. Grumbach and J. Su. Finitely representable databases. Journal of Computer and System Sciences, 55:273–298, 1997. 68, 68, 70, 70
S. Grumbach and J. Su. Queries with arithmetical constraints. Theoretical Computer Science, 173:151–181, 1997. 68, 68
S. Grumbach, J. Su, and C. Tollu. Linear constraint query languages: Expressive power and complexity. Lecture Notes in Computer Science, 960:426–446, 1995. 70
D. Harel. Towards a theory of recursive structures. volume 1450 of Lecture Notes in Computer Science, pages 36–53. Springer, 1998. 68
W. Hodges. Model Theory. Cambridge University Press, 1993. 78
N. Immerman. Descriptive complexity. Graduate Texts in Computer Science. Springer, 1998. 67, 80
P. Kanellakis and D. Goldin. Constraint programming and database query languages. volume 789 of Lecture Notes in Computer Science, pages 96–120. Springer, 1994. 68
P. Kanellakis, G. Kuper, and P. Revesz. Constraint query languages. Journal of Computer and Systems Sciences, 51:26–52, 1995. 68, 68, 68, 68, 81
S. Kreutzer. Descriptive complexity theory for constraint databases. Diplomarbeit, RWTH Aachen, 1999. 80
P. Revesz. A closed form evaluation for datalog queries with integer (gap)-order constraints. Theoretical Computer Science, 116:117–149, 1993. 80
U. Schöning. Complexity of Presburger arithmetic with fixed quantifier dimension. Theory of Computing Systems, 30:423–428, 1997. 71, 72
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grädel, E., Kreutzer, S. (1999). Descriptive Complexity Theory for Constraint Databases. In: Flum, J., Rodriguez-Artalejo, M. (eds) Computer Science Logic. CSL 1999. Lecture Notes in Computer Science, vol 1683. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48168-0_6
Download citation
DOI: https://doi.org/10.1007/3-540-48168-0_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66536-6
Online ISBN: 978-3-540-48168-3
eBook Packages: Springer Book Archive