Zusammenfassung
Im folgenden wird die MQL-Algebra vorgestellt, mit deren Hilfe die Semantik von MQL-Anfragen formal definiert werden kann. Nur eine solche formale Grundlage ermöglicht es, die Bedeutung einzelner Sprachkonstrukte vollständig zu fassen und die Korrektheit von Äquivalenzbetrachtungen wirklich nachzuweisen. Bereits in [Mi89] wird eine solche formale Grundlage für das MAD-Modell gefordert. So hätte die Existenz einer entsprechenden Grundlage für SQL (die alle Sprachkonstrukte nachbilden kann, also über die relationale Algebra hinausgeht) vermutlich die in [Da87b, GW87] nachgewiesenen Fehler in den Betrachtungen zur Umformungen der asymmetrischen Join-Notation in eine symmetrische [Ki82] vermieden, oder sie wären zumindest früher erkannt worden.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Deutscher Universitäts-Verlag GmbH, Wiesbaden
About this chapter
Cite this chapter
Schöning, H. (1993). Die MQL-Algebra. In: Anfrageverarbeitung in Komplexobjekt-Datenbanksystemen. Deutscher Universitätsverlag. https://doi.org/10.1007/978-3-322-91023-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-322-91023-3_3
Publisher Name: Deutscher Universitätsverlag
Print ISBN: 978-3-8244-2041-4
Online ISBN: 978-3-322-91023-3
eBook Packages: Springer Book Archive