Relational queries computable in polynomial time

320Citations
Citations of this article
27Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We characterize the polynomial time computable queries as those expressible in relational calculus plus a least fixed point operator and a total ordering on the universe. We also show that even without the ordering one application of fixed point suffices to express any query expressible with several alternations of fixed point and negation. This proves that the fixed point query hierarchy suggested by Chandra and Harel collapses at the first fixed point level. It is also a general result showing that in finite model theory one application of fixed point suffices. © 1986 Academic Press, Inc.

Cite

CITATION STYLE

APA

Immerman, N. (1986). Relational queries computable in polynomial time. Information and Control, 68(1–3), 86–104. https://doi.org/10.1016/S0019-9958(86)80029-8

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free