INGRES, Jean-Auguste-Dominique