Rakesh Agrawal Linda G. DeMichiel Type derivation using the projection operation. 55-68 1994 19 Inf. Syst. 1 db/journals/is/is19.html#AgrawalD94