Adatbázisok elmélete 11. előadás
|
|
|
- Ildikó Orosz
- 6 évvel ezelőtt
- Látták:
Átírás
1 Adatbázisok elmélete 11. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat 2004
2 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 1/15 Értékkészlet meghatározása Attribútum által felvehető értékek halmazát a CHECK kulcsszóval korlátozhatjuk.
3 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 1/15 Értékkészlet meghatározása Attribútum által felvehető értékek halmazát a CHECK kulcsszóval korlátozhatjuk. Szintaxis: attribútumra vonatkozó feltétel: <attribútum> <típus> CHECK (<feltétel>)
4 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 1/15 Értékkészlet meghatározása Attribútum által felvehető értékek halmazát a CHECK kulcsszóval korlátozhatjuk. Szintaxis: attribútumra vonatkozó feltétel: <attribútum> <típus> CHECK (<feltétel>) sorra vonatkozó feltétel, relációdefinícióban: CHECK (<feltétel>)
5 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 1/15 Értékkészlet meghatározása Attribútum által felvehető értékek halmazát a CHECK kulcsszóval korlátozhatjuk. Szintaxis: attribútumra vonatkozó feltétel: <attribútum> <típus> CHECK (<feltétel>) sorra vonatkozó feltétel, relációdefinícióban: CHECK (<feltétel>) több relációra vonatkozó globális feltétel: CREATE ASSERTION <kényszernév> CHECK(<feltétel>)
6 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 1/15 Értékkészlet meghatározása Attribútum által felvehető értékek halmazát a CHECK kulcsszóval korlátozhatjuk. Szintaxis: attribútumra vonatkozó feltétel: <attribútum> <típus> CHECK (<feltétel>) sorra vonatkozó feltétel, relációdefinícióban: CHECK (<feltétel>) több relációra vonatkozó globális feltétel: CREATE ASSERTION <kényszernév> CHECK(<feltétel>) Tipikus attribútumra vonatkozó feltételek lehetnek: értékkészlet felsorolása: <attribútum> IN (<érték1>,..., <értékn>)
7 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 1/15 Értékkészlet meghatározása Attribútum által felvehető értékek halmazát a CHECK kulcsszóval korlátozhatjuk. Szintaxis: attribútumra vonatkozó feltétel: <attribútum> <típus> CHECK (<feltétel>) sorra vonatkozó feltétel, relációdefinícióban: CHECK (<feltétel>) több relációra vonatkozó globális feltétel: CREATE ASSERTION <kényszernév> CHECK(<feltétel>) Tipikus attribútumra vonatkozó feltételek lehetnek: értékkészlet felsorolása: <attribútum> IN (<érték1>,..., <értékn>) intervallum megadása: <attribútum> BETWEEN <alsó határ> AND <felső határ>
8 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 1/15 Értékkészlet meghatározása Attribútum által felvehető értékek halmazát a CHECK kulcsszóval korlátozhatjuk. Szintaxis: attribútumra vonatkozó feltétel: <attribútum> <típus> CHECK (<feltétel>) sorra vonatkozó feltétel, relációdefinícióban: CHECK (<feltétel>) több relációra vonatkozó globális feltétel: CREATE ASSERTION <kényszernév> CHECK(<feltétel>) Tipikus attribútumra vonatkozó feltételek lehetnek: értékkészlet felsorolása: <attribútum> IN (<érték1>,..., <értékn>) intervallum megadása: <attribútum> BETWEEN <alsó határ> AND <felső határ> De bármi állhat itt, ami WHERE után szerepelhet, akár alkérdés is.
9 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 1/15 Értékkészlet meghatározása Attribútum által felvehető értékek halmazát a CHECK kulcsszóval korlátozhatjuk. Szintaxis: attribútumra vonatkozó feltétel: <attribútum> <típus> CHECK (<feltétel>) sorra vonatkozó feltétel, relációdefinícióban: CHECK (<feltétel>) több relációra vonatkozó globális feltétel: CREATE ASSERTION <kényszernév> CHECK(<feltétel>) Tipikus attribútumra vonatkozó feltételek lehetnek: értékkészlet felsorolása: <attribútum> IN (<érték1>,..., <értékn>) intervallum megadása: <attribútum> BETWEEN <alsó határ> AND <felső határ> De bármi állhat itt, ami WHERE után szerepelhet, akár alkérdés is. Például a vetít tábla létrehozásakor beírhatunk egy ilyen sort: CHECK (filmid IN (SELECT film.filmid FROM film))
10 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 1/15 Értékkészlet meghatározása Attribútum által felvehető értékek halmazát a CHECK kulcsszóval korlátozhatjuk. Szintaxis: attribútumra vonatkozó feltétel: <attribútum> <típus> CHECK (<feltétel>) sorra vonatkozó feltétel, relációdefinícióban: CHECK (<feltétel>) több relációra vonatkozó globális feltétel: CREATE ASSERTION <kényszernév> CHECK(<feltétel>) Tipikus attribútumra vonatkozó feltételek lehetnek: értékkészlet felsorolása: <attribútum> IN (<érték1>,..., <értékn>) intervallum megadása: <attribútum> BETWEEN <alsó határ> AND <felső határ> De bármi állhat itt, ami WHERE után szerepelhet, akár alkérdés is. Például a vetít tábla létrehozásakor beírhatunk egy ilyen sort: CHECK (filmid IN (SELECT film.filmid FROM film)) Ebben az esetben a vetít tábla minden egyes változásakor leellenőrizzük, hogy létezik-e a megfelelő film a film táblában.
11 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 1/15 Értékkészlet meghatározása Attribútum által felvehető értékek halmazát a CHECK kulcsszóval korlátozhatjuk. Szintaxis: attribútumra vonatkozó feltétel: <attribútum> <típus> CHECK (<feltétel>) sorra vonatkozó feltétel, relációdefinícióban: CHECK (<feltétel>) több relációra vonatkozó globális feltétel: CREATE ASSERTION <kényszernév> CHECK(<feltétel>) Tipikus attribútumra vonatkozó feltételek lehetnek: értékkészlet felsorolása: <attribútum> IN (<érték1>,..., <értékn>) intervallum megadása: <attribútum> BETWEEN <alsó határ> AND <felső határ> De bármi állhat itt, ami WHERE után szerepelhet, akár alkérdés is. Például a vetít tábla létrehozásakor beírhatunk egy ilyen sort: CHECK (filmid IN (SELECT film.filmid FROM film)) Ebben az esetben a vetít tábla minden egyes változásakor leellenőrizzük, hogy létezik-e a megfelelő film a film táblában. Baj ezzel: csak akkor ellenőrzi, ha a vetít táblával történik valami, azt simán hagyja, hogy a film táblából töröljek, pedig ilyenkor is elromolhat.
12 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 2/15 Erre megoldás az ASSERTION: CREATE ASSERTION vetít-film CHECK ( vetít.filmid IN (SELECT film.filmid FROM film) )
13 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 2/15 Erre megoldás az ASSERTION: CREATE ASSERTION vetít-film CHECK ( vetít.filmid IN (SELECT film.filmid FROM film) ) Ezt a rendszer minden olyan alkalommal ellenőrzi, ha vagy a vetít vagy a film változik.
14 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 2/15 Erre megoldás az ASSERTION: CREATE ASSERTION vetít-film CHECK ( vetít.filmid IN (SELECT film.filmid FROM film) ) Ezt a rendszer minden olyan alkalommal ellenőrzi, ha vagy a vetít vagy a film változik. Megjegyzések: a kényszerek a CONSTRAINT kulcsszó segítségével elnevezhetőek (a PRIMARY KEY, CHECK elé írva)
15 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 2/15 Erre megoldás az ASSERTION: CREATE ASSERTION vetít-film CHECK ( vetít.filmid IN (SELECT film.filmid FROM film) ) Ezt a rendszer minden olyan alkalommal ellenőrzi, ha vagy a vetít vagy a film változik. Megjegyzések: a kényszerek a CONSTRAINT kulcsszó segítségével elnevezhetőek (a PRIMARY KEY, CHECK elé írva) új kényszer hozzáadására, meglévő törlésére az ALTER TABLE... {ADD DROP} CONSTRAINT ad lehetőséget.
16 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 3/15 Példák kényszerekre A film és a vetít relációk kényszerekkel kiegészített létrehozása: CREATE TABLE film( filmid number(5) PRIMARY KEY, cím varchar(50) NOT NULL, rendező char(30) NOT NULL, év number(4) CHECK (év >= 1900), hossz number(3) DEFAULT 90 CHECK (hossz BETWEEN 1 AND 300), szinkronizált char(1) DEFAULT N CHECK (szinkronizált IN ( I, N )), UNIQUE(cím, rendező) )
17 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 3/15 Példák kényszerekre A film és a vetít relációk kényszerekkel kiegészített létrehozása: CREATE TABLE film( filmid number(5) PRIMARY KEY, cím varchar(50) NOT NULL, rendező char(30) NOT NULL, év number(4) CHECK (év >= 1900), hossz number(3) DEFAULT 90 CHECK (hossz BETWEEN 1 AND 300), szinkronizált char(1) DEFAULT N CHECK (szinkronizált IN ( I, N )), UNIQUE(cím, rendező) ) CREATE TABLE vetít( filmid number(5) REFERENCES film(filmid), moziid number(3) REFERENCES mozi(moziid), nap char(9), idő char(5) NOT NULL, CHECK (nap IN ( hétfő, kedd, szerda, csütörtök, péntek, szombat, vasárnap )) )
18 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 4/15 Triggerek
19 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 5/15 Triggerek SQL2: mindenféle, elég összetett CHECK feltételek, de a rendszerbe bele van építve, hogy mikor kell ellenőriznie valami feltételt
20 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 5/15 Triggerek SQL2: mindenféle, elég összetett CHECK feltételek, de a rendszerbe bele van építve, hogy mikor kell ellenőriznie valami feltételt SQL3-as szemlélet: lehetőség van arra, hogy mi mondjuk meg, mikor legyen ellenőrzés Trigger: Mikor legyen ellenőrzés (adott relációba való beszúráskor, törléskor, módosításkor, tranzakció végén)
21 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 5/15 Triggerek SQL2: mindenféle, elég összetett CHECK feltételek, de a rendszerbe bele van építve, hogy mikor kell ellenőriznie valami feltételt SQL3-as szemlélet: lehetőség van arra, hogy mi mondjuk meg, mikor legyen ellenőrzés Trigger: Mikor legyen ellenőrzés (adott relációba való beszúráskor, törléskor, módosításkor, tranzakció végén) Mi legyen a feltétel, amit ekkor ellenőrzünk?
22 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 5/15 Triggerek SQL2: mindenféle, elég összetett CHECK feltételek, de a rendszerbe bele van építve, hogy mikor kell ellenőriznie valami feltételt SQL3-as szemlélet: lehetőség van arra, hogy mi mondjuk meg, mikor legyen ellenőrzés Trigger: Mikor legyen ellenőrzés (adott relációba való beszúráskor, törléskor, módosításkor, tranzakció végén) Mi legyen a feltétel, amit ekkor ellenőrzünk? Ha a feltétel teljesül, akkor mit csináljunk? (akadályozzunk meg valamit, csináljunk vissza valamit, vagy bármi más)
23 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 5/15 Triggerek SQL2: mindenféle, elég összetett CHECK feltételek, de a rendszerbe bele van építve, hogy mikor kell ellenőriznie valami feltételt SQL3-as szemlélet: lehetőség van arra, hogy mi mondjuk meg, mikor legyen ellenőrzés Trigger: Mikor legyen ellenőrzés (adott relációba való beszúráskor, törléskor, módosításkor, tranzakció végén) Mi legyen a feltétel, amit ekkor ellenőrzünk? Ha a feltétel teljesül, akkor mit csináljunk? (akadályozzunk meg valamit, csináljunk vissza valamit, vagy bármi más) Paraméternek adható meg, hogy a kiváltó esemény előtt/helyett/után történjen a cselekvés és még sok más is.
24 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 6/15 Példa triggerre Séma: GyártásIrányító(név, cím, azonosító, nettóbevétel)
25 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 6/15 Példa triggerre Séma: GyártásIrányító(név, cím, azonosító, nettóbevétel) CREATE TRIGGER NetBevétTrigger AFTER UPDATE OF nettóbevétel ON GyártásIrányító REFERENCING OLD AS RégiSor NEW AS Újsor WHEN (RégiSor.nettóBevétel > Újsor.nettóBevétel) SET nettóbevétel=régisor.nettóbevétel WHERE azonosító=újsor.azonosító FOR EACH ROW
26 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 6/15 Példa triggerre Séma: GyártásIrányító(név, cím, azonosító, nettóbevétel) CREATE TRIGGER NetBevétTrigger AFTER UPDATE OF nettóbevétel ON GyártásIrányító REFERENCING OLD AS RégiSor NEW AS Újsor WHEN (RégiSor.nettóBevétel > Újsor.nettóBevétel) SET nettóbevétel=régisor.nettóbevétel WHERE azonosító=újsor.azonosító FOR EACH ROW = Ha valakinek csökkenne a bevétele, nem hagyjuk!
27 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 7/15 Rekurzió SQL3-as dolog, ideiglenes elképzelés
28 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 7/15 Rekurzió SQL3-as dolog, ideiglenes elképzelés Lekérdezés és nem DDL (csak úgy kerül ide, hogy ez is SQL3)
29 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 7/15 Rekurzió SQL3-as dolog, ideiglenes elképzelés Lekérdezés és nem DDL (csak úgy kerül ide, hogy ez is SQL3) Példa: Van egy Járat(honnan, hova) táblánk, amiben azt tároljuk, hogy mely városokból hova mennek közvetlenül gépek. Határozzuk meg ennek a relációnak a tranzitív lezártját, azaz egy olyan Eljut(honnan, hova) relációt szeretnénk, amelyben két város akkor szerepel együtt, ha el lehet az egyikből a másikba jutni valahány átszállással.
30 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 7/15 Rekurzió SQL3-as dolog, ideiglenes elképzelés Lekérdezés és nem DDL (csak úgy kerül ide, hogy ez is SQL3) Példa: Van egy Járat(honnan, hova) táblánk, amiben azt tároljuk, hogy mely városokból hova mennek közvetlenül gépek. Határozzuk meg ennek a relációnak a tranzitív lezártját, azaz egy olyan Eljut(honnan, hova) relációt szeretnénk, amelyben két város akkor szerepel együtt, ha el lehet az egyikből a másikba jutni valahány átszállással. Ez relációs algebrában nem kifejezhető, de SQL3-ban igen.
31 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 7/15 Rekurzió SQL3-as dolog, ideiglenes elképzelés Lekérdezés és nem DDL (csak úgy kerül ide, hogy ez is SQL3) Példa: Van egy Járat(honnan, hova) táblánk, amiben azt tároljuk, hogy mely városokból hova mennek közvetlenül gépek. Határozzuk meg ennek a relációnak a tranzitív lezártját, azaz egy olyan Eljut(honnan, hova) relációt szeretnénk, amelyben két város akkor szerepel együtt, ha el lehet az egyikből a másikba jutni valahány átszállással. Ez relációs algebrában nem kifejezhető, de SQL3-ban igen. WITH RECURSIVE Eljut(honnan, hova) AS (SELECT honnan, hova FROM Járat) UNION (SELECT Eljut AS R1, Eljut AS R2 WHERE R1.hova = R2.honnan) SELECT * FROM Eljut
32 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 7/15 Rekurzió SQL3-as dolog, ideiglenes elképzelés Lekérdezés és nem DDL (csak úgy kerül ide, hogy ez is SQL3) Példa: Van egy Járat(honnan, hova) táblánk, amiben azt tároljuk, hogy mely városokból hova mennek közvetlenül gépek. Határozzuk meg ennek a relációnak a tranzitív lezártját, azaz egy olyan Eljut(honnan, hova) relációt szeretnénk, amelyben két város akkor szerepel együtt, ha el lehet az egyikből a másikba jutni valahány átszállással. Ez relációs algebrában nem kifejezhető, de SQL3-ban igen. WITH RECURSIVE Eljut(honnan, hova) AS (SELECT honnan, hova FROM Járat) UNION (SELECT Eljut AS R1, Eljut AS R2 WHERE R1.hova = R2.honnan) SELECT * FROM Eljut Nem lehet bármi a rekurzív definícióban, pl. negációval óvatosan = nem biztonságos kifejezés
33 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 8/15 Relációs sémák tervezése Van elméleti alap = érv a relációs technika mellett
34 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 8/15 Relációs sémák tervezése Van elméleti alap = érv a relációs technika mellett (Objektumosnak nincs ilyen.)
35 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 8/15 Relációs sémák tervezése Van elméleti alap = érv a relációs technika mellett (Objektumosnak nincs ilyen.) Kérdés: Mik a jó relációk?
36 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 8/15 Relációs sémák tervezése Van elméleti alap = érv a relációs technika mellett (Objektumosnak nincs ilyen.) Kérdés: Mik a jó relációk? Milyen relációkat érdemes tárolni?
37 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 8/15 Relációs sémák tervezése Van elméleti alap = érv a relációs technika mellett (Objektumosnak nincs ilyen.) Kérdés: Mik a jó relációk? Milyen relációkat érdemes tárolni? Hogyan alakíthatunk tetszőleges relációkat jókká?
38 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 8/15 Relációs sémák tervezése Van elméleti alap = érv a relációs technika mellett (Objektumosnak nincs ilyen.) Kérdés: Mik a jó relációk? Milyen relációkat érdemes tárolni? Hogyan alakíthatunk tetszőleges relációkat jókká? Cél: El akarunk kerülni kellemetlen jelenségeket, anomáliákat:
39 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 8/15 Relációs sémák tervezése Van elméleti alap = érv a relációs technika mellett (Objektumosnak nincs ilyen.) Kérdés: Mik a jó relációk? Milyen relációkat érdemes tárolni? Hogyan alakíthatunk tetszőleges relációkat jókká? Cél: El akarunk kerülni kellemetlen jelenségeket, anomáliákat: Módosítási anomália: pl. ha a Termék(Termelő, Cím, Terméknév, Ár) reláció esetén egy termelő címe több sorban is előfordul, változáskor mindenhol át kell írni. Hiba esetén inkonzisztencia.
40 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 8/15 Relációs sémák tervezése Van elméleti alap = érv a relációs technika mellett (Objektumosnak nincs ilyen.) Kérdés: Mik a jó relációk? Milyen relációkat érdemes tárolni? Hogyan alakíthatunk tetszőleges relációkat jókká? Cél: El akarunk kerülni kellemetlen jelenségeket, anomáliákat: Módosítási anomália: pl. ha a Termék(Termelő, Cím, Terméknév, Ár) reláció esetén egy termelő címe több sorban is előfordul, változáskor mindenhol át kell írni. Hiba esetén inkonzisztencia. Beszúrási anomália: Nem tudunk beszúrni adatot, ha az egyik attribútum hiányzik, mert nem ismerjük (és nem lehet NULL).
41 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 8/15 Relációs sémák tervezése Van elméleti alap = érv a relációs technika mellett (Objektumosnak nincs ilyen.) Kérdés: Mik a jó relációk? Milyen relációkat érdemes tárolni? Hogyan alakíthatunk tetszőleges relációkat jókká? Cél: El akarunk kerülni kellemetlen jelenségeket, anomáliákat: Módosítási anomália: pl. ha a Termék(Termelő, Cím, Terméknév, Ár) reláció esetén egy termelő címe több sorban is előfordul, változáskor mindenhol át kell írni. Hiba esetén inkonzisztencia. Beszúrási anomália: Nem tudunk beszúrni adatot, ha az egyik attribútum hiányzik, mert nem ismerjük (és nem lehet NULL). Törlési anomália: Csak egész sorok törölhetők, így elveszhetnek hasznos adatok. Pl. ha egy termelő épp nem termel semmit, kitöröljük a címét is.
42 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 9/15 Relációs sémák tervezése A relációk, tárolás jósága attól függ, hogy milyen megkötések vannak az adatokon.
43 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 9/15 Relációs sémák tervezése A relációk, tárolás jósága attól függ, hogy milyen megkötések vannak az adatokon. Megszorítások két osztálya: Értékfüggő: Pl. ÁR 0, ÉLETKOR egész 1000, NÉV karaktersor, CÍM NULL, (típusleírások)
44 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 9/15 Relációs sémák tervezése A relációk, tárolás jósága attól függ, hogy milyen megkötések vannak az adatokon. Megszorítások két osztálya: Értékfüggő: Pl. ÁR 0, ÉLETKOR egész 1000, NÉV karaktersor, CÍM NULL, (típusleírások) Értékfüggetlen: TERMÉKNÉV, TERMELŐ kulcs; TERMELŐ-nek egy címe van, egy TERMELŐ azonos nevű termékéből csak egy árú van
45 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 9/15 Relációs sémák tervezése A relációk, tárolás jósága attól függ, hogy milyen megkötések vannak az adatokon. Megszorítások két osztálya: Értékfüggő: Pl. ÁR 0, ÉLETKOR egész 1000, NÉV karaktersor, CÍM NULL, (típusleírások) Értékfüggetlen: TERMÉKNÉV, TERMELŐ kulcs; TERMELŐ-nek egy címe van, egy TERMELŐ azonos nevű termékéből csak egy árú van Utóbbi: az attribútumok mennyire függenek egymástól = funkcionális függőség
46 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 10/15 Funkcionális függőségek Jelölés: R(A 1,..., A n ) reláció, X attribútum halmaz = X R X = {A i1, A i2,..., A ik } helyett X = A i1 A i2... A ik
47 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 10/15 Funkcionális függőségek Jelölés: R(A 1,..., A n ) reláció, X attribútum halmaz = X R X = {A i1, A i2,..., A ik } helyett X = A i1 A i2... A ik Definíció. Y R funkcionálisan függ X R-től, (jelölés: X Y),ha R bármely két sorára igaz, hogy ha ők megegyeznek X-en, akkor Y-on is megegyeznek.
48 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 10/15 Funkcionális függőségek Jelölés: R(A 1,..., A n ) reláció, X attribútum halmaz = X R X = {A i1, A i2,..., A ik } helyett X = A i1 A i2... A ik Definíció. Y R funkcionálisan függ X R-től, (jelölés: X Y),ha R bármely két sorára igaz, hogy ha ők megegyeznek X-en, akkor Y-on is megegyeznek. Pl. X =TERMELŐ, TERMÉKNÉV; Y=ÁR = X Y
49 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 10/15 Funkcionális függőségek Jelölés: R(A 1,..., A n ) reláció, X attribútum halmaz = X R X = {A i1, A i2,..., A ik } helyett X = A i1 A i2... A ik Definíció. Y R funkcionálisan függ X R-től, (jelölés: X Y),ha R bármely két sorára igaz, hogy ha ők megegyeznek X-en, akkor Y-on is megegyeznek. Pl. X =TERMELŐ, TERMÉKNÉV; Y=ÁR = X Y Megjegyzések: Azok az érdekes összefüggések, amik minden ilyen attribútumokkal rendelkező táblában fenn kell, hogy álljanak: axiómaszerű feltételek, az adatbázis bármely változása esetén is fennállnak = érdemi függés
50 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 10/15 Funkcionális függőségek Jelölés: R(A 1,..., A n ) reláció, X attribútum halmaz = X R X = {A i1, A i2,..., A ik } helyett X = A i1 A i2... A ik Definíció. Y R funkcionálisan függ X R-től, (jelölés: X Y),ha R bármely két sorára igaz, hogy ha ők megegyeznek X-en, akkor Y-on is megegyeznek. Pl. X =TERMELŐ, TERMÉKNÉV; Y=ÁR = X Y Megjegyzések: Azok az érdekes összefüggések, amik minden ilyen attribútumokkal rendelkező táblában fenn kell, hogy álljanak: axiómaszerű feltételek, az adatbázis bármely változása esetén is fennállnak = érdemi függés Azok, amik csak véletlenül, csak egy pillanatban állnak fenn = eseti függés (ezek nem érdekelnek, például lehetséges hogy egy adott pillanatban minden ár csak egyszer szerepel és ekkor úgy tűnik, mintha Ár Termék érvényes függés lenne)
51 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 10/15 Funkcionális függőségek Jelölés: R(A 1,..., A n ) reláció, X attribútum halmaz = X R X = {A i1, A i2,..., A ik } helyett X = A i1 A i2... A ik Definíció. Y R funkcionálisan függ X R-től, (jelölés: X Y),ha R bármely két sorára igaz, hogy ha ők megegyeznek X-en, akkor Y-on is megegyeznek. Pl. X =TERMELŐ, TERMÉKNÉV; Y=ÁR = X Y Megjegyzések: Azok az érdekes összefüggések, amik minden ilyen attribútumokkal rendelkező táblában fenn kell, hogy álljanak: axiómaszerű feltételek, az adatbázis bármely változása esetén is fennállnak = érdemi függés Azok, amik csak véletlenül, csak egy pillanatban állnak fenn = eseti függés (ezek nem érdekelnek, például lehetséges hogy egy adott pillanatban minden ár csak egyszer szerepel és ekkor úgy tűnik, mintha Ár Termék érvényes függés lenne) Tehát az érdemi függések megadása modellezési kérdés: a séma megadásakor döntjük el, hogy milyen függéseket akarunk fenntartani mindenáron.
52 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 10/15 Funkcionális függőségek Jelölés: R(A 1,..., A n ) reláció, X attribútum halmaz = X R X = {A i1, A i2,..., A ik } helyett X = A i1 A i2... A ik Definíció. Y R funkcionálisan függ X R-től, (jelölés: X Y),ha R bármely két sorára igaz, hogy ha ők megegyeznek X-en, akkor Y-on is megegyeznek. Pl. X =TERMELŐ, TERMÉKNÉV; Y=ÁR = X Y Megjegyzések: Azok az érdekes összefüggések, amik minden ilyen attribútumokkal rendelkező táblában fenn kell, hogy álljanak: axiómaszerű feltételek, az adatbázis bármely változása esetén is fennállnak = érdemi függés Azok, amik csak véletlenül, csak egy pillanatban állnak fenn = eseti függés (ezek nem érdekelnek, például lehetséges hogy egy adott pillanatban minden ár csak egyszer szerepel és ekkor úgy tűnik, mintha Ár Termék érvényes függés lenne) Tehát az érdemi függések megadása modellezési kérdés: a séma megadásakor döntjük el, hogy milyen függéseket akarunk fenntartani mindenáron. Ezentúl a relációs sémának része lesz a függőségek halmaza F is = (R, F) Vagyis megadjuk, hogy mik a séma attribútumai és mik az érdemi függései.
53 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 11/15 R(TERMELŐ, TERMÉKNÉV, ÁR, CÍM) Funkcionális függőségek TERMELŐ, TERMÉKNÉV TERMELŐ, TERMÉKNÉV, ÁR, CÍM TERMELŐ CÍM
54 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 11/15 R(TERMELŐ, TERMÉKNÉV, ÁR, CÍM) Funkcionális függőségek TERMELŐ, TERMÉKNÉV TERMELŐ, TERMÉKNÉV, ÁR, CÍM TERMELŐ CÍM S(NÉV, CÍM, VÁROS, IRÁNYÍTÓSZ, TELEFON) CÍM, VÁROS IRÁNYÍTÓSZ IRÁNYÍTÓSZ VÁROS NÉV, CÍM, VÁROS TELEFON
55 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 11/15 R(TERMELŐ, TERMÉKNÉV, ÁR, CÍM) Funkcionális függőségek TERMELŐ, TERMÉKNÉV TERMELŐ, TERMÉKNÉV, ÁR, CÍM TERMELŐ CÍM S(NÉV, CÍM, VÁROS, IRÁNYÍTÓSZ, TELEFON) CÍM, VÁROS IRÁNYÍTÓSZ IRÁNYÍTÓSZ VÁROS NÉV, CÍM, VÁROS TELEFON Egy adott reláció adott állapotából nem következik semmilyen érdemi függés.
56 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 11/15 R(TERMELŐ, TERMÉKNÉV, ÁR, CÍM) Funkcionális függőségek TERMELŐ, TERMÉKNÉV TERMELŐ, TERMÉKNÉV, ÁR, CÍM TERMELŐ CÍM S(NÉV, CÍM, VÁROS, IRÁNYÍTÓSZ, TELEFON) CÍM, VÁROS IRÁNYÍTÓSZ IRÁNYÍTÓSZ VÁROS NÉV, CÍM, VÁROS TELEFON Egy adott reláció adott állapotából nem következik semmilyen érdemi függés. Viszont látszódhat olyan, hogy mi nem függhet mitől.
57 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 11/15 R(TERMELŐ, TERMÉKNÉV, ÁR, CÍM) Funkcionális függőségek TERMELŐ, TERMÉKNÉV TERMELŐ, TERMÉKNÉV, ÁR, CÍM TERMELŐ CÍM S(NÉV, CÍM, VÁROS, IRÁNYÍTÓSZ, TELEFON) CÍM, VÁROS IRÁNYÍTÓSZ IRÁNYÍTÓSZ VÁROS NÉV, CÍM, VÁROS TELEFON Egy adott reláció adott állapotából nem következik semmilyen érdemi függés. Viszont látszódhat olyan, hogy mi nem függhet mitől. X Y teljesülhet úgy is, hogy az adott relációban nincs is két olyan sor, amik X-en megegyeznek.
58 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 11/15 R(TERMELŐ, TERMÉKNÉV, ÁR, CÍM) Funkcionális függőségek TERMELŐ, TERMÉKNÉV TERMELŐ, TERMÉKNÉV, ÁR, CÍM TERMELŐ CÍM S(NÉV, CÍM, VÁROS, IRÁNYÍTÓSZ, TELEFON) CÍM, VÁROS IRÁNYÍTÓSZ IRÁNYÍTÓSZ VÁROS NÉV, CÍM, VÁROS TELEFON Egy adott reláció adott állapotából nem következik semmilyen érdemi függés. Viszont látszódhat olyan, hogy mi nem függhet mitől. X Y teljesülhet úgy is, hogy az adott relációban nincs is két olyan sor, amik X-en megegyeznek. X-nek és Y-nak nem kell diszjunktaknak lenniük
59 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 11/15 R(TERMELŐ, TERMÉKNÉV, ÁR, CÍM) Funkcionális függőségek TERMELŐ, TERMÉKNÉV TERMELŐ, TERMÉKNÉV, ÁR, CÍM TERMELŐ CÍM S(NÉV, CÍM, VÁROS, IRÁNYÍTÓSZ, TELEFON) CÍM, VÁROS IRÁNYÍTÓSZ IRÁNYÍTÓSZ VÁROS NÉV, CÍM, VÁROS TELEFON Egy adott reláció adott állapotából nem következik semmilyen érdemi függés. Viszont látszódhat olyan, hogy mi nem függhet mitől. X Y teljesülhet úgy is, hogy az adott relációban nincs is két olyan sor, amik X-en megegyeznek. X-nek és Y-nak nem kell diszjunktaknak lenniük A séma megadása csak a keretet jelenti, beleértve a függeseket is, ha ezt feltöltjük adatokkal, akkor kapunk egy a sémára illeszkedő relációt.
60 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 11/15 R(TERMELŐ, TERMÉKNÉV, ÁR, CÍM) Funkcionális függőségek TERMELŐ, TERMÉKNÉV TERMELŐ, TERMÉKNÉV, ÁR, CÍM TERMELŐ CÍM S(NÉV, CÍM, VÁROS, IRÁNYÍTÓSZ, TELEFON) CÍM, VÁROS IRÁNYÍTÓSZ IRÁNYÍTÓSZ VÁROS NÉV, CÍM, VÁROS TELEFON Egy adott reláció adott állapotából nem következik semmilyen érdemi függés. Viszont látszódhat olyan, hogy mi nem függhet mitől. X Y teljesülhet úgy is, hogy az adott relációban nincs is két olyan sor, amik X-en megegyeznek. X-nek és Y-nak nem kell diszjunktaknak lenniük A séma megadása csak a keretet jelenti, beleértve a függeseket is, ha ezt feltöltjük adatokkal, akkor kapunk egy a sémára illeszkedő relációt. A r reláció akkor illeszkedik az (R, F) sémára ha az attribútumai az R-ben adottak és teljesülnek benne az F függések.
61 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 12/15 Logikai következmény Kérdés: ha adott egy F függéshalmaz és egy reláció, amiben F függései igazak, akkor milyen további függések lesznek még biztosan igazak?
62 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 12/15 Logikai következmény Kérdés: ha adott egy F függéshalmaz és egy reláció, amiben F függései igazak, akkor milyen további függések lesznek még biztosan igazak? Például: ha HALLGATÓ, TÁRGY GYAKORLAT és GYAKORLAT GYAKVEZ, akkor HALLGATÓ, TÁRGY GYAKVEZ.
63 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 12/15 Logikai következmény Kérdés: ha adott egy F függéshalmaz és egy reláció, amiben F függései igazak, akkor milyen további függések lesznek még biztosan igazak? Például: ha HALLGATÓ, TÁRGY GYAKORLAT és GYAKORLAT GYAKVEZ, akkor HALLGATÓ, TÁRGY GYAKVEZ. Azaz általánosabban: ha XY Z és Z W, akkor attól függetlenül, hogy mi a reláció és X, Y, Z, W, igaz lesz, hogy XY W.
64 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 12/15 Logikai következmény Kérdés: ha adott egy F függéshalmaz és egy reláció, amiben F függései igazak, akkor milyen további függések lesznek még biztosan igazak? Például: ha HALLGATÓ, TÁRGY GYAKORLAT és GYAKORLAT GYAKVEZ, akkor HALLGATÓ, TÁRGY GYAKVEZ. Azaz általánosabban: ha XY Z és Z W, akkor attól függetlenül, hogy mi a reláció és X, Y, Z, W, igaz lesz, hogy XY W. Definíció. Adott (R, F). Az X Y függés logikai következménye (szemantikai következménye) F-nek, ha az X Y minden olyan r relációban teljesül, ahol F függései mind teljesülnek. Jelölése: F = X Y
65 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 12/15 Logikai következmény Kérdés: ha adott egy F függéshalmaz és egy reláció, amiben F függései igazak, akkor milyen további függések lesznek még biztosan igazak? Például: ha HALLGATÓ, TÁRGY GYAKORLAT és GYAKORLAT GYAKVEZ, akkor HALLGATÓ, TÁRGY GYAKVEZ. Azaz általánosabban: ha XY Z és Z W, akkor attól függetlenül, hogy mi a reláció és X, Y, Z, W, igaz lesz, hogy XY W. Definíció. Adott (R, F). Az X Y függés logikai következménye (szemantikai következménye) F-nek, ha az X Y minden olyan r relációban teljesül, ahol F függései mind teljesülnek. Jelölése: F = X Y Azaz ez a fogalom azt adja meg, hogy mely függéseknek kell szükségszerűen teljesülniük minden olyan sémában/relációban, ahol F függései fennállnak.
66 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 12/15 Logikai következmény Kérdés: ha adott egy F függéshalmaz és egy reláció, amiben F függései igazak, akkor milyen további függések lesznek még biztosan igazak? Például: ha HALLGATÓ, TÁRGY GYAKORLAT és GYAKORLAT GYAKVEZ, akkor HALLGATÓ, TÁRGY GYAKVEZ. Azaz általánosabban: ha XY Z és Z W, akkor attól függetlenül, hogy mi a reláció és X, Y, Z, W, igaz lesz, hogy XY W. Definíció. Adott (R, F). Az X Y függés logikai következménye (szemantikai következménye) F-nek, ha az X Y minden olyan r relációban teljesül, ahol F függései mind teljesülnek. Jelölése: F = X Y Azaz ez a fogalom azt adja meg, hogy mely függéseknek kell szükségszerűen teljesülniük minden olyan sémában/relációban, ahol F függései fennállnak. Hogyan lehetne ezeket meghatározni, illetve eldönteni, hogy egy függés ilyen-e?
67 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 13/15 Logikai következmény Felveszünk axiómákat, és azok segítségével próbáljuk levezetni. Persze ehhez az kell, hogy pontosan azokat lehessen levezetni F-ből, amik logikai következményei neki.
68 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 13/15 Logikai következmény Felveszünk axiómákat, és azok segítségével próbáljuk levezetni. Persze ehhez az kell, hogy pontosan azokat lehessen levezetni F-ből, amik logikai következményei neki. Levezethetőség jele: F X Y
69 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 13/15 Logikai következmény Felveszünk axiómákat, és azok segítségével próbáljuk levezetni. Persze ehhez az kell, hogy pontosan azokat lehessen levezetni F-ből, amik logikai következményei neki. Levezethetőség jele: F X Y Tehát bevezetünk axiómákat, levezethetőséget és belátjuk, hogy =.
70 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 13/15 Logikai következmény Felveszünk axiómákat, és azok segítségével próbáljuk levezetni. Persze ehhez az kell, hogy pontosan azokat lehessen levezetni F-ből, amik logikai következményei neki. Levezethetőség jele: F X Y Tehát bevezetünk axiómákat, levezethetőséget és belátjuk, hogy =. (Pl. logikában így van.)
71 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 13/15 Logikai következmény Felveszünk axiómákat, és azok segítségével próbáljuk levezetni. Persze ehhez az kell, hogy pontosan azokat lehessen levezetni F-ből, amik logikai következményei neki. Levezethetőség jele: F X Y Tehát bevezetünk axiómákat, levezethetőséget és belátjuk, hogy =. (Pl. logikában így van.) = : Teljességi tétel, ami igaz az levezethető.
72 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 13/15 Logikai következmény Felveszünk axiómákat, és azok segítségével próbáljuk levezetni. Persze ehhez az kell, hogy pontosan azokat lehessen levezetni F-ből, amik logikai következményei neki. Levezethetőség jele: F X Y Tehát bevezetünk axiómákat, levezethetőséget és belátjuk, hogy =. (Pl. logikában így van.) = : Teljességi tétel, ami igaz az levezethető. =: Igazság tétel, csak igaz dolgok vezethetők le.
73 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 13/15 Logikai következmény Felveszünk axiómákat, és azok segítségével próbáljuk levezetni. Persze ehhez az kell, hogy pontosan azokat lehessen levezetni F-ből, amik logikai következményei neki. Levezethetőség jele: F X Y Tehát bevezetünk axiómákat, levezethetőséget és belátjuk, hogy =. (Pl. logikában így van.) = : Teljességi tétel, ami igaz az levezethető. =: Igazság tétel, csak igaz dolgok vezethetők le. Definíció. Egy X Y függőség akkor vezethető le egy adott F függőséghalmazból, ha az axiómák ismételt alkalmazásával F-ből megkapjuk X Y-t.Jele: F X Y.
74 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 13/15 Logikai következmény Felveszünk axiómákat, és azok segítségével próbáljuk levezetni. Persze ehhez az kell, hogy pontosan azokat lehessen levezetni F-ből, amik logikai következményei neki. Levezethetőség jele: F X Y Tehát bevezetünk axiómákat, levezethetőséget és belátjuk, hogy =. (Pl. logikában így van.) = : Teljességi tétel, ami igaz az levezethető. =: Igazság tétel, csak igaz dolgok vezethetők le. Definíció. Egy X Y függőség akkor vezethető le egy adott F függőséghalmazból, ha az axiómák ismételt alkalmazásával F-ből megkapjuk X Y-t.Jele: F X Y. Armstrong-axiómák 1. Reflexivitás: Ha X, Y R és Y X, akkor X Y.
75 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 13/15 Logikai következmény Felveszünk axiómákat, és azok segítségével próbáljuk levezetni. Persze ehhez az kell, hogy pontosan azokat lehessen levezetni F-ből, amik logikai következményei neki. Levezethetőség jele: F X Y Tehát bevezetünk axiómákat, levezethetőséget és belátjuk, hogy =. (Pl. logikában így van.) = : Teljességi tétel, ami igaz az levezethető. =: Igazság tétel, csak igaz dolgok vezethetők le. Definíció. Egy X Y függőség akkor vezethető le egy adott F függőséghalmazból, ha az axiómák ismételt alkalmazásával F-ből megkapjuk X Y-t.Jele: F X Y. Armstrong-axiómák 1. Reflexivitás: Ha X, Y R és Y X, akkor X Y. 2. Kiegészítési tulajdonság: Ha X, Y R és X Y, akkor XW YW igaz tetszőleges W R-re.
76 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 13/15 Logikai következmény Felveszünk axiómákat, és azok segítségével próbáljuk levezetni. Persze ehhez az kell, hogy pontosan azokat lehessen levezetni F-ből, amik logikai következményei neki. Levezethetőség jele: F X Y Tehát bevezetünk axiómákat, levezethetőséget és belátjuk, hogy =. (Pl. logikában így van.) = : Teljességi tétel, ami igaz az levezethető. =: Igazság tétel, csak igaz dolgok vezethetők le. Definíció. Egy X Y függőség akkor vezethető le egy adott F függőséghalmazból, ha az axiómák ismételt alkalmazásával F-ből megkapjuk X Y-t.Jele: F X Y. Armstrong-axiómák 1. Reflexivitás: Ha X, Y R és Y X, akkor X Y. 2. Kiegészítési tulajdonság: Ha X, Y R és X Y, akkor XW YW igaz tetszőleges W R-re. 3. Tranzitivitás: Ha X, Y, Z R, X Y és Y Z, akkor X Z.
77 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 14/15 Igazságtétel bizonyítása Bizonyítás: (Igazság tétel) Azt kell belátni, hogy ha egy függés (esetleg több lépésben) levezethető F-ből a három axióma segítségével,akkor ez a függés logikai következménye is F-nek,
78 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 14/15 Igazságtétel bizonyítása Bizonyítás: (Igazság tétel) Azt kell belátni, hogy ha egy függés (esetleg több lépésben) levezethető F-ből a három axióma segítségével,akkor ez a függés logikai következménye is F-nek, azaz minden olyan relációban, ahol F minden függése teljesül, ott teljesül a levezetett függés is.
79 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 14/15 Igazságtétel bizonyítása Bizonyítás: (Igazság tétel) Azt kell belátni, hogy ha egy függés (esetleg több lépésben) levezethető F-ből a három axióma segítségével,akkor ez a függés logikai következménye is F-nek, azaz minden olyan relációban, ahol F minden függése teljesül, ott teljesül a levezetett függés is. Ehhez elég azt belátni, hogy külön-külön, az egyes axiómák egyszeri használata ilyen függést ad.
80 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 14/15 Igazságtétel bizonyítása Bizonyítás: (Igazság tétel) Azt kell belátni, hogy ha egy függés (esetleg több lépésben) levezethető F-ből a három axióma segítségével,akkor ez a függés logikai következménye is F-nek, azaz minden olyan relációban, ahol F minden függése teljesül, ott teljesül a levezetett függés is. Ehhez elég azt belátni, hogy külön-külön, az egyes axiómák egyszeri használata ilyen függést ad. 1. Reflexivitás: Azt kell belátni, hogy minden r relációban, minden Y X R attribútumhalmaz esetén X Y igaz, azaz ha r bármely két adott sora megegyezik X-en, akkor megegyeznek Y-on is. De mivel Y X, ezért nyilván megegyeznek Y-on, ha X-en megegyeztek.
81 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 14/15 Igazságtétel bizonyítása Bizonyítás: (Igazság tétel) Azt kell belátni, hogy ha egy függés (esetleg több lépésben) levezethető F-ből a három axióma segítségével,akkor ez a függés logikai következménye is F-nek, azaz minden olyan relációban, ahol F minden függése teljesül, ott teljesül a levezetett függés is. Ehhez elég azt belátni, hogy külön-külön, az egyes axiómák egyszeri használata ilyen függést ad. 1. Reflexivitás: Azt kell belátni, hogy minden r relációban, minden Y X R attribútumhalmaz esetén X Y igaz, azaz ha r bármely két adott sora megegyezik X-en, akkor megegyeznek Y-on is. De mivel Y X, ezért nyilván megegyeznek Y-on, ha X-en megegyeztek. 2. Kiegészítési tulajdonság: Az kell, hogy ha egy R-re illeszkedő r relációban X Y igaz, akkor XW YW is igaz lesz. Vegyünk két sort r-ben, ami megegyezik XW-n. Ekkor ezek megegyeznek X-en és W-n is, külön-külön. Mivel X Y, így megegyeznek Y-n is, tehát YW-n is.
82 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 14/15 Igazságtétel bizonyítása Bizonyítás: (Igazság tétel) Azt kell belátni, hogy ha egy függés (esetleg több lépésben) levezethető F-ből a három axióma segítségével,akkor ez a függés logikai következménye is F-nek, azaz minden olyan relációban, ahol F minden függése teljesül, ott teljesül a levezetett függés is. Ehhez elég azt belátni, hogy külön-külön, az egyes axiómák egyszeri használata ilyen függést ad. 1. Reflexivitás: Azt kell belátni, hogy minden r relációban, minden Y X R attribútumhalmaz esetén X Y igaz, azaz ha r bármely két adott sora megegyezik X-en, akkor megegyeznek Y-on is. De mivel Y X, ezért nyilván megegyeznek Y-on, ha X-en megegyeztek. 2. Kiegészítési tulajdonság: Az kell, hogy ha egy R-re illeszkedő r relációban X Y igaz, akkor XW YW is igaz lesz. Vegyünk két sort r-ben, ami megegyezik XW-n. Ekkor ezek megegyeznek X-en és W-n is, külön-külön. Mivel X Y, így megegyeznek Y-n is, tehát YW-n is. 3. Tranzitivitás: Az kell, hogy ha egy R-re illeszkedő r relációban X Y és Y Z igaz, akkor X Z is igaz lesz. Vegyünk két sort, ami megegyezik X-en. Mivel X Y, megegyeznek Y-n is. De mivel Y Z, megegyeznek Z-n is.
83 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 15/15 Példa Állítás. Ha R(Város, Utca, Irányítószám) és F = {VU I, I V}, akkor F IU VIU (és mivel =-t már láttuk, ezért F = IU VIU).
84 ADATBÁZISOK ELMÉLETE 11. ELŐADÁS 15/15 Példa Állítás. Ha R(Város, Utca, Irányítószám) és F = {VU I, I V}, akkor F IU VIU (és mivel =-t már láttuk, ezért F = IU VIU). Bizonyítás: i) I V: ez F-beli ii) IU VU: kiegészítve U-val iii) IU IVU: kiegészítve I-vel
Adatbázisok elmélete 12. előadás
Adatbázisok elmélete 12. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu http://www.cs.bme.hu/ kiskat 2005 ADATBÁZISOK ELMÉLETE
Csima Judit október 24.
Adatbáziskezelés Funkcionális függőségek Csima Judit BME, VIK, Számítástudományi és Információelméleti Tanszék 2018. október 24. Csima Judit Adatbáziskezelés Funkcionális függőségek 1 / 1 Relációs sémák
SQL DDL-2 (aktív elemek) triggerek
SQL DDL-2 (aktív elemek) triggerek Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 7.fej.: Megszorítások és triggerek 7.4. Önálló megszorítások 7.5. Triggerek
Adatbázisok elmélete 10. előadás
Adatbázisok elmélete 10. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu http://www.cs.bme.hu/ kiskat 2004 ADATBÁZISOK ELMÉLETE
Adatbázisok elmélete 9. előadás
Adatbázisok elmélete 9. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu http://www.cs.bme.hu/ kiskat 2005 ADATBÁZISOK ELMÉLETE
Adatbázisok elmélete 9. előadás
Adatbázisok elmélete 9. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu http://www.cs.bme.hu/ kiskat 2005 ADATBÁZISOK ELMÉLETE
Adatbázisok elmélete
Adatbázisok elmélete SQL Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem Katona Gyula Y. (BME SZIT) Adatbázisok elmélete 1 / 58 Az SQL nyelv
SQL DDL-1: táblák és megszorítások
SQL DDL-1: táblák és megszorítások Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 2.3. Relációsémák definiálása 7.1. Kulcsok és idegen kulcsok 7.2. Értékekre
SQL DDL: Táblák, megszorítások (constraints), triggerek, nézettáblák
SQL DDL: Táblák, megszorítások (constraints), triggerek, nézettáblák Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 7.1.-7.4. Megszorítások 7.5.-7.6. Triggerek
6. Gyakorlat. Relációs adatbázis normalizálása
6. Gyakorlat Relációs adatbázis normalizálása Redundancia: Az E-K diagramok felírásánál vagy az átalakításnál elképzelhető, hogy nem az optimális megoldást írjuk fel. Ekkor az adat redundáns lehet. Példa:
Adatbázis tartalmának módosítása
Adatbázis tartalmának módosítása Tankönyv 6.5. Változtatások az adatbázisban A módosító utasítások nem adnak vissza eredményt, mint a lekérdezések, hanem az adatbázis tartalmát változtatják meg. 3-féle
Az SQL adatbázisnyelv: DML
Az SQL adatbázisnyelv: DML Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 6.5. Az adatbázis tartalmának módosítása (DML utasítások) INSERT, DELETE, UPDATE
Csima Judit november 15.
Adatbáziskezelés Normalizálás Csima Judit BME, VIK, Számítástudományi és Információelméleti Tanszék 2017. november 15. Csima Judit Adatbáziskezelés Normalizálás 1 / 26 Normalizálás Tétel Tetszõleges (R,
Relációsémák létrehozása SQL nyelvben
Relációsémák létrehozása SQL nyelvben SQL (Structured Query Language) lekérdezés módosítás relációséma leírására alkalmas utasítások: attribútumnevek, attribútumok adattípusa megszorításokat is megadhatunk,
Adatbázis I. 11. előadás. Kulcsok az SQL ben. Hivatkozásépségi megszorítások és idegen kulcsok.
Adatbázis I. 11. előadás Kulcsok az SQL ben. Hivatkozásépségi megszorítások és idegen kulcsok. 1 1. Kulcsok az SQL-ben 2. Hivatkozási épség és idegen kulcsok 3. Attribútum értékre vonatk. megszorítások
ADATBÁZIS-KEZELÉS FÉLÉVES FELADAT
ÓBUDAI EGYETEM Neumann János Informatikai Kar Nappali Tagozat ADATBÁZIS-KEZELÉS FÉLÉVES FELADAT NÉV: MÁK VIRÁG NEPTUN KÓD: A DOLGOZAT CÍME: Jani bácsi székadatbázisa Beadási határidő: 14. oktatási hét
Adatbázisok. 8. gyakorlat. SQL: CREATE TABLE, aktualizálás (INSERT, UPDATE, DELETE), SELECT október október 26. Adatbázisok 1 / 17
Adatbázisok 8. gyakorlat SQL: CREATE TABLE, aktualizálás (INSERT, UPDATE, DELETE), SELECT 2015. október 26. 2015. október 26. Adatbázisok 1 / 17 SQL nyelv Structured Query Language Struktúrált lekérdez
Bevezetés: az SQL-be
Bevezetés: az SQL-be Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 2.3. Relációsémák definiálása SQL-ben, adattípusok, kulcsok megadása 02B_BevSQLsemak
Adatbázisok-1 előadás Előadó: dr. Hajas Csilla
Adatbázisok-1 előadás Előadó: dr. Hajas Csilla Áttekintés az I.zh-ig Áttekintés az 1ZH-ig // Adatbázisok-1 elıadás // Ullman (Stanford) tananyaga alapján // Hajas Csilla (ELTE IK) 1 Hol tartunk? Mit tanultunk
Informatikai képzés Információs rendszerek dr. Hajas Csilla (ELTE IK)
Informatikai képzés Információs rendszerek dr. Hajas Csilla (ELTE IK) http://sila.hajas.elte.hu/ 5.hét: SQL áttekintés, táblák létrehozása és adatok felvitele Az előadások Ullman-Widom: Adatbázisrendszerek
Megszorítások. AB1_06A_Megszorítások - Adatbázisok-1 EA (Hajas Csilla, ELTE IK) - J.D. Ullman elıadásai alapján
Megszorítások Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 7.1. Kulcsok és idegen kulcsok 7.2. Attribútumra vonatkozó megszorítások 7.3. Megszorítások módosítása
Csima Judit BME, VIK, november 9. és 16.
Adatbáziskezelés Függőségőrzés, 3NF-re bontás Csima Judit BME, VIK, Számítástudományi és Információelméleti Tanszék 2018. november 9. és 16. Csima Judit Adatbáziskezelés Függőségőrzés, 3NF-re bontás 1
Adatbázisok elmélete 9. előadás
Adatbázisok elmélete 9. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu http://www.cs.bme.hu/ kiskat 2004 ADATBÁZISOK ELMÉLETE
Adatbázisok-I. előadás dr. Hajas Csilla (ELTE IK)
Adatbázisok-I. előadás dr. Hajas Csilla (ELTE IK) http://sila.hajas.elte.hu/ 6.ea: SQL folytatás SQL DDL, DCL Az előadások Ullman-Widom: Adatbázisrendszerek Alapvetés alapján készültek, forrás: http://infolab.stanford.edu/~ullman/dscb.html
SQL. 1.rész. 1.elıadás // Adatbázisok-1 elıadás // Ullman-Widom (Stanford) tananyaga alapján // Hajas Csilla (ELTE IK) 1
SQL 1.rész 1.elıadás // Adatbázisok-1 elıadás // Ullman-Widom (Stanford) tananyaga alapján // Hajas Csilla (ELTE IK) 1 SQL története, szabványok Szabvány adatbázis-kezelő nyelv: SQL SQL (angol kiejtésben
SQL ALAPOK. Bevezetés A MYSQL szintaxisa Táblák, adatok kezelésének alapjai
SQL ALAPOK Bevezetés A MYSQL szintaxisa Táblák, adatok kezelésének alapjai BEVEZETÉS SQL: Structured Query Language Strukturált Lekérdező Nyelv Szabvány határozza meg, azonban számos nyelvjárása létezik
Lekérdez nyelvek típusai, általános jellemz ik. Adatbázisok Az SQL nyelv. Példák relációs adatbáziskezel nyelvekre. A példákban használt relációs séma
Lekérdez nyelvek típusai, általános jellemz ik Adatbázisok Az SQL nyelv Salamon Gábor gsala@cs.bme.hu fóliák by Katona Gyula Y. 2006. október 4. Lehetnek algebrai alapúak: relációs algebrán alapuló lekérdezés,
SQL haladó. Külső összekapcsolások, Csoportosítás/Összesítés, Beszúrás/Törlés/Módosítás, Táblák létrehozása/kulcs megszorítások
SQL haladó Külső összekapcsolások, Csoportosítás/Összesítés, Beszúrás/Törlés/Módosítás, Táblák létrehozása/kulcs megszorítások 1 Külső összekapcsolás Összekapcsoljuk R és S relációkat: R C S. R azon sorait,
Adatbázisok elmélete 8. előadás
Adatbázisok elmélete 8. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu http://www.cs.bme.hu/ kiskat 2005 ADATBÁZISOK ELMÉLETE
Nézetek és indexek. 8. fejezet Nézettáblák
1 ~... lk 8. fejezet Nézetek és indexek Ezt a fejezetet a nézettáblák ismertetésével kezdjük. A nézettábla olyan reláció, melyet más relációkra vonatkozó lekérdezésekkel definiálunk. A nézettáblák az adatbázisban
Relációs adatbázisok tervezése ---1
Relációs adatbázisok tervezése ---1 Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 3.3.1. Bevezetés: anomáliák 3.3.2. Relációk felbontása 3.1. Funkcionális
Adatbázisok-I. előadás dr. Hajas Csilla (ELTE IK)
Adatbázisok-I. előadás dr. Hajas Csilla (ELTE IK) http://sila.hajas.elte.hu/ 5.ea: SQL áttekintés SQL DML, DDL Az előadások Ullman-Widom: Adatbázisrendszerek Alapvetés alapján készültek, forrás: http://infolab.stanford.edu/~ullman/dscb.html
Adatmodellezés, alapfogalmak. Vassányi István
Adatmodellezés, alapfogalmak Vassányi István Alapok A helyes modell az információs rendszer későbbi használhatóságánakazalapja, olyanmint a jómunkaruha: véd, de nem akadályozza a munkát Objektum-orientált
Adatbázisok elmélete 12. előadás
Adatbázisok elmélete 12 előadás A példákban használt relációs séma Csima Judit Katona Gyula Y Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz I B 137/b {csima,kiskat}@csbmehu nap ido
6.előadás: Adatbázisok-I. dr. Hajas Csilla (ELTE IK)
6.előadás: Adatbázisok-I. dr. Hajas Csilla (ELTE IK) http://sila.hajas.elte.hu/ SQL gyakorlatban: SQL DML, SQL DDL 6.5. Változtatások az adatbázisban: SQL DML adatkezelő utasítások: INSERT, DELETE, UPDATE
Nézetek és indexek. AB1_06C_Nézetek_Indexek - Adatbázisok-1 EA (Hajas Csilla, ELTE IK) - J.D. Ullman elıadásai alapján
Nézetek és indexek Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 8.1. Nézettáblák 8.2. Adatok módosítása nézettáblákon keresztül 8.3. Indexek az SQL-ben 8.4. Indexek
SQL jogosultság-kezelés. Privilégiumok Grant és Revoke Grant Diagrammok
SQL jogosultság-kezelés Privilégiumok Grant és Revoke Grant Diagrammok 1 Jogosultság-kezelés Egy fájlrendszer általában jogosultságokat rendel az általa kezelt objektumokhoz. Tipikusan olvasható, írható,
ADATBÁZISOK ELMÉLETE 5. ELŐADÁS 3/22. Az F formula: ahol A, B attribútumok, c érték (konstans), θ {<, >, =,,, } Példa:
Adatbázisok elmélete 5. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu http://www.cs.bme.hu/ kiskat 2005 ADATBÁZISOK ELMÉLETE
Adatbázisok I. Jánosi-Rancz Katalin Tünde 327A 1-1
Adatbázisok I. 5 Jánosi-Rancz Katalin Tünde tsuto@ms.sapientia.ro 327A 1-1 Normalizálás logikai adatbázis megtervezésére szolgáló módszer táblázat szétbontó relációs műveletek sorozata, eredményeképpen
ADATBÁZISOK. 4. gyakorlat: Redundanciák, funkcionális függőségek
ADATBÁZISOK 4. gyakorlat: Redundanciák, funkcionális függőségek Példa: szállodai adattábla vendég kód vendég név 200005 Pécsi Ádám 333230 Tóth Júlia 200005 Pécsi Ádám 123777 Szép László lakcím Budapest,
Adatbázisok. 9. gyakorlat SQL: SELECT október október 26. Adatbázisok 1 / 14
Adatbázisok 9. gyakorlat SQL: SELECT 2015. október 26. 2015. október 26. Adatbázisok 1 / 14 SQL SELECT Lekérdezésre a SELECT utasítás szolgál, mely egy vagy több adattáblából egy eredménytáblát állít el
Adatbázis Rendszerek I. 10. SQL alapok (DML esettanulmány)
Adatbázis Rendszerek I. 10. SQL alapok (DML esettanulmány) 23/1 B IT v: 2018.10.31 MAN DML adatokon műveletet végző utasítások DML Data Manipulation Language Rekordok (sorok) beszúrása (felvitele) Mezők
AB1 ZH mintafeladatok. 6. Minősítse az állításokat! I-igaz, H-hamis
AB1 ZH mintafeladatok 1. Töltse ki, és egészítse ki! Matematikai formalizmus arra, hogy hogyan építhetünk új relációkat a régi relációkból. Az adatoknak egy jól strukturált halmaza, amelyből információ
8.Előadás Adatbázisok-I. dr. Hajas Csilla (ELTE IK)
8.Előadás Adatbázisok-I. dr. Hajas Csilla (ELTE IK) http://sila.hajas.elte.hu/ Tankönyv 10.2. Az Eljut-feladat (monoton, lineáris rekurzió) megoldása (a.) az SQL-ben WITH RECURSION utasítással Kiegészítések
B I T M A N B I v: T 2015.03.01 M A N
Adatbázis Rendszerek MSc 2. Gy: MySQL Táblák, adatok B I v: T 2015.03.01 M A N 1/41 Témakörök SQL alapok DDL utasítások DML utasítások DQL utasítások DCL utasítások 2/41 Az SQL jellemzése Az SQL a relációs
Adatbázis rendszerek. 4. előadás Redundancia, normalizálás
Adatbázis rendszerek 4. előadás Redundancia, normalizálás Molnár Bence Szerkesztette: Koppányi Zoltán HF tapasztalatok HF tapasztalatok [ABR] az email címbe! Ne emailbe küldjük a házikat, töltsétek fel
BGF. 4. Mi tartozik az adatmodellek szerkezeti elemei
1. Mi az elsődleges következménye a gyenge logikai redundanciának? inkonzisztencia veszélye felesleges tárfoglalás feltételes függés 2. Az olyan tulajdonság az egyeden belül, amelynek bármely előfordulása
8. Gyakorlat SQL. DDL (Data Definition Language) adatdefiníciós nyelv utasításai:
8. Gyakorlat SQL SQL: Structured Query Language; a relációs adatbáziskezelők szabványos, strukturált lekérdező nyelve SQL szabványok: SQL86, SQL89, SQL92, SQL99, SQL3 Az SQL utasításokat mindig pontosvessző
Adatbáziskezelés. Indexek, normalizálás NZS 1
Adatbáziskezelés Indexek, normalizálás NZS 1 Fáljszervezés módjai Soros elérés: a rekordok a fájlban tetszőleges sorrendben, például a felvitel sorrendjében helyezkednek el. A rekord azonosítója vagyis
Bevezetés az SQL-be. Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009
Bevezetés az SQL-be Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 2.3. Relációsémák definiálása SQL-ben Kulcsok megadása (folyt.köv.7.fej.) -- még: Relációs
Adatbázis Rendszerek I. 9. SQL alapok (DDL esettanulmány)
Adatbázis Rendszerek I. 9. SQL alapok (DDL esettanulmány) 41/1 B IT v: 2017.10.30 MAN DDL Adatstruktúra definiáló utasítások DDL Data Definition Language Adatszerkezetek (elsősorban táblák) létrehozása,
Adatbázis rendszerek SQL nyomkövetés
Adatbázis rendszerek 1. 12. SQL nyomkövetés 1/32 B ITv: MAN 2017.10.26 Nyomkövetési feladat 2/32 Gyakorló feladatok Termék-Vásárlás-Vásárló Oktató-Tantárgy-Hallgató 3/32 Gyakorló feladat: Termék-Vásárlás-Vásárló
Adatmodellezés. 1. Fogalmi modell
Adatmodellezés MODELL: a bonyolult (és időben változó) valóság leegyszerűsített mása, egy adott vizsgálat céljából. A modellben többnyire a vizsgálat szempontjából releváns jellemzőket (tulajdonságokat)
Tranzakciókezelés PL/SQL-ben
Tranzakciókezelés PL/SQL-ben ACID tulajdonságok: Tranzakció Atomosság, Konzisztencia, Izoláció, Tartósság A tranzakció állhat: - Több DML utasításból - Egy DDL utasításból A tranzakció kezdete az első
Híd Szenzor Mérések Érték Név Kereszt Vezeték Nem Név ID Típus Híd Szenzor ID Hely Mérések HatárÉr. Érték Osztály Érték Nyak Tart Fej Apa Rokon Fiú Személy Birtokol Ingatlan Vizsgaalkalom Hallgató Felvesz
Adatbázis rendszerek Ea: A rendes állapot. Normalizálás
Adatbázis rendszerek 1. 3. Ea: A rendes állapot Normalizálás 1/31 B ITv: MAN 2017.10.08 Normalizálás A normalizálás az adatbázis belső szerkezetének ellenőrzése, lépésenkénti átalakítása oly módon, hogy
7. előadás. Karbantartási anomáliák, 1NF, 2NF, 3NF, BCNF. Adatbázisrendszerek előadás november 3.
7. előadás,,,, Adatbázisrendszerek előadás 2008. november 3. és Debreceni Egyetem Informatikai Kar 7.1 relációs adatbázisokhoz Mit jelent a relációs adatbázis-tervezés? Az csoportosítását, hogy jó relációsémákat
RELÁCIÓS ADATBÁZISSÉMÁK. Egyed-kapcsolat modellről átírás
RELÁCIÓS ADATBÁZISSÉMÁK Egyed-kapcsolat modellről átírás A RELÁCIÓS ADATMODELL Az adatokat egyszerűen reprezentálja: kétdimenziós adattáblákban Minden sor azonos számú oszlopból áll; egy sor egy rekord,
0. Ha valahol még nem szerepelt a relációs algebrai osztás, akkor azt kell először venni:
Funkcionális függések, kulcskeresés, Armstrong axiómák A kékkel írt dolgokat tudniuk kell már, nem kell újra elmondani 0. Ha valahol még nem szerepelt a relációs algebrai osztás, akkor azt kell először
SQL- Utasítások csoportosítása Definíció: DDL: - objektum létrehozás CREATE - objektum megszüntetés DROP - objektum módosítás ALTER
Adatbázisok I SQL- Utasítások csoportosítása Definíció: DDL: - objektum létrehozás CREATE - objektum megszüntetés DROP - objektum módosítás ALTER Módosítás: DML: - rekord felvitel INSERT - rekord törlés
NORMALIZÁLÁS. Funkcionális függés Redundancia 1NF, 2NF, 3NF
NORMALIZÁLÁS Funkcionális függés Redundancia 1NF, 2NF, 3NF FUNKCIONÁLIS FÜGGŐSÉG Legyen adott R(A 1,, A n ) relációséma, valamint P, Q {A 1,, A n } (magyarán P és Q a séma attribútumainak részhalmazai)
Adatbázis használat I. 5. gyakorlat
Adatbázis használat I. 5. gyakorlat Tudnivalók Jövő hétre a normalizálást hozni vagy e- mailben beküldeni! 7. héten (= két hét múlva!) nagyzh + FF checkpoint: adattáblák feltöltése, megszorítások 2010.
Tervezés: Egyed-kapcsolat modell és az SQL DDL: táblák, nézetek
Tervezés: Egyed-kapcsolat modell és az SQL DDL: táblák, nézetek Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiad, 2009 4.1.- 4.4. E/K-modell elemei (folyt) 4.5.- 4.6. E/K-diagram
Adattípusok. Max. 2GByte
Adattípusok Típus Méret Megjegyzés Konstans BIT 1 bit TRUE/FALSE SMALLINT 2 byte -123 INTEGER 4 byte -123 COUNTER 4 byte Automatikus 123 REAL 4 byte -12.34E-2 FLOAT 8 byte -12.34E-2 CURRENCY / MONEY 8
Függőségek felismerése és attribútum halmazok lezártja
Függőségek felismerése és attribútum halmazok lezártja Elméleti összefoglaló Függőségek: mezők közötti érték kapcsolatok leírása. A Funkcionális függőség (FD=Functional Dependency): Ha R két sora megegyezik
Adatbázisok. 8. gyakorlat. SQL: CREATE TABLE, aktualizálás (INSERT, UPDATE, DELETE) október október 22. Adatbázisok 1 / 14
Adatbázisok 8. gyakorlat SQL: CREATE TABLE, aktualizálás (INSERT, UPDATE, DELETE) 2014. október 22. 2014. október 22. Adatbázisok 1 / 14 SQL nyelv Structured Query Language Struktúrált lekérdez nyelv A
A relációs adatbáziskezelés szabványos nyelve Két fő csoportba sorolhatók az utasításai
8. gyakorlat Structured Query Language Struktúrált lekérdező nyelv A relációs adatbáziskezelés szabványos nyelve Két fő csoportba sorolhatók az utasításai DDL (Data Definition Language) adatstruktúra definiáló
Adattípusok. Max. 2GByte
Adattípusok Típus Méret Megjegyzés Konstans BIT 1 bit TRUE/FALSE TINIINT 1 byte 12 SMALLINT 2 byte -123 INTEGER 4 byte -123 COUNTER 4 byte Automatikus 123 REAL 4 byte -12.34E-2 FLOAT 8 byte -12.34E-2 CURRENCY
7. előadás. Karbantartási anomáliák, 1NF, 2NF, 3NF, BCNF, 4NF, 5NF. Adatbázisrendszerek előadás november 7.
7. előadás,,,,, 4NF, 5NF Adatbázisrendszerek előadás 2016. november 7., és Debreceni Egyetem Informatikai Kar Az előadások Elmasry & Navathe: Database Systems alapján készültek. Nem hivatalos tervezési
Készítette: Szabóné Nacsa Rozália
Készítette: Szabóné Nacsa Rozália nacsa@inf.elte.hu 1 Structured Query Language (Struktúrált lekérdező nyelv) Relációs adatbázisok kezelésére kifejlesztett szabvány 2 DIAKOK dkód vnév knév 1001 Kiss János
8. Előadás tartalma. Funkcionális függőségek
8. Előadás tartalma Funkcionális függőségek 8.1 Funkcionális függőségek és kulcsok 8.2 Relációk felbontása 1 Funkcionális függőségek Definíció: A funkcionális függőség egy n attribútumú R reláción a következő
Adatbázisok gyakorlat
Adatbázisok gyakorlat 5. gyakorlat Adatmodellezés III/IV Funkcionális függés, redundancia. Normalizálás Szegedi Tudományegyetem Természettudományi és Informatikai Kar Antal Gábor 1 Funkcionális függés
Adatbázisrendszerek. Karbantartási anomáliák, 1NF, 2NF, 3NF, BCNF, 4NF, 5NF március 13.
Adatbázisrendszerek,,,,,, 4NF, 5NF 2018. március 13. Nem hivatalos tervezési relációs adatbázisokhoz 2, Mit jelent a relációs adatbázis-tervezés? Az csoportosítását, hogy jó relációsémákat alkossanak.
Relációs adatbázisok tervezése 2.rész (dekompozíció)
Relációs adatbázisok tervezése 2.rész (dekompozíció) Ullman-Widom: Adatbázisrendszerek Alapvetés. Második, átdolgozott kiadás, Panem Kiadó, 2009 3.3. Relációs adatbázissémák tervezése - Anomáliák, relációk
Adatbázis rendszerek. Molnár Bence. Szerkesztette: Koppányi Zoltán
Adatbázis rendszerek Molnár Bence Szerkesztette: Koppányi Zoltán A mai órán A mai órán SQL (és ami mögötte van) Mi lesz a ZH-ban? SQL Történet 1970-es évek eleje IBM SEQUEL (Structured English QUery Languge)
Tábla létrehozása: CREATE TABLE alma( ID INT( 3 ) NOT NULL PRIMARY KEY, Leiras VARCHAR( 100 ) );
Tábla létrehozása: CREATE TABLE alma( ID INT( 3 ) NOT NULL PRIMARY KEY, Leiras VARCHAR( 100 ) ); CREATE TABLE `dihunor`.`csapat` ( `ID` INT( 4 ) NOT NULL AUTO_INCREMENT PRIMARY KEY COMMENT 'A csapat azonositoja',
Adatbázis-kezelés. Harmadik előadás
Adatbázis-kezelés Harmadik előadás 39 Műveletek csoportosítása DDL adat definiálás Objektum létrehozás CREATE Objektum törlés DROP Objektum módosítás ALTER DML adat módosítás Rekord felvitel INSERT Rekord
SQL PÉLDATÁR. készült a PTE TTK Iskolai informatika III. kurzus teljesítésére
SQL PÉLDATÁR készült a PTE TTK Iskolai informatika III. kurzus teljesítésére PTE TTK Czimmermann Gergely MA matematika informatika tanár szakos hallgató 2017 Tartalomjegyzék 1. Adatleíró műveletek... 3
Adatbázis kezelés Delphiben. SQL lekérdezések
Adatbázis kezelés Delphiben. SQL lekérdezések Structured Query Language adatbázisok kezelésére szolgáló lekérdező nyelv Szabályok: Utasítások tetszés szerint tördelhetők Utasítások végét pontosvessző zárja
Adatbázisok. 2. gyakorlat SQL november november 12. Adatbázisok 1 / 31
Adatbázisok 2. gyakorlat SQL 2016. november 12. 2016. november 12. Adatbázisok 1 / 31 SQL nyelv Structured Query Language Struktúrált lekérdez nyelv A relációs adatbáziskezelés szabványos nyelve Két f
Gyakorlás: Hozzunk létre egy Alkalmazottak táblát AZO szám, Részleg szöveg, Munkakör szöveg és BelépésDátuma dátum típussal.
Adatbázis létrehozása Adatleíró műveletek CREATE DATABASE "tan1" WITH ENCODING= LATIN2 ; vagy parancssorból a terminál alatt $ createdb tan1 E=latin2 Kapcsolódás az adatbázishoz $ psql tan1 Adattábla létrehozása
7. fejezet. 7.1. Kulcsok és idegen kulcsok
7. fejezet Megszorítások és triggerek Ebben a fejezetben az SQL-nek azokat a sajátosságait tekintjük át, amelyek az aktív elemek létrehozásával kapcsolatosak. Egy aktív elem olyan kifejezés vagy utasítás,
ADATBÁZISOK gyakorlat: SQL 2. rész SELECT
ADATBÁZISOK 9-10. gyakorlat: SQL 2. rész SELECT SELECT utasítás általános alakja SELECT [DISTINCT] oszloplista FROM táblanévlista [WHERE feltétel] [GROUP BY oszloplista [HAVING feltétel] ] [ORDER BY oszloplista];
Adatbázis Rendszerek II. 8. Gyakorló környezet
Adatbázis Rendszerek II. 8. Gyakorló környezet 1/24 B IT v: 2017.10.26 MAN Gyakorló környezet Géptermek 193.6.5.58:8080/apex H16_neptunkód ADMIN neptunkód 2/24 Jelszó váltás 1 2 3 4 3/24 Gyakorló környezet
Mveletek a relációs modellben. A felhasználónak szinte állandó jelleggel szüksége van az adatbázisban eltárolt adatok egy részére.
Mveletek a relációs modellben A felhasználónak szinte állandó jelleggel szüksége van az adatbázisban eltárolt adatok egy részére. Megfogalmaz egy kérést, amelyben leírja, milyen adatokra van szüksége,
WHERE záradék (további lehetıségek) SQL specialitások, nem írhatók át relációs algebrába: LIKE. NULL értékek. Az ismeretlen (unknown) igazságérték
WHERE záradék (további lehetıségek) SQL specialitások, amelyek könnyen átírhatóak relációs algebrai kifejezésre (összetett kiválasztási feltételre) BETWEEN.. AND.. intervallumba tartozás IN (értékhalmaz)
Tartalomjegyzék. Tartalomjegyzék 1. Az SQL nyelv 1 Az SQL DDL alapjai 2
Tartalomjegyzék Tartalomjegyzék 1 Az SQL nyelv 1 Az SQL DDL alapjai 2 Adatbázis parancsok 2 Táblaparancsok 2 A táblázat létrehozása 2 A táblázat módosítása 3 A tábla törlése 3 Indextábla létrehozása 3
BEVEZETÉS Az objektum fogalma
BEVEZETÉS Az objektum fogalma Program (1) Adat (2) Objektum Kiadványszerkesztés Word Táblázatkezelés Excel CAD AutoCad Adatbáziskezelés Access 1 Program (1) Adat (2) Objektum Adatmodell (2) A valós világ
Példa 2012.05.11. Többértékű függőségek, 4NF, 5NF
Többértékű függőségek, 4NF, 5NF Szendrői Etelka datbázisok I szendroi@pmmk.pte.hu harmadik normálformáig mindenképpen érdemes normalizálni a relációkat. Legtöbbször elegendő is az első három normálformának
Tervezés: Funkcionális függıségek
Tervezés: Funkcionális függıségek Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 3.1. Funkcionális függőségek, relációk (szuper)kulcsai 3.2. Funkcionális
SQL. Táblák összekapcsolása lekérdezéskor Aliasok Allekérdezések Nézettáblák
SQL Táblák összekapcsolása lekérdezéskor Aliasok Allekérdezések Nézettáblák A SELECT UTASÍTÁS ÁLTALÁNOS ALAKJA (ISM.) SELECT [DISTINCT] megjelenítendő oszlopok FROM táblá(k direkt szorzata) [WHERE feltétel]
Egyed-kapcsolat modell
Adatbáziskezelés Egyed-kapcsolat modell Csima Judit BME, VIK, Számítástudományi és Információelméleti Tanszék 2018. szeptember 5. Csima Judit Adatbáziskezelés Egyed-kapcsolat modell 1 / 45 Adatmodellezés
INFORMATIKA ÁGAZATI ALKALMAZÁSAI. Az Agrármérnöki MSc szak tananyagfejlesztése TÁMOP-4.1.2-08/1/A-2009-0010
INFORMATIKA ÁGAZATI ALKALMAZÁSAI Az Agrármérnöki MSc szak tananyagfejlesztése TÁMOP-4.1.2-08/1/A-2009-0010 2. Adatbáziskezelés eszközei Adatbáziskezelés feladata Adatmodell típusai Relációs adatmodell
Adatbázis rendszerek 2. előadás. Relációs algebra
Adatbázis rendszerek 2. előadás Relációs algebra Molnár Bence Szerkesztette: Koppányi Zoltán Bevezetés Relációs algebra általában A relációs algebra néhány tulajdonsága: Matematikailag jól definiált Halmazelméletből
Relációs algebra áttekintés és egy táblára vonatkozó lekérdezések
Relációs algebra áttekintés és egy táblára vonatkozó lekérdezések Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 2.4. Relációs algebra (áttekintés) 5.1.
Relációs adatbázisok tervezése ---2
Relációs adatbázisok tervezése ---2 Tankönyv: Ullman-Widom: Adatbázisrendszerek Alapvetés Második, átdolgozott kiadás, Panem, 2009 3.2.8. Funkcionális függ-ek vetítése 3.3.3. Boyce-Codd normálforma 3.3.4.
SQL parancsok feldolgozása
Az SQL nyelv SQL nyelv szerepe Sequental Query Language, deklaratív nyelv Halmaz orientált megközelítés, a relációs algebra műveleteinek megvalósítására Előzménye a SEQUEL (IBM) Algoritmus szerkezeteket
ABR ( Adatbázisrendszerek) 2. Előadás : Műveletek a relációs modellben
ABR ( Adatbázisrendszerek) 2. Előadás : Műveletek a relációs modellben 2.2 Műveletek a relációs modellben 2.2.1 Relációra vonatkozó megszorítások 2.2.2 Multihalmazon értelmezett műveletek 2.2.3 A relációs
A gyakorlat során MySQL adatbázis szerver és a böngészőben futó phpmyadmin használata javasolt. A gyakorlat során a következőket fogjuk gyakorolni:
1 Adatbázis kezelés 2. gyakorlat A gyakorlat során MySQL adatbázis szerver és a böngészőben futó phpmyadmin használata javasolt. A gyakorlat során a következőket fogjuk gyakorolni: Táblák létrehozása,
Magas szintű adatmodellek Egyed/kapcsolat modell I.
Magas szintű adatmodellek Egyed/kapcsolat modell I. Ullman-Widom: Adatbázisrendszerek. Alapvetés. 4.fejezet Magas szintű adatmodellek (4.1-4.3.fej.) (köv.héten folyt.köv. 4.4-4.6.fej.) Az adatbázis modellezés