Ingres (banco de dados): diferenças entre revisões