Formal operation definition in object-oriented databases by M. Van Keulen