19. A computer system according to claim 13 wherein said means for inferring one or more new predicates comprises: means for determining whether one or more of said new predicates is not useful to solve said query; and means for eliminating said non-useful new predicate.
22. A computer system according to claim 19 wherein said eliminating meanss involves means for eliminating all predicates involving f.sub.{R,X,A,Y}.