Restrukturierung objektorientierter Datenbankschemata mittels formaler Begriffsanalyse.