Object-oriented database management system