Computable queries for relational databases (1980)

by Ashok Chandra, David Harel
Venue:Journal of Computer and System Sciences