6.5.6 Weitere Anfragesprachen

1. Universalrelationen-Anfragesprachen:
   • Idee: Formulierung der Anfragen ohne explizite Verbunde
   • vorzustellen: Universalrelation mit allen in DB vorhandenen Attributen
   • noch nötige Operationen: i.w. Projektion, Selektion
   • Bsp.: DB-Schema mit Relationen Studenten, Prüfer, Prüfungen

     statt
     SELECT SName
     FROM Studenten, Pruefer, Pruefungen
     WHERE Studenten.Matrnr = Pruefungen.Matrnr
     AND Pruefungen.Pruefernr = Pruefer.Pruefernr
     AND Pruefer.PName = 'Schreiner';
     

     nur kurz

     SELECT SName
     WHERE PName = 'Schreiner';
     

   • zugehörige Relationen und Verbunde muß System selber bestimmen
   • Voraussetzungen: Attributnamen global eindeutig, Schema azyklisch

Weitere Anfragesprachen

2.

Regelbasierte Anfragesprachen:

• Idee: wie regelbasierte Programmiersprachen (z.B. PROLOG)
• Grundlagen (hier von DATALOG):
  • Prädikate (Atome): beschreiben Relation oder eine Selektion auf einer Relation (abgeleitete Relation); daneben: Vergleichsprädikate der Form X = Y, X < Y, X < 3, ...
  • Literal: Atom oder negiertes Atom
  • Klausel: Disjunktion von Literalen
  • Horn-Klausel: Klausel mit höchstens einem nicht-negativen Literal;
    • nur ein nicht-negatives Literal: Fakt
    • kein nicht-negatives Literal: Integritätsbedingung
    • ein nicht-negatives und ein oder mehrere negative Literale: Regel
    • Beachte: (not P1) or .. or (not Pn) or P
      entspricht
      P1 and ... and Pn => P
      geschrieben als:
      P :- P1, ..., Pn.
• DATALOG-Programm: Menge von Horn-Klauseln
• Variablen die nur im Rumpf vorkommen sind Existenz-quantifiziert, alle anderen all-quantifiziert

• Beispiel (Basisrelation: Eltern(Sohn_Tocher, Elternteil)):

  Eltern(Kain,Adam).
  Eltern(Kain,Eva).
  Eltern(Abel,Adam).
  Eltern(Abel,Eva).
  Eltern(Muth,Kain).
  Eltern(Joseph,Kain).
  Eltern(Maria,Muth).
  Eltern(Magda,Muth).
  Eltern(Magdalena, Joseph).
  Eltern(Jacob,Joseph).
  Geschwister(X,Y) :- Eltern(X,Z), Eltern(Y,Z), X <> Y.
  Cousin(X,Y) :- Eltern(X,A), Eltern(Y,B), Geschwister(A,B).
  Cousin(X,Y) :-Eltern(X,A), Eltern(Y,B), Cousin(A,B).
  Verwandt(X,Y) :- Geschwister(X,Y).
  Verwandt(X,Y) :- Verwandt(X,Z), Eltern(Y,Z).
  Verwandt(X,Y) :- Verwandt(Z,Y), Eltern(X,Z).
  

• rekursive Regel: Regel kann nicht mehr 'auf einmal' ausgewertet werden ->
  Start der Auswertung: alle abgeleiteten Relationen sind leer, Ausführung aller Regeln 1x (parallel);
  danach: alle Regeln wiederholt auf allen bisher abgeleiteten Relationen ausführen;
  Ende: wenn Fixpunkt erreicht ist (abgeleitete Relationen sich nicht mehr verändern).