The repository for DGD, an object-oriented database management system.