On the Structure of Queries in Constraint Query Languages

  • Authors:

  • Michael Benedikt;Leonid Libkin

  • Affiliations:

  • -;-

  • Venue:
  • LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study the structure of first-order and second-order queries over constraint databases. Constraint databases are formally modeled as finite relational structures embedded in some fixed infinite structure. We concentrate on problems of elimination of constraints, reducing quantification range to the active domain of the database and obtaining new complexity bounds. We show that for a large class of signatures, including real arithmetic constraints, unbounded quantification can be eliminated. That is, one can transform a sentence containing unrestricted quantification over the infinite universe to get an equivalent sentence in which quantifiers range over the finite relational structure. We use this result to get a new complexity upper bound on the evaluation of real arithmetic constraints. We also expand upon techniques in [21] and [4] for getting upper bounds on the expressiveness of constraint query languages, and apply it to a number of first-order and second-order query languages.