Zusammenfassung
LEGOL-2 ist eine extrem abstrakte deskriptive Sprache zur reinen Spezifikation des „Was”-Verhaltens von Informationssystemen mittels Regeln, die auf eine relationale Datenbasis wirken. Um das Modellieren von Daten semantisch zu strukturieren, stellt LEGOL-2 das „Surrogatmodell” bereit; das Modell weist semantische Merkmale auf, die Datentabellen erheblich strengeren Beschränkungen unterwerfen als die relationale Dritte-Normal-Form. — Das Surrogatmodell wird gemeinsam mit seinem Bezugsrahmen beschrieben. Anschließend wird das Modell kritisch diskutiert, wobei auf Klarheit, Konsistenz, Vollständigkeit und semantische Angemessenheit des Modells besonderes Gewicht gelegt wird. Einige Formalisierungsansätze werden vorgestellt, die beim Aufweisen von Wegen zur Lösung offener Probleme helfen sollen.
Abstract
LEGOL-2 is an extremely high level descriptive language to merely specify the “what-to-do”-behaviour of information systems by means of rules operating upon a relational data base. In order to structure data modelling semantically, it provides the Surrogate Model embodying semantic features that impose upon data tables much stronger restrictions than the relational Third-Normal-Form does. — The Surrogate Model is being described together with its environmental framework. Subsequently, the Model is being criticized; special emphasis is laid upon distinctness, consistency, completeness, and semantic adequacy. Some formalizing attempts to indicate ways to solve remaining problems are introduced.
Literatur
Stamper, R. K.: The LEGOL project: a survey. IBM U. K. Scientific Centre Report UKSC 0081. Peterlee U.K.: 1976; Stamper, R. K.,et al.: The LEGOL Project since 1976. L. S. E. paper in Informatics No. L 40. London 1980; Stamper, R. K.: Information analysis of administrative systems based on legislation — implications for database design. Proceedings of ICMOD 78 International Conference on Data Base Management Systems. Juni 1978.
Codd, E. F.: A relational model of data for large shared data banks. Comm. ACM13, 377–387 (1970).
Überblick bei Reisinger, L.: Rechtsinformatik, S. 218 ff. Berlin-New York: de Gruyter 1977.
Vollständige Syntaxdefinition von LEGOL-2.0 bei Stamper, R. K.,et al.: LEGOL-2.0: A relational specification language for complex rules. L. S. E. paper in Informatics No. L 27, London 1978; von LEGOL-2.1 bei Tagg, C.: LEGOL-2.1: Reference manual. L. S. E. paper in Informatics No. L 44. London 1979.
Die folgende Beschreibung ist eine Rekonstruktion von Stamper, R. K.: Towards a semantic model for the Analysis of legislation, in: Informatica e Diritto Anno IV. Special Monographic Edition on Informatics, Logic, and Law (Martino, A. A., Maretti, E., Ciampi, C., Hrsg.). Florenz: Le Monier 1978; sowie Stamper, R. K.: Towards a semantic normal Form. IFIP TC 2 Working Conference on Database Architecture. Venedig: 1979. Die Rekonstruktion versucht, in der Original-dokumentation enthaltene inhaltliche Verschiebungen einzuebnen und fehlende Formalisierungen nachzureichen.
Zum Beispiel bei dem anläßlich einer Analyse des „Family Allowances Act 1965” O-stellig modellierten Zustand „SCHOOL-LEAVING-AGE”, dazu Jones, S., Mason, P. J.: Programming the law. IFIP TC 8-WG 8.2 Conference on the information systems environment. Bonn: 1979.
Zu prädikat- und individuenorientiert dynamisierten Prädikatenlogiken (metrische/topologische Raum-Zeit-Sprachen) Carnap, R.: Symbolische Logik, 3. Aufl., S. 159 ff., S. 198 ff. Wien-New York: Springer 1968.
Dazu Gaines, B. R.: Nonstandard logics for database systems. Eurocomp 78 — Proceedings of the European Computing Congress. Online Conferences. Uxbridge, U. K.: 1978.
Author information
Authors and Affiliations
Additional information
Der folgende Beitrag geht auf meinen Forschungsaufenthalt am Systems Analysis Department (L. S. E. System Research Group) der London School of Economics and Political Science zurück, welcher ohne die Unterstützung der British Academy und der Wolfson Foundation nicht möglich gewesen wäre. Außerdem habe ich der L. S. E. Systems Research Group, vor allem R. K. Stamper, für zahlreiche Diskussionen und mir überaus großzügig überlassenes Material zu danken.
Rights and permissions
About this article
Cite this article
Fohmann, L.H. Ein Durchbruch zur „Semantisierung” relationaler Datenmodelle? Das Datenmodell der Sprache LEGOL-2. Computing 27, 1–14 (1981). https://doi.org/10.1007/BF02243434
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02243434
Schlüsselwörter
- Deskriptive Regelspezifikationssprache
- semantisches relationales Datenmodell
- Surrogate
- Surrogatbedeutung
- Surrogatschemata
- Surrogatlogik
- semantische Algebren
- dynamischeL-Semantik
- diskrete Datensemantik
- weiche (nichtstandard) Datensemantiken
- Unschärfeverteilungen