INGRES Algorithm