We show that a form of divide and conquer recursion on sets, together
with the relational algebra, expresses exactly the queries over ordere
d relational databases which are NC-computable. At a finer level, we r
elate k nested uses of recursion exactly to AC(k), k greater than or e
qual to 1. We also give corresponding results for complex objects. (C)
1997 Academic Press.