> regarded as a pun on QUEL, the query language of Ingres

Indeed Postgres, too, is a pun on Ingres itself (post-Ingres).