1
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Complexity of Transitive Closure Is in DynTC° -- Query Languages for Constraint Databases: First-Order Logic...