On the Expressive Power of Datalog: Tools and a Case Study

• 1 August 1995
• journal article
• Published by Elsevier in Journal of Computer and System Sciences
• Vol. 51  (1) , 110-134
• https://doi.org/10.1006/jcss.1995.1055

Abstract

Keywords

• LANGUAGE
• COMPLEXITY
• EXPRESSIVE POWER
• QUERIES
• DATALOG
• EXPRESSIBILITY
• TWO DICHOTOMIES
• THEORET