JPS. cwiczenia 3. Stosy, proste zapytania. Michał Lentner Polsko-Japońska Wyższa Szkoła Technik Komputerowych

Transkrypt

1

2 JPS cwiczenia 3. Stosy, proste zapytania Michał Lentner Polsko-Japońska Wyższa Szkoła Technik Komputerowych

3 Baza danych używana w przykładach

4 Baza danych używana w przykładach <i6, loc, "Warsaw"> <i7, dname, "R&D"> <i4, dept, {i6, i7, i8, i9}> <i8, employs, i3> <i10, salary, 3500> <i11, job, "Programmer"> <i3, emp, {i10, i11, i12, i13}> <i9, employs, i2> <i12, ename, "Kowal"> <i13, works_in, i4> <i16, ename, "Dudek"> <i1, emp, {i15, i16, i17, i29}> <i17, works_in, i5> <i0, entry, {i1, i2, i3, i4, i5, i26}> <i22, employs, i1> <i23, loc, "Kraków"> <i5, dept, {i22, i23, i24}> <i29, works_in, i26> <i15, job, "Clerk"> <i2, emp, {i18, i19, i20, i21}> <i24, dname, "Sales"> <i27, loc, "Pozna!"> <i26, dept, {i27, i28}> <i18, salary, 3500> <i21, ename, "Nowak"> <i28, dname, "Accounting"> <i19, works_in, i4> <i20, job, "Programmer">

5 Co to jest zapytanie?

6 Co to jest zapytanie? dowolny literał, np. 5, 3.5, Ala ma kota

7 Co to jest zapytanie? dowolny literał, np. 5, 3.5, Ala ma kota dowolna nazwa, np. emp, sal

8 Co to jest zapytanie? dowolny literał, np. 5, 3.5, Ala ma kota dowolna nazwa, np. emp, sal jedno lub dwa zapytania połączone z jakimś operatorem

9 Ważniejsze operatory w SBQL

10 Ważniejsze operatory w SBQL operatory algebraiczne (makroskopowe i nie makroskopowe) +, -, /, *, %, etc. >, <, >=, <=,!=, etc. or, and union, intersect, minus, in min(), max(), avg(), count(), bag(), sequence() as, group as,

11 Ważniejsze operatory w SBQL operatory algebraiczne (makroskopowe i nie makroskopowe) +, -, /, *, %, etc. >, <, >=, <=,!=, etc. or, and union, intersect, minus, in min(), max(), avg(), count(), bag(), sequence() as, group as, operatory niealgebraiczne (makroskopowe) where. join order by for all

12 Rodzaje rezultatów w SBQL

13 Rodzaje rezultatów w SBQL wartość atomowa np. 5, 3.5, Ala ma kota, true referencja np. i0 struktura np. struct(1, 2, 3, 4) bag np. bag(1, 2, i0, blabla ) sekwencja np. sequence(1, 2, 3, 4, 5) binder np. imie(i0), x(bag(1, 2, 3))

14 Stos rezultatów (QRES)

15 Stos rezultatów (QRES) Służy do tymczasowego przechowywania rezultatów zapytań

16 Stos rezultatów (QRES) Służy do tymczasowego przechowywania rezultatów zapytań Składa się z elementów będących rezultatami zapytań

17 Stos rezultatów (QRES) Służy do tymczasowego przechowywania rezultatów zapytań Składa się z elementów będących rezultatami zapytań Operacja push umieszcza nowy element na szczycie stosu

18 Stos rezultatów (QRES) Służy do tymczasowego przechowywania rezultatów zapytań Składa się z elementów będących rezultatami zapytań Operacja push umieszcza nowy element na szczycie stosu Operacja pop usuwa element ze szczytu stosu

19 Stos rezultatów (QRES) Służy do tymczasowego przechowywania rezultatów zapytań Składa się z elementów będących rezultatami zapytań Operacja push umieszcza nowy element na szczycie stosu Operacja pop usuwa element ze szczytu stosu 5 Przykład stosu QRES

20 Stos rezultatów (QRES) Służy do tymczasowego przechowywania rezultatów zapytań Składa się z elementów będących rezultatami zapytań Operacja push umieszcza nowy element na szczycie stosu Operacja pop usuwa element ze szczytu stosu Przykład stosu QRES

21 Stos rezultatów (QRES) Służy do tymczasowego przechowywania rezultatów zapytań Składa się z elementów będących rezultatami zapytań Operacja push umieszcza nowy element na szczycie stosu Operacja pop usuwa element ze szczytu stosu Ala ma kota Przykład stosu QRES

22 Stos rezultatów (QRES) Służy do tymczasowego przechowywania rezultatów zapytań Składa się z elementów będących rezultatami zapytań Operacja push umieszcza nowy element na szczycie stosu Operacja pop usuwa element ze szczytu stosu Przykład stosu QRES

23 Proste zapytanie bez nazwy

24 Proste zapytanie bez nazwy * 3-4

25 Proste zapytanie bez nazwy * 3-4 Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

26 Proste zapytanie bez nazwy * Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

27 Proste zapytanie bez nazwy * Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

28 Proste zapytanie bez nazwy * 3-4 * 2 3 Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

29 Proste zapytanie bez nazwy * * 2 3 Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

30 Proste zapytanie bez nazwy * * 2 3 Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

31 Proste zapytanie bez nazwy * * 2 3 Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

32 Proste zapytanie bez nazwy * * 2 3 Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

33 Proste zapytanie bez nazwy * tree_walk(node) { if (node is leaf) // wstaw wartość na QRES else if (node is operator) { 1 tree_walk(node.left); tree_walk(node.right); // pobierz element(y) (zależy od operatora) z QRES // wykonaj operację związaną z operatorem // odłóż wynik na QRES } + 4 * 2 3 Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

34 Proste zapytanie bez nazwy * tree_walk(node) { if (node is leaf) // wstaw wartość na QRES else if (node is operator) { 1 tree_walk(node.left); tree_walk(node.right); // pobierz element(y) (zależy od operatora) z QRES // wykonaj operację związaną z operatorem // odłóż wynik na QRES } + 4 * 2 3 Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES 1

35 Proste zapytanie bez nazwy * tree_walk(node) { if (node is leaf) // wstaw wartość na QRES else if (node is operator) { 1 tree_walk(node.left); tree_walk(node.right); // pobierz element(y) (zależy od operatora) z QRES // wykonaj operację związaną z operatorem // odłóż wynik na QRES } + 4 * Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES 1 1

36 Proste zapytanie bez nazwy * tree_walk(node) { if (node is leaf) // wstaw wartość na QRES else if (node is operator) { 1 tree_walk(node.left); tree_walk(node.right); // pobierz element(y) (zależy od operatora) z QRES // wykonaj operację związaną z operatorem // odłóż wynik na QRES } + 4 * Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES 1 1 1

37 Proste zapytanie bez nazwy * tree_walk(node) { if (node is leaf) // wstaw wartość na QRES else if (node is operator) { 1 tree_walk(node.left); tree_walk(node.right); // pobierz element(y) (zależy od operatora) z QRES // wykonaj operację związaną z operatorem // odłóż wynik na QRES } + 4 * Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

38 Proste zapytanie bez nazwy * tree_walk(node) { if (node is leaf) // wstaw wartość na QRES else if (node is operator) { 1 tree_walk(node.left); tree_walk(node.right); // pobierz element(y) (zależy od operatora) z QRES // wykonaj operację związaną z operatorem // odłóż wynik na QRES } + 4 * Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

39 Proste zapytanie bez nazwy * tree_walk(node) { if (node is leaf) // wstaw wartość na QRES else if (node is operator) { 1 tree_walk(node.left); tree_walk(node.right); // pobierz element(y) (zależy od operatora) z QRES // wykonaj operację związaną z operatorem // odłóż wynik na QRES } + 4 * Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

40 Proste zapytanie bez nazwy * tree_walk(node) { if (node is leaf) // wstaw wartość na QRES else if (node is operator) { 1 tree_walk(node.left); tree_walk(node.right); // pobierz element(y) (zależy od operatora) z QRES // wykonaj operację związaną z operatorem // odłóż wynik na QRES } + 4 * Jeśli w zapytaniu nie ma nazw, to do ewaluacji wystarczy stos QRES

41 Stos środowiskowy (ENVS)

42 Stos środowiskowy (ENVS) Służy do zamieniania nazw występujących w tekscie programu na konkretne byty programistyczne (wiązanie nazw)

43 Stos środowiskowy (ENVS) Służy do zamieniania nazw występujących w tekscie programu na konkretne byty programistyczne (wiązanie nazw) Składa się z sekcji, a każda sekcja składa się z binderów

44 Stos środowiskowy (ENVS) Służy do zamieniania nazw występujących w tekscie programu na konkretne byty programistyczne (wiązanie nazw) Składa się z sekcji, a każda sekcja składa się z binderów Pierwsza sekcja (sekcja bazowa) inicjalizowana jest automatycznie zawartością bazy danych). Trafiają do niej bindery do obiektów korzeniowych bazy danych

45 Stos środowiskowy (ENVS) Służy do zamieniania nazw występujących w tekscie programu na konkretne byty programistyczne (wiązanie nazw) Składa się z sekcji, a każda sekcja składa się z binderów Pierwsza sekcja (sekcja bazowa) inicjalizowana jest automatycznie zawartością bazy danych). Trafiają do niej bindery do obiektów korzeniowych bazy danych Operacja push umieszcza nową sekcję na szczycie stosu

46 Stos środowiskowy (ENVS) Służy do zamieniania nazw występujących w tekscie programu na konkretne byty programistyczne (wiązanie nazw) Składa się z sekcji, a każda sekcja składa się z binderów Pierwsza sekcja (sekcja bazowa) inicjalizowana jest automatycznie zawartością bazy danych). Trafiają do niej bindery do obiektów korzeniowych bazy danych Operacja push umieszcza nową sekcję na szczycie stosu Operacje pop usuwa sekcję ze szczytu stosu

47 Stos środowiskowy (ENVS) Służy do zamieniania nazw występujących w tekscie programu na konkretne byty programistyczne (wiązanie nazw) Składa się z sekcji, a każda sekcja składa się z binderów Pierwsza sekcja (sekcja bazowa) inicjalizowana jest automatycznie zawartością bazy danych). Trafiają do niej bindery do obiektów korzeniowych bazy danych Operacja push umieszcza nową sekcję na szczycie stosu Operacje pop usuwa sekcję ze szczytu stosu Operacja bind dokonuje wiązania nazw

48 Stos środowiskowy (ENVS) Służy do zamieniania nazw występujących w tekscie programu na konkretne byty programistyczne (wiązanie nazw) Składa się z sekcji, a każda sekcja składa się z binderów Pierwsza sekcja (sekcja bazowa) inicjalizowana jest automatycznie zawartością bazy danych). Trafiają do niej bindery do obiektów korzeniowych bazy danych Operacja push umieszcza nową sekcję na szczycie stosu Operacje pop usuwa sekcję ze szczytu stosu Operacja bind dokonuje wiązania nazw Operacja push zazwyczaj wywoływana jest razem z operacją nested

49 Stos środowiskowy (ENVS) Służy do zamieniania nazw występujących w tekscie programu na konkretne byty programistyczne (wiązanie nazw) Składa się z sekcji, a każda sekcja składa się z binderów Pierwsza sekcja (sekcja bazowa) inicjalizowana jest automatycznie zawartością bazy danych). Trafiają do niej bindery do obiektów korzeniowych bazy danych Operacja push umieszcza nową sekcję na szczycie stosu Operacje pop usuwa sekcję ze szczytu stosu Operacja bind dokonuje wiązania nazw Operacja push zazwyczaj wywoływana jest razem z operacją nested emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) Przykład stosu ENVS

50 Stos środowiskowy (ENVS) Służy do zamieniania nazw występujących w tekscie programu na konkretne byty programistyczne (wiązanie nazw) Składa się z sekcji, a każda sekcja składa się z binderów Pierwsza sekcja (sekcja bazowa) inicjalizowana jest automatycznie zawartością bazy danych). Trafiają do niej bindery do obiektów korzeniowych bazy danych Operacja push umieszcza nową sekcję na szczycie stosu Operacje pop usuwa sekcję ze szczytu stosu Operacja bind dokonuje wiązania nazw Operacja push zazwyczaj wywoływana jest razem z operacją nested ename(i16), works_in(i17), job(i15), works_in(i29) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) Przykład stosu ENVS

51 Stos środowiskowy (ENVS) Służy do zamieniania nazw występujących w tekscie programu na konkretne byty programistyczne (wiązanie nazw) Składa się z sekcji, a każda sekcja składa się z binderów Pierwsza sekcja (sekcja bazowa) inicjalizowana jest automatycznie zawartością bazy danych). Trafiają do niej bindery do obiektów korzeniowych bazy danych Operacja push umieszcza nową sekcję na szczycie stosu Operacje pop usuwa sekcję ze szczytu stosu Operacja bind dokonuje wiązania nazw Operacja push zazwyczaj wywoływana jest razem z operacją nested dept(i5) ename(i16), works_in(i17), job(i15), works_in(i29) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) Przykład stosu ENVS

52 Stos środowiskowy (ENVS) Służy do zamieniania nazw występujących w tekscie programu na konkretne byty programistyczne (wiązanie nazw) Składa się z sekcji, a każda sekcja składa się z binderów Pierwsza sekcja (sekcja bazowa) inicjalizowana jest automatycznie zawartością bazy danych). Trafiają do niej bindery do obiektów korzeniowych bazy danych Operacja push umieszcza nową sekcję na szczycie stosu Operacje pop usuwa sekcję ze szczytu stosu Operacja bind dokonuje wiązania nazw Operacja push zazwyczaj wywoływana jest razem z operacją nested employs(i22), loc(i23), dname(i24) dept(i5) ename(i16), works_in(i17), job(i15), works_in(i29) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) Przykład stosu ENVS

53 Wiązanie nazw

54 Wiązanie nazw Operacja bind pobiera jako argument nazwę, a następnie przechodzi ENVS od góry w dół poszukując tej nazwy. Przeszukiwanie przerywane jest w pierwszej sekcji, w której nazwa zostanie znaleziona.

55 Wiązanie nazw Operacja bind pobiera jako argument nazwę, a następnie przechodzi ENVS od góry w dół poszukując tej nazwy. Przeszukiwanie przerywane jest w pierwszej sekcji, w której nazwa zostanie znaleziona. employs(i22), loc(i23), dname(i24) Kolejność przeszukiwania dept(i5) ename(i16), works_in(i17), job(i15), works_in(i29) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26)

56 Wiązanie nazw Operacja bind pobiera jako argument nazwę, a następnie przechodzi ENVS od góry w dół poszukując tej nazwy. Przeszukiwanie przerywane jest w pierwszej sekcji, w której nazwa zostanie znaleziona. Przykłady: bind( emp ) = bag(i1, i2, i3) bind( dept ) = bag(i5) bind( works_in ) = bag(i17, i29) bind( loc ) = bag(i23) Kolejność przeszukiwania employs(i22), loc(i23), dname(i24) dept(i5) ename(i16), works_in(i17), job(i15), works_in(i29) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26)

57 Proste zapytanie z nazwą

58 emp Proste zapytanie z nazwą

59 Proste zapytanie z nazwą emp Ewaluacja elementarnych zapytań będących nazwami polega na wywołaniu operacji bind

60 Proste zapytanie z nazwą emp Ewaluacja elementarnych zapytań będących nazwami polega na wywołaniu operacji bind Zatem jeśli w dowolnym zapytaniu występuje nazwa, to do ewaluacji potrzebny jest stos QRES i stos ENVS

61 Proste zapytanie z nazwą emp Ewaluacja elementarnych zapytań będących nazwami polega na wywołaniu operacji bind Zatem jeśli w dowolnym zapytaniu występuje nazwa, to do ewaluacji potrzebny jest stos QRES i stos ENVS Inicjalizujemy ENVS i QRES. ENVS z binderami obiektów korzeniowych. QRES pusty. emp(i1), emp(i2), emp(i3), eept(i4), dept(i5), dept(i26)

62 Proste zapytanie z nazwą emp Ewaluacja elementarnych zapytań będących nazwami polega na wywołaniu operacji bind Zatem jeśli w dowolnym zapytaniu występuje nazwa, to do ewaluacji potrzebny jest stos QRES i stos ENVS Inicjalizujemy ENVS i QRES. ENVS z binderami obiektów korzeniowych. QRES pusty. Wyliczamy bind( Emp ). Wynik na QRES. ENVS pozostaje bez zmian. emp(i1), emp(i2), emp(i3), eept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) bag(i1, i2, i3)

63 Proste zapytanie z nazwą emp Ewaluacja elementarnych zapytań będących nazwami polega na wywołaniu operacji bind Zatem jeśli w dowolnym zapytaniu występuje nazwa, to do ewaluacji potrzebny jest stos QRES i stos ENVS Inicjalizujemy ENVS i QRES. ENVS z binderami obiektów korzeniowych. QRES pusty. Wyliczamy bind( Emp ). Wynik na QRES. ENVS pozostaje bez zmian. emp(i1), emp(i2), emp(i3), eept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) bag(i1, i2, i3) Inne zapytania nie są już takie proste...

64 Wyznaczanie wnętrza obiektów

65 Wyznaczanie wnętrza obiektów Operacja nested pobiera jako argument rezultat zapytania. W zależności od rodzaju argumentu wynikiem jest:

66 Wyznaczanie wnętrza obiektów Operacja nested pobiera jako argument rezultat zapytania. W zależności od rodzaju argumentu wynikiem jest: Dla wartości atomowej: pusty zbiór Dla referencji do obiektu prostego: pusty zbiór Dla referencji do obiektu złożonego: zbiór zawierający bindery z nazwami identyfikatorami podobiektów tego obiektu Dla referencji do obiektu referencyjnego: zbiór zawierający binder z nazwą i identyfikatorem obiektu wskazywanego Dla bindera: ten sam binder Dla struktury: suma operacji nested wszystkich elementów struktury Dla pozostałych rezultatów: pusty zbiór

67 Wyznaczanie wnętrza obiektów Operacja nested pobiera jako argument rezultat zapytania. W zależności od rodzaju argumentu wynikiem jest: Dla wartości atomowej: pusty zbiór Dla referencji do obiektu prostego: pusty zbiór Dla referencji do obiektu złożonego: zbiór zawierający bindery z nazwami identyfikatorami podobiektów tego obiektu Dla referencji do obiektu referencyjnego: zbiór zawierający binder z nazwą i identyfikatorem obiektu wskazywanego nested(5) = { } nested(i4) = { loc(i6), dname(i7), employs(i8), employs(i9) } nested(i8) = { emp(i3) } nested(struct(i26, i29)) = { loc(i27), dname(i28), dept(i26) } Dla bindera: ten sam binder Dla struktury: suma operacji nested wszystkich elementów struktury Dla pozostałych rezultatów: pusty zbiór

68 Operator.

69 Operator. q1.q2 q1. q2

70 q1.q2 Zainicjalizować dotres = bag() Operator. Wykonać eval(q1) i zrobić q1res = QRES.POP() Dla każdego elementu x q1res wykonać: Utworzyć nową sekcję na ENVS Wykonać nested(x). Wynik wprowadzić do sekcji utworzonej w poprzednim kroku Wykonać eval(q2) i zrobić q2res = QRES.POP() Dodać q2res do dotres (dotres q2res) Zamknąć sekcję ENVS Zrobić QRES.PUSH(dotres) q1. q2

71 Przykład

72 Przykład emp.ename Zapytanie powinno nam zwrócić referencje do wszystkich nazwisk pracowników emp ename.

73 Przykład emp.ename Zapytanie powinno nam zwrócić referencje do wszystkich nazwisk pracowników emp ename. Inicjalizujemy ENVS i QRES. ENVS z binderami obiektów korzeniowych. QRES pusty. emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26)

74 Przykład emp.ename Zapytanie powinno nam zwrócić referencje do wszystkich nazwisk pracowników emp ename. Inicjalizujemy ENVS i QRES. ENVS z binderami obiektów korzeniowych. QRES pusty. Wyliczamy bind( emp ). Wynik na QRES. ENVS pozostaje bez zmian. emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) bag(i1, i2, i3)

75 Przykład emp.ename Zapytanie powinno nam zwrócić referencje do wszystkich nazwisk pracowników emp ename. Inicjalizujemy ENVS i QRES. ENVS z binderami obiektów korzeniowych. QRES pusty. Wyliczamy bind( emp ). Wynik na QRES. ENVS pozostaje bez zmian. Robimy QRES.POP(). ENVS pozostaje bez zmian. QRES pusty. emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) bag(i1, i2, i3)

76 Przykład emp.ename Zapytanie powinno nam zwrócić referencje do wszystkich nazwisk pracowników emp ename. Inicjalizujemy ENVS i QRES. ENVS z binderami obiektów korzeniowych. QRES pusty. Wyliczamy bind( emp ). Wynik na QRES. ENVS pozostaje bez zmian. Robimy QRES.POP(). ENVS pozostaje bez zmian. QRES pusty. Robimy nested(i1). ENVS dostaje nową sekcję. QRES bez zmian. emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) ename(i16), works_in(i17), job(i15), works_in(i29) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) bag(i1, i2, i3)

77 Przykład emp.ename Zapytanie powinno nam zwrócić referencje do wszystkich nazwisk pracowników emp ename. Inicjalizujemy ENVS i QRES. ENVS z binderami obiektów korzeniowych. QRES pusty. Wyliczamy bind( emp ). Wynik na QRES. ENVS pozostaje bez zmian. Robimy QRES.POP(). ENVS pozostaje bez zmian. QRES pusty. Robimy nested(i1). ENVS dostaje nową sekcję. QRES bez zmian. Wyliczamy bind( ename ). Wynik wrzucamy na QRES. emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) ename(i16), works_in(i17), job(i15), works_in(i29) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) ename(i16), works_in(i17), job(i15), works_in(i29) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) bag(i1, i2, i3) bag(i16)

78

79 Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES trafia do resdot, więc resdot = bag{i16}. emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26)

80 Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES trafia do resdot, więc resdot = bag{i16}. Robimy nested(i2). ENVS dostaje nową sekcję. QRES bez zmian. emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i18), works_in(i19), job(i20), ename(i21) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26)

81 Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES trafia do resdot, więc resdot = bag{i16}. Robimy nested(i2). ENVS dostaje nową sekcję. QRES bez zmian. Wyliczamy bind( ename ). Wynik wrzucamy na QRES. emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i18), works_in(i19), job(i20), ename(i21) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i18), works_in(i19), job(i20), ename(i21) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) bag(i21)

82 Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES trafia do resdot, więc resdot = bag{i16}. Robimy nested(i2). ENVS dostaje nową sekcję. QRES bez zmian. Wyliczamy bind( ename ). Wynik wrzucamy na QRES. Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES do resdot, więc resdot = bag{i16, i21}. emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i18), works_in(i19), job(i20), ename(i21) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i18), works_in(i19), job(i20), ename(i21) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) bag(i21)

83 Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES trafia do resdot, więc resdot = bag{i16}. Robimy nested(i2). ENVS dostaje nową sekcję. QRES bez zmian. Wyliczamy bind( ename ). Wynik wrzucamy na QRES. Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES do resdot, więc resdot = bag{i16, i21}. Robimy nested(i3). ENVS dostaje nową sekcję. QRES bez zmian. emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i18), works_in(i19), job(i20), ename(i21) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i18), works_in(i19), job(i20), ename(i21) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i10), job(i11), ename(i12), works_in(i13) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) bag(i21)

84 Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES trafia do resdot, więc resdot = bag{i16}. Robimy nested(i2). ENVS dostaje nową sekcję. QRES bez zmian. Wyliczamy bind( ename ). Wynik wrzucamy na QRES. Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES do resdot, więc resdot = bag{i16, i21}. Robimy nested(i3). ENVS dostaje nową sekcję. QRES bez zmian. Wyliczamy bind( ename ). Wynik wrzucamy na QRES. emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i18), works_in(i19), job(i20), ename(i21) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i18), works_in(i19), job(i20), ename(i21) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i10), job(i11), ename(i12), works_in(i13) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) salary(i10), job(i11), ename(i12), works_in(i13) emp(i1), emp(i2), emp(i3), dept(i4), dept(i5), dept(i26) bag(i21) bag(i12)

85

86 Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES do resdot, resdot = bag{i16, i21, i12}. emp(i1), emp(i2), emp(i3), dept (i4), dept(i5), dept(i26)

87 Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES do resdot, resdot = bag{i16, i21, i12}. Wrzucamy resdot na QRES. Koniec wykonywania zapytania. emp(i1), emp(i2), emp(i3), dept (i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept (i4), dept(i5), dept(i26) bag(i16, i21, i12)

88 Usuwamy sekcję z ENVS i wartość z QRES. Wartość z QRES do resdot, resdot = bag{i16, i21, i12}. Wrzucamy resdot na QRES. Koniec wykonywania zapytania. emp(i1), emp(i2), emp(i3), dept (i4), dept(i5), dept(i26) emp(i1), emp(i2), emp(i3), dept (i4), dept(i5), dept(i26) bag(i16, i21, i12) W ten sposób mamy nazwiska wszystkich pracowników

89 Operator where

90 Operator where q1 where q2 where q1 q2

91 Operator where q1 where q2 Zainicjalizować whereres = bag() where q1 q2 Wykonać eval(q1) i zrobić q1res = QRES.POP() Dla każdego elementu x q1res wykonać: Utworzyć nową sekcję na ENVS Wykonać nested(x). Wynik wprowadzić do sekcji utworzonej w poprzednim kroku Wykonać eval(q2) i zrobić q2res = QRES.POP() Jeśli q2res == true, wtedy dodać x do whereres Zamknąć sekcję ENVS Zrobić QRES.PUSH(whereres)

92 Operator where q1 where q2 Zainicjalizować whereres = bag() where q1 q2 Wykonać eval(q1) i zrobić q1res = QRES.POP() Dla każdego elementu x q1res wykonać: Utworzyć nową sekcję na ENVS Wykonać nested(x). Wynik wprowadzić do sekcji utworzonej w poprzednim kroku Wykonać eval(q2) i zrobić q2res = QRES.POP() Jeśli q2res == true, wtedy dodać x do whereres Zamknąć sekcję ENVS Zrobić QRES.PUSH(whereres) Reszta podobnie jak w przypadku operatora....

93

94 Ć w i c z e n i a