Predicate Boundedness of Linear Monadic Datalog is in PSPACE.

Ron van der Meyden

Published in: Int. J. Found. Comput. Sci. (2000)

Keyphrases

sufficient conditions
first order logic
temporal logic