Terminierungs-Analyse von SQL-Triggern. Sommersemester 05 T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs-Analyse 1

Transkript

1 Terminierungs- von SQL-Triggern T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 1

2 Terminierungs- von SQL-Triggern Seminar Intelligente Datenbanken Prof. Dr. R. Manthey Andreas Behrend Referent: Tilman Jahn 24. Mai 2005 T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 2

3 Quellen Lee, Ling: A path removing technique for detecting Trigger Termination Nelson et. al., IBM: SQL99, SQL/MM, and SQLJ: An Overview of the SQL Standards, IBM Database Common Technology R. Manthey: Informationssystem, WS 04/05, Vorlesungs-Skript/-Folien MySQL.de: MySQL Reference Manual, Stand Mai 2005 T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 3

4 Gliederung -Regeln Terminierungsanalyse Abhängigkeitsgraphen Aktivierungsgraphen T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 4

5 Trigger Teil aktiver Datenbanken automatische Reaktion auf bestimmte Ereignisse Anfragen ADBMS Reaktionen T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 5

6 Einsatzgebiete von Triggern Integritäts-Prüfung Integritäts-Erhaltung Protokoll-Funktion T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 6

7 SQL-Trigger im Standard SQL:1992 noch nicht vorgesehen umfangreiches Konzept im Standard SQL:1999 Implementierung schon vor SQL:1999 in vielen kommerziellen DBMS zeigt große Notwendigkeit und Bedarf T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 7

8 Wirkungsweise Quelle: R. Manthey Informationssystem, WS 04/05 T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 8

9 Trigger als ECA-Regel Event auslösendes Ereignis UPDATE, INSERT, DELETE Condition Beschränkungen auf bestimmte Ereignisse und spezielle Datenbankzustände Action auszuführende Änderungen SQL-Befehle Funktionen Auslösung weiterer Trigger durch Änderungen T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 9

10 SQL-Trigger-Syntax Auslösezeitpunkt Trigger-Name Bedingung Action CREATE TRIGGER _newmoney AFTER INSERT ON accounts REFERENCING NEW AS newrow FOR EACH ROW WHEN (NOT EXISTS (SELECT * FROM owner WHERE Name=newrow.Name)) BEGIN ATOMIC INSERT INTO owner values (newrow.name,null); END Auslöser Transitionsvariable T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 10

11 SQL-Trigger Beispiel Quelle: R. Manthey Informationssystem, WS 04/05 T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 11

12 Trigger-Typen in SQL Quelle: IBM Database Common Technology, [1] T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 12

13 Terminierungs-Probleme INSERT INTO accounts values ( ABC, 0) CREATE TRIGGER _tri01 AFTER INSERT ON accounts REFERENCING NEW AS newrow FOR EACH ROW WHEN (newrow.balance = 0) BEGIN ATOMIC INSERT INTO owner values (newrow.name,null); END T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 13 CREATE TRIGGER _tri02 AFTER INSERT ON owner REFERENCING NEW AS newrow FOR EACH ROW WHEN (newrow.num-acc = NULL) BEGIN ATOMIC INSERT INTO accounts values (newrow.name,0); END

14 Terminierungs- Notwendig, weil Beweis der Terminierung eines Trigger- Systems Lauffähigkeit der Datenbank sichern Fehler-Vermeidung Vermeidung von System-Abstürzen ABER: Schwierig in der Durchführung T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 14

15 Abhängigkeitsgraphen (1) t1 t8 t2 t3 t6 t7 t9 t4 t5 T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 15

16 Abhängigkeitsgraphen (2) t1:: e1(x,y) IF X > 5 DO e2(x,y) t2:: e2(x,y) IF Y = 1 DO e3(x,y) t3:: e3(x,y) IF X < 5 DO e1(x,y) t1 t3 t2 T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 16

17 Aktivierungsgraphen Basis: Abhängigkeitsgraph Erweiterung um Pfade Erstellung von Pfad-Bedingungen Zyklentest auf Basis der Pfadbedingung Zyklenfreiheit = Terminierung t1 t3 t2 T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 17

18 Pfad-Bedingungen erstellen t1:: e1(x,y) IF X > 5 DO e2(x,y) t2:: e2(x,y) IF Y = 1 DO e3(x,y) t3:: e3(x,y) IF X < 5 DO e1(x,y) Betrachte Pfad <t1,t2,t3,t1> t1 t3 <t1>: (x>5) <t3,t1>: (x<5)/\(x>5) <t2,t3,t1>: (y=1)/\false <t1,t2,t3,t1>: FALSE t2 Pfad kann entfernt werden zyklenfreiheit T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 18

19 Beispiel (1) r1::e1(x,y) IF (x>1) DO {e2(x,0),e3(1,y)} r2::e2(x,y) IF TRUE DO e1(y,x) r3::e3(x,y) IF x y DO e2(x,y) t1 t3 t2 T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 19

20 Beispiel (2) F act (<<r1,r2,r1>>) =? t1 t3 1. F act (<<r1>>) = (X>1) 2. F act (<<r2,r1>>)=(y>1) 3. F act (<<r1,r2,r1>>) = FALSE => Pfad kann entfernt werden t2 T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 20

21 Genaue Vorgehensweise: 1) Bedingung aus r1 2) Bedingung aus r2 (true) und Berücksichtigung der Substitution {x/y,y/x} 3) Bedingung aus r3 und Berücksichtigung der Substitution {x/x,y/0} [x wir durch x ersetzt, y durch 0] [(x>1) /\ ((y>1){x/x,y/0})=(x>1 /\ FALSE) = FALSE T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 21

22 zyklenfreier Graph terminiert ist als Algorithmus implementierbar ermöglicht Erkennung und Auflösung weiterer ungenutzter Zyklen kann aber nur Teile des Gesamtproblems entscheiden T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 22

23 Zum Schluss... T. Jahn Seminar Intelligente Datenbanken SQL-Trigger: Terminierungs- 23