Technical Correspondence: On the Utility of Computing Inferences in Data Base Query Systems