Database-management system (EXPIRED)