TY - BOOK AU - Gray, Peter M D. TI - Logic algebra and databases SN - 8185095825 U1 - 005.74 1 PY - 1988/// CY - New Delhi PB - Affiliated East- West Press Ltd. KW - Lambda expressions and list processing KW - Representing programs in functional notation KW - Calculus based languages KW - Query transformation in algebra and calculus ER -