Effizienter Datenbankentwurf für den Bergbaubetrieb mit semantischer Datenmodellierung

Zusammenfassung

Effizienter Datenbankentwurf sollte Paradigmeninvarianz gegenüber Computerimplementationen garantieren. Semantische Modelle stellen nur dann eine wirkliche Hilfe dar, wenn deren Syntax durch eine mathematische Metasemantik objektivierbar ist. Die kategoriale Semantik erlaubt die Formulierung der mit semantischen Typkonstruktoren verbundenen Integritätsregeln sowie eine problemadäquate Definition der Begriffe Schema, Theorie und Modell. Am Beispiel einer Datenbank für Steinkohlenbergbaubetriebe wird die Nützlichkeit des semantischen Datenentwurfes belegt.

Summary

Efficient database design should be independent of the acutal implementations of computer paradigms. Semantic modelling, as a possible alternative, needs justification by some mathematical metasemantics, that garantees more intellectual stability. Categorical semantics allows the formulation of integrity rules, belonging to semantic type constructors, within its own context as well as a new approach in defining terms like scheme, theory and model. The usefulness of semantic DB-design is demonstrated by a special design for an underground coal mining data model.