Parallel complexity of logical query programs

JD Ullman, A Van Gelder - Algorithmica, 1988 - Springer
JD Ullman, A Van Gelder
Algorithmica, 1988Springer
We consider the parallel time complexity of logic programs without function symbols, called
logical query programs, or Datalog programs. We give a PRAM algorithm for computing the
minimum model of a logical query program, and show that for programs with the “polynomial
fringe property,” this algorithm runs in time that is logarithmic in the input size, assuming that
concurrent writes are allowed if they are consistent. As a result, the “linear” and “piecewise
linear” classes of logic programs are in NC. Then we examine several nonlinear classes in …
Abstract
We consider the parallel time complexity of logic programs without function symbols, called logical query programs, or Datalog programs. We give a PRAM algorithm for computing the minimum model of a logical query program, and show that for programs with the “polynomial fringe property,” this algorithm runs in time that is logarithmic in the input size, assuming that concurrent writes are allowed if they are consistent. As a result, the “linear” and “piecewise linear” classes of logic programs are inN C. Then we examine several nonlinear classes in which the program has a single recursive rule that is an “elementary chain.” We show that certain nonlinear programs are related to GSM mappings of a balanced parentheses language, and that this relationship implies the “polynomial fringe property;” hence such programs are inN C Finally, we describe an approach for demonstrating that certain logical query programs are log space complete forP, and apply it to both elementary single rule programs and nonelementary programs.
Springer