Ashok K. Chandra David Harel Computable Queries for Relational Data Bases. 156-178 1980 21 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss21.html#ChandraH80 db/journals/jcss/ChandraH80.html