On Datalog vs Polynomial Time

• 1 October 1995
• journal article
• Published by Elsevier in Journal of Computer and System Sciences
• Vol. 51  (2) , 177-196
• https://doi.org/10.1006/jcss.1995.1060

Abstract

Keywords

• PUMPING
• MONOTONIC
• POLYNOMIAL TIME
• CIRCUIT
• QUERIES
• LEMMA
• TIME WE SHOW
• DATALOG VS POLYNOMIAL