Trigeris, realizuojantis dalykin taisykl darbuotojas negali dalyvauti daugiau nei 3 projektuose : trigerio kamienas - vienas ar keli SQL sakiniai,

Transcription

1 7.5. Dalykins taisykls ir trigeriai Dalykini taisykli užtikrinimas Duomen vientisumas yra tampriai susijs su vidine konkreios organizacijos darbo tvarka ir galiojaniomis joje taisyklmis, pvz.: darbuotojas negali dalyvauti daugiau negu 3 projektuose; darbuotojas negali vadovauti daugiau negu 1 projektui. DBVS užtikrinamos SV (ECA, Event-Condition- Action) taisykls vykis Slyga Veiksmas Trigeriai Dalykini taisykli užtikrinimo reikalingumas pagrstas 1976 m. straipsnyje (IBM). Pradtos diegti po 10 m. trigerio pavadinimu: su kiekvienu duomen atnaujinimo vykiu (INSERT, UPDATE, DELETE) susiejamas veiksmas, apibržtj veiksm DBVS vykdo kiekvien kart vykiui atsitikus; galima apibržti papildom slyg veiksmams atlikti. Standartizuoti SQL: Trigeriai kuriami sakiniu CREATE TRIGGER, nurodant: duomen atnaujinimo vykis (INSERT, UPDATE, DELETE), su kuriuo susiejamas triger; trigerio kvietimo momentas: prieš atliekant duomen atnaujinim ar po jo; trigerio kvietimo dažnis: kviesti j tik vien kart vykdant SQL duomen keitimo sakin ar daryti tai kiekvienai eilutei atskirai; trigerio kamienas - vienas ar keli SQL sakiniai, kuriuos reikia vykdyti, kai trigeris iškvieiamas; trigerio kamieno vykdymo slyga: kamieno sakinius vykdyti beslygiškai ar tik tuomet, kai patenkinta konkreti slyga. Trigeris, realizuojantis dalykin taisykl darbuotojas negali dalyvauti daugiau nei 3 projektuose : CREATE TRIGGER MaxVykdymSkaiiusterpiant BEFORE INSERT ON Vykdymas REFERENCING NEW AS NaujasVykdymas WHEN ((SELECT COUNT(*) FROM Vykdymas WHERE Vykdymas.Vykdytojas = NaujasVykdymas.Vykdytojas) >= 3) SIGNAL SQLSTATE (Viršytas projekt skaiius) 4-37 Visiškam šios taisykls užtikrinimui, reikalingas dar vienas trigeris vykiui UPDATE: CREATE TRIGGER MaxVykdymSkaiiusKeiiant BEFORE UPDATE OF Vykdytojas ON Vykdymas REFERENCING NEW AS NaujasVykdymas WHEN ((SELECT COUNT(*) FROM Vykdymas WHERE Vykdymas.Vykdytojas = NaujasVykdymas.Vykdytojas) >= 3) SIGNAL SQLSTATE (Viršytas projekt skaiius) 5-37 Sakiniu SET galima priskirti reikšm stulpeliui. Pvz., automatinis numerio parinkimas vykdytojams: CREATE TRIGGER NaujasVykdytojoNr BEFORE INSERT ON Vykdytojai REFERENCING NEW AS NaujasVykdytojas (SELECT MAX(Nr) + 1 FROM Vykdytojai) ; COALESCE(NaujasVykdytojas.Nr, 1) ; 6-37 Trigerio kamien: (SELECT MAX(Nr) + 1 FROM Vykdytojai) ; COALESCE(NaujasVykdytojas.Nr, 1); Galima pakeisti vienu sakiniu: (SELECT COALESCE(MAX(Nr),0) + 1 FROM Vykdytojai) 7-37 PostgreSQL: CREATE TRIGGER <trigerio vardas> <BEFORE AFTER> <INSERT UPDATE DELETE> ON <lentels vardas> FOR EACH < ROW STATEMENT > [ WHEN (<slyga>) ] EXECUTE PROCEDURE <funkcijos vardas> (<argumentai ) Galima nurodyti kelis vykius, tarp kuri rašoma OR. OLD NEW galima naudoti procedros (funkcijos) apibržime ir slygoje WHEN. Slygoje WHEN negalimos užklausos. 8-37

2 Pvz., trigeris, užtikrinantis, kad joks darbuotojas negali dalyvauti daugiau nei 3 projektuose: CREATE TRIGGER MaxVykdymSkaiius BEFORE INSERT OR UPDATE ON Vykdymas EXECUTE PROCEDURE MaxVykdymSkaiius() ; 9-37 Bendrasis funkcijos apibržimas: CREATE FUNCTION <pavadinimas>(<argumentai>) RETURNS <rezultato tipas> AS <apibržimas> LANGUAGE <kalba> ; Vietoj kabui galima naudoti $$: CREATE FUNCTION <pavadinimas>(<argumentai>) RETURNS <rezultato tipas> AS $$<apibržimas>$$ LANGUAGE <kalba> ; Apibržimas funkcijos trigeriui: CREATE FUNCTION <pavadinimas>() RETURNS TRIGGER AS <apibržimas> CREATE FUNCTION <pavadinimas>() RETURNS TRIGGER AS $$<apibržimas>$$ Apibržiant triger, funkcija turi bti jau apibržta CREATE FUNCTION MaxVykdymSkaiius() RETURNS TRIGGER AS BEGIN IF (SELECT COUNT(*) FROM Vykdymas WHERE Vykdymas.Vykdytojas=NEW.Vykdytojas) >= 3 THEN RAISE EXCEPTION Viršytas projekt skaiius IF; RETURN NEW; ; Tas pat tik naudojant $ vietoje : CREATE FUNCTION MaxVykdymSkaiius() RETURNS TRIGGER AS $$BEGIN IF (SELECT COUNT(*) FROM Vykdymas WHERE Vykdymas.Vykdytojas=NEW.Vykdytojas) >= 3 THEN RAISE EXCEPTION Viršytas projekt skaiius IF; RETURN NEW; ; $$ PostgreSQL trigerio su slyg WHEN pavyzdys: CREATE TRIGGER MaxVykdymSkaiius BEFORE UPDATE ON Vykdymas WHEN (OLD.Vykdytojas <> NEW.Vykdytojas) EXECUTE PROCEDURE MaxVykdymSkaiius() ; Motyvas: UPDATE atveju, reikalavimas darbuotojas negali dalyvauti daugiau nei 3 projektuose gali bti pažeidžiamas tik keiiant stulpelio Vykdytojas reikšm, t. y. tik tuomet tikslinga kviesti procedr Trigeris nustoja egzistuoti, j sunaikinus sakiniu Pvz., DROP TRIGGER <trigerio vardas> DROP TRIGGER NaujasVykdytojoNr PostgreSQL: DROP TRIGGER <trigerio vardas> ON <lentels vardas>; DROP FUNCTION <funkcijos vardas>; Reikšmi kitimo protokolavimas Lentels Vykdytojai stulpelio Kategorija pasikeitim stebtojas. CREATE TABLE KategorijKitimas ( Nr Momentas INTEGER NOT NULL, TIMESTAMP NOT NULL DEFAULT (CURRENT_TIMESTAMP), Atnaujintojas CHAR(16) NOT NULL DEFAULT(USER), SenaKategorija SMALLINT, NaujaKategorija SMALLINT ) 16-37

3 17-37 Visus vykdytoj kategorij pakeitim protokolavimas: a) kategorij atnaujinimo siminimas: CREATE TRIGGER KategorijosKeitimas AFTER UPDATE OF Kategorija ON Vykdytojai REFERENCING OLD AS Sena REFERENCING NEW AS Nauja INSERT INTO KategorijKitimas (Nr, SenaKategorija, NaujaKategorija) VALUES(Sena.Nr, Sena.Kategorija, Nauja.Kategorija) b) pradini kategorijos reikšmi siminimas: CREATE TRIGGER Kategorijosvedimas AFTER INSERT ON Vykdytojai REFERENCING NEW AS Nauja INSERT INTO KategorijKitimas (Nr, SenaKategorija, NaujaKategorija) VALUES (Nauja.Nr, NULL, Nauja.Kategorija) Reikalavim reikšmms užtikrinimas CHECK reikalavimai turi bti užtikrinami visada. Galimi reikalavimai, kurie turi bti užtikrinami tik duomen terpimo ir atnaujinimo momentais. Pvz., datoms prasmingi reikalavimai šiandienins datos atžvilgiu: asmens gimimo data negali bti ateityje. Reikalavim, kad vedamas projektas nebt prasidjs anksiau nei prieš mnes, SQL standarto negalima užtikrinti reikalavimu CHECK: Pradžia DATE CHECK(Pradžia > CURRENT_DATE INTERVAL 1 MONTH) Apibržiant numatytsias reikšmes, vardines konstantas galime naudoti, Pradžia DATE DEFAULT (CURRENT_DATE) Pradžia DATE DEFAULT (CURRENT_DATE + 1) Atnaujintojas CHAR(16) NOT NULL DEFAULT(CURRENT_USER) DEFAULT reikšm taikoma tik vedant duomenis. CHECK slyga turi bti tenkinama vis laik Reikalavimus, priklausanius nuo išorini slyg, galima užtikrinti trigeriais. Reikalavimas, kad vedamas projektas nebt prasidjs anksiau nei prieš mnes: CREATE TRIGGER ProjektPradžiavedant BEFORE INSERT ON Projektai REFERENCING NEW AS NaujasProjektas WHEN (NaujasProjektas.Pradžia < CURRENT_DATE INTERVAL 1 MONTH) SIGNAL SQLSTATE (Per sena pradžios data) Nekeisti pradžios datos jau prasidjusiems ir vykdomiems projektams: CREATE TRIGGER ProjektPradžiaKeiiant BEFORE UPDATE OF (Pradžia) ON Projektai REFERENCING NEW AS Naujas WHEN (Naujas.Pradžia < CURRENT_DATE AND EXISTS (SELECT * FROM Vykdymas WHERE Projektas=Naujas.Nr)) SIGNAL SQLSTATE 99987(Projektas vykdomas) Virtualij lenteli atnaujinimas VIEW duomen atnaujinimo galimybs yra labai ribotos. VIEW atnaujinimo galimybes galima išplsti INSTEAD OF trigeriais Šiuos trigerius galima apibržti tik virtualiosioms lentelms. Jie standartizuoti SQL: Tarkime, L1(A, B) ir L2(A, C) lentels ir L(A, B, C) virtualioji, jungianti L 1 ir L 2. CREATE VIEW L(A, B, C) AS SELECT L1.A, L1.B, L2.C FROM L1, L2 WHERE L1.A = L2.A UPDATE L negalima, nes L jungtin. Galima sumodeliuoti sakin UPDATE lentelei L

4 CREATE TRIGGER AtnaujintiL INSTEAD OF UPDATE ON L REFERENCING OLD AS SenaL NEW AS NaujaL VALUES(CASE WHEN NaujaL.A <> SenaL.A THEN RAISE_ERROR(99996, A nekeisti) ); UPDATE L1 SET L1.B = NaujaL.B WHERE L1.A = SenaL.A ; UPDATE L2 SET L2.C = NaujaL.C WHERE L2.A = SenaL.A ; Funkcijos RAISE_ERROR sakinio SIGNAL SQLSTATE rezultatas kaip INSTEAD OF trigeriuose negalima naudoti WHEN, nes duomen neatnaujinimas dl netenkinamos slygos - neprasmingas. Panašiai modeliuojamos INSERT ir DELETE operacijos. INSTEAD OF negalima apibržti rodiniams su WITH CHECK OPTION Trigeri privalumai: pagreitina programavim - jie simenami duomen bazje, ir nereikia kartoti kodo, atitinkanio trigerio kamien, daugelyje programos viet; palengvina dalykini taisykli užtikrinim apibržtas trigeris automatiškai, visuomet ir laiku iškvieiamas; yra globals - pasikeitus dalykinms taisyklms, tereikia pakeisti triger viename egzemplioriuje Trigeri trkumai: DB sudtingumas. Paslpta logika. Paslpta taka našumui Transakcijos Transakcija - loginis darbo su duomenimis vienetas. Tai - SQL sakiniai, kurie dalykiniu požiriu yra nedalomi. Kiekvienas atskirai paimtas sakinys sprendžia dal uždavinio, bet vis uždavin sprendžia tik vis sakini vykdymas Tarkime, darbuotojas Nr. 3 (Gražulyt) išeina iš darbo, ir jo vykdomi darbai yra paskiriami darbuotojui Nr. 2: 1) UPDATE Vykdymas AS A SET A.Valandos = A.Valandos ( SELECT SUM(B.Valandos) FROM Vykdymas AS B WHERE B.Vykdytojas = 3 AND B.Projektas = A.Projektas) WHERE Vykdytojas = 2 ; 2) DELETE FROM Vykdytojai WHERE Nr = 3 ; Reikalinga galimyb, kuri neskmingai pasibaigus antrojo sakinio vykdymui, leist atšaukti ir anksiau atliktus pakeitimus - transakcij mechanizmas. Transakcija - SQL sakini seka, kuri užtikrina vienos neprieštaringos DB bsenos pervedim kit neprieštaring bsen, bet nra garantuojamas duomen neprieštaringumas tarp sakini. Transakcija arba visa vykdoma arba visa anuliuojama Transakcijos užbaigimo SQL sakiniai: COMMIT teisinti visus, padarytus pakeitimus, ROLLBACK atšaukti visus, padarytus pakeitimus. Pabaigus transakcij, kiti SQL sakiniai yra naujos transakcijos dalis

5 Anksiau pateiktos transakcijos sakinius reikt vykdyti taip: vykdome 1-j sakin; jei sakinys vykdytas skmingai, tai vykdome 2-j sakin; jei iki šiol nebuvo klaid, tai vykdome sakin COMMIT, priešingu atveju ROLLBACK Procedra SQL sakini sekai S 1, S 2,,S n - transakcijai vykdyti. for i := 1 to n execute Si ; if SQL klaida then goto error ; endfor COMMIT ; return success; error: ROLLBACK; return failure; Principas viskas arba nieko reikalauja transakcij žurnalo. Kiekvienai pakeistai eilutei DBVS žurnale simenama pradin jos bsena. vykdžius COMMIT, žurnale pažymima transakcijos pabaiga. Vykdant ROLLBACK, pradin bsena atstatoma iš žurnalo. DB administratorius gali atstatyti neprieštaring DB bsen netgi po avarinio sistemos darbo nutraukimo. Svarbu prisiminti, kad transakcij žurnalui reikia vietos kompiuterio atmintyje. DB serveryje svarbu rezervuoti pakankam kiek atminties transakcij žurnalui. Pritrkus vietos, SQL sakinys pasibaigia SQL klaida Pastabos: vienu metu vienas vartotojas ar programa gali vykdyti tik vien transakcij, transakcijos negali bti dtos viena kit; kai darbas baigiamas atsijungiant nuo DB, sistema automatiškai vykdo sakin COMMIT; vienas SQL sakinys negali bti vykdytas iš dalies, t.y. jis visuomet vykdomas visiškai arba visiškai nevykdomas