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