Zusammenfassung
Dieses Papier erweitert unsere frühere Arbeit über algebraische Spezifikationstechniken für Datenbanksysteme. Die Semantik algebraischer Spezifikationsschemata ist nun als eine Komposition von drei elementaren Konstruktionen gegeben:
-
1.
TABLE-construction (die Konstruktion der Objekte einer höheren Ebene aus Objekten unterer Ebenen durch Tabellierung)
-
2.
ENRICHMENT-construction (die Konstruktion von Operationen einer höheren Ebene aus Operationen unterer Ebenen)
-
3.
RESTRICTION-construction (Einschränkung der Objekte einer höheren Ebene auf konsistente Daten)
Diese Definition der Semantik erlaubt die Angabe einfacher Kriterien für den Nachweis der Korrektheit.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturangaben
Burstall, R.M., Goguen, J.A.: Putting Theories Together to Make Specifications, Proc. Int. Jt. Conf. on Artificial Intelligence, Boston, August 1977
Codd, E.F.: A Relational Model of Data for Large Shared Data Banks, COMM. ACM 13,6 (1970)
Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programming, Academic Press, 1972
Ehrig, H., Kreowski, H.-J., Padawitz, P.: Stepwise Specification and Implementation of Abstract Data Types, Proc. 5th ICALP, Udine 1978 Springer Lecture Notes in Computer Science
Ehrig, H., Kreowski, H.-J., Padawitz, P.: Algebraic Implementation of Abstract Data Types, in preparation
Ehrig, H., Kreowski, H.-J., Weber, H.: Algebraic Specification Schemes for Data Base Systems, Proc. 4th VLDB Conf, Berlin 1978, 427–440, earlier version in Technical Report HMI-B266, HMI Berlin, 1978
Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, IBM Research Report RC 6487 (1976)
Guttag, J.V.: Abstract Data Types and the Development of Data Structures, supplement to Proc. Conf. on Data Abstraction, Definition, and Structure, SIGPLAN Notices 8, March, 1976
Liskov, B.H.: An Introduction to CLU, MIT, CSG Memo 136, 1976
Mills, H.D.: The New Math of Computer Programming, CACM 18,1 (1975)
Thatcher, J.W., Wagner, E.G., Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques, Proc. SIGACT 10th Annual Symposium on Theory of Computing, San Diego, May 1978
Weber, H.: The D-Graph Model of Large Shared Data Bases: A Representation of Integrity Constraints and Views on Abstract Data Types, IBM Research Report RJ 1875 (27024) 1976
Weber, H.: A Software Engineering View of Data Base Systems; Proceedings 4th VLDB Conf., 1978
Zilles, S.N.: Algebraic Specification of Data Types, Proj. MAC Report 11, MIT, Cambridge, Mass (1974) 25–28
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Ehrig, H., Kreowski, HJ., Weber, H. (1979). Neue Aspekte Algebraischer Spezifikationsschemata für Datenbanksysteme. In: Mayr, H.C., Meyer, B.E. (eds) Formale Modelle für Informationssysteme. Informatik-Fachberichte, vol 21. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67485-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-67485-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09773-0
Online ISBN: 978-3-642-67485-3
eBook Packages: Springer Book Archive