The Ingres papers : anatomy of a relational database system