F. Odeh, I. Tadjbakhsh
Archive for Rational Mechanics and Analysis
Paper
On datalog vs polynomial time
Abstract
We show that certain monotonic polynomial time queries are not expressible in variants of Datalog. The proof techniques include lower bounds for monotone circuit size and a “Pumping Lemma” for Datalog queries. © 1995 by Academic Press, Inc.
Related
Leo Liberti, James Ostrowski
Journal of Global Optimization
Conference paper
Characterization of a next generation step-and-scan system
Timothy J. Wiltshire, Joseph P. Kirk, et al.
SPIE Advanced Lithography 1998
Shashanka Ubaru, Lior Horesh, et al.
Journal of Biomedical Informatics