The equivalence of universal relation definitions - Ullman, Jeffrey D. 1942-; Vardi, Moshe Y.; Maier, David 1953- (Stanford University, 1982)