Im folgenden wird die MQL-Algebra vorgestellt, mit deren Hilfe die Semantik von MQL-Anfragen formal definiert werden kann. Nur eine solche formale Grundlage ermoglicht es, die Bedeutung einzelner Sprachkonstrukte vollstandig zu fassen und die Korrektheit von Aquivalenzbetrachtungen wirklich nachzuweisen. Bereits in [Mi89] wird eine solche formale Grundlage fur das MAD-Modell gefordert. So hatte die Existenz einer entsprechenden Grundlage fur SQL (die alle Sprachkonstrukte nachbilden kann, also uber 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 waren zumindest fruher erkannt worden.