Self-Describing Database Systems - Formalization and Realization