• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Model relacyjny



    Podstrony: [1] [2] 3 [4] [5]
    Przeczytaj także...
    Strumieniowa baza danych to baza danych, w której dane są przedstawione w postaci zbioru strumieni danych. System zarządzania taką bazą nazywany jest strumieniowym systemem zarządzania danymi (DSMS - ang. Data Stream Management System).Klucz główny (ang. Primary Key) – pojęcie z zakresu teorii relacyjnych baz danych. Oznacza wybrany minimalny zestaw atrybutów relacji, jednoznacznie identyfikujący każdą krotkę tej relacji.
    Algebra relacji[ | edytuj kod]
     Osobny artykuł: Algebra relacji.

    Algebra relacji to zbiór operatorów, które służą do manipulacji relacjami. Rezultatem działania, jak również argumentami tych operatorów są relacje. Operatory te można podzielić na dwie grupy: operacje na zbiorach oraz operatory zaprojektowane dla modelu relacyjnego

    System R – przełomowy system bazodanowy zbudowany w latach 70. jako projekt badawczy IBM w San Jose Research Center (obecnie IBM Almaden Research Center). W systemie tym wprowadzono język zapytań SQL i wykazano wydajność przetwarzania transakcyjnego w relacyjnym modelu baz danych.Podzbiór – pewna „część” danego zbioru, czyli dla danego zbioru, nazywanego nadzbiorem, zbiór składający się z pewnej liczby jego elementów, np. żadnego, jednego, wszystkich. Pierwszy przypadek nazywa się podzbiorem pustym, drugi – podzbiorem jednoelementowym lub singletonem, trzeci – podzbiorem niewłaściwym.

    Operacje na zbiorach:

  • Suma dwóch relacji tego samego typu
  • Różnica dwóch relacji tego samego typu
  • Iloczyn kartezjański dwóch relacji
  • Operacje dla konkretnego modelu:

  • Selekcja – rodzina operatorów parametryzowanych warunkiem logicznym. Jako argument przyjmuje relację, na wyjściu zwraca relację zawierającą tylko te krotki, dla których warunek logiczny był prawdziwy. Przykładowym operatorem selekcji jest
  • Projekcja (rzutowanie) – rodzina operatorów parametryzowanych ciągiem indeksów bądź ciągiem nazw atrybutów. Krotki wynikowej relacji powstają poprzez rzutowanie oryginalnych krotek na podany ciąg. Przykładowym operatorem projekcji jest
  • Przemianowanie – rodzina operatorów parametryzowanych parą atrybutów (A, B), gdzie oba atrybuty mają tę samą dziedzinę. Operator ten zamienia nazwę atrybutu A na B w wynikowej relacji. Przykładowym operatorem może być
  • Złączenie – może być zdefiniowane przy użyciu złożenia operatorów iloczynu kartezjańskiego, selekcji i projekcji. Ten operator przyjmuje jako argumenty dwie relacje r(X) i s(Y). W wyniku powstaje relacja v(X∪Y). Dla każdej pary krotek (po jednej z każdej wejściowej relacji), które mają te same wartości dla wspólnych atrybutów, powstaje krotka nowej relacji poprzez dołączenie do pierwszej krotki wartości drugiej krotki. Notacja przykładowa:
  • dane(<Pesel, Imie, Nazwisko>) oceny(<Pesel, Przedmiot, Ocena>) = dane_oceny(<Pesel, Imie, Nazwisko, Przedmiot, Ocena>)

    Obecnie istnieje wiele spojrzeń na algebrę relacji. W niektórych definiowane są dodatkowe operatory, które można wyprowadzić przez złożenie operatorów wspomnianych wyżej. W innych rodziny operatorów selekcji, projekcji i przemianowania są w uproszczeniu traktowane jako pojedyncze operatory.

    Język zapytań (ang.) query language – język stosowany do formułowania zapytań w odniesieniu do baz danych. W odpowiedzi uzyskuje się zestawienia danych, zwane raportami. Najbardziej znane języki zapytań to SQL oraz xBase.Klucz potencjalny (albo kandydujący, ang. candidate key) – minimalny zestaw atrybutów relacji, jednoznacznie identyfikujący każdą krotkę tej relacji.

    Rachunek relacyjny[ | edytuj kod]

     Osobny artykuł: Rachunek relacyjny.

    Rachunek relacyjny został zaproponowany przez Codda jako deklaratywny sposób wyszukiwania informacji, podczas gdy algebra relacji jest podejściem bardziej proceduralnym. Rachunek relacyjny jest oparty na logicznym rachunku predykatów (funkcji zdaniowych). Na rachunek relacyjny składa się alfabet oraz zbiór reguł tworzenia zapytań.

    Query By Example (QBE) - przyjazna dla użytkownika technika tworzenia zapytań do bazy danych, opracowana pierwotnie przez firmę IBM do użytku w komputerach mainframe, a potem zaadaptowana przez wiele innych systemów informatycznych. Technika ta polega na wypełnieniu szukanymi ciągami znaków pustego rekordu odpowiadającego dokładnie strukturze rekordów w bazie, np. "Warszawa" w polu "Miasto" czy "Kowalski" w polu nazwisko. Wynikiem zapytania jest lista wszystkich rekordów zawierających podany ciąg znaków w danym polu.Rachunek relacyjny, deklaracyjny, nieproceduralny - jest to model operowania danymi w bazie danych, oparty na logicznym rachunku predykatów. Wyróżnia się dwie odmiany: rachunek na krotkach - język SQL oraz na dziedzinach - interfejs QBE.

    Alfabet

  • stałe atomowe (wartości proste): x, y, z, ...
  • stałe indeksujące (numery indeksów): 1, 2, 3, ...
  • zmienne krotkowe: k1, k2, k3, ...
  • stałe atrybutowe (atrybuty): A1, A2, A3, ...
  • symbole relacyjne (predykaty): R1, R2, R3, ...
  • symbole funkcyjne: ∪, . (kropka)
  • operatory porównań (ozn. jako θ): =, ≠, <, ≤ , >, ≥
  • symbole logiczne: ¬, ∨, ∧, ⇒, ∀, ∃
  • ograniczniki (symbole dodatkowe): , | {} ()
  • Reguły tworzenia wyrażeń – poniższe konstrukcje są poprawnymi wyrażeniami rachunku relacyjnego

    Struktura matematyczna (także model, system semantyczny, model semantyczny, dziedzina, struktura pierwszego rzędu) - w matematyce zbiór obiektów matematycznych połączonych w pewien system.Teoria mnogości lub inaczej: teoria zbiorów – dział matematyki, a zarazem logiki matematycznej zapoczątkowany przez niemieckiego matematyka Georga Cantora pod koniec XIX wieku. Teoria początkowo wzbudzała wiele kontrowersji, jednak wraz z postępem matematyki zaczęła ona pełnić rolę fundamentu, na którym opiera się większość matematycznych rozważań.
  • Termy
  • termy atomowe: a ::= x | t.Ai
  • termy krotkowe: t ::= ki | t ∪ t | [Ai : x] (wartość x typu Ai)
  • Formuły: φ ::= R(t) | a θ a | (φ) | ¬φ | φ∨φ | φ∧φ | φ⇒φ | ∀v φ | ∃v φ (v jest zmienną wolną w φ)
  • Zapytania: {t | φ}, gdzie zbiór zmiennych występujących w t jest równy zbiorowi zmiennych wolnych w φ.
  • Przykład: Dla relacji Filmy(Tytuł, Reżyser, Aktor) przykładowym zapytaniem może być:

    Programowanie deklaratywne — rodzina paradygmatów programowania, które nie są z natury imperatywne. W przeciwieństwie do programów napisanych imperatywnie, programista opisuje warunki, jakie musi spełniać końcowe rozwiązanie (co chcemy osiągnąć), a nie szczegółową sekwencję kroków, które do niego prowadzą (jak to zrobić). Programowanie deklaratywne często traktuje programy jako pewne hipotezy wyrażone w logice formalnej, a wykonywanie obliczeń jako ich dowodzenie. Programowanie deklaratywne jest szczególnym przedmiotem zainteresowania naukowców, gdyż dzięki minimalizacji lub eliminacji skutków ubocznych może znacząco uprościć tworzenie programów współbieżnych. Paradygmat programowania deklaratywnego obejmuje szeroką gamę języków programowania i bardziej szczegółowych paradygmatów podrzędnych.Redundancja (łac. redundantia – powódź, nadmiar, zbytek), inaczej nadmiarowość w stosunku do tego, co konieczne lub zwykłe. Określenie może odnosić się zarówno do nadmiaru zbędnego lub szkodliwego, niecelowo zużywającego zasoby, jak i do pożądanego zabezpieczenia na wypadek uszkodzenia części systemu.
    W których filmach reżyserowanych przez Hitchcocka, on sam nie był aktorem: { xt | ∃xa Filmy(xt , "Hitchcock", xa ) ∧ ¬ Filmy(xt , "Hitchcock", "Hitchcock") } .


    Przedstawiony powyżej rachunek to tzw. relacyjny rachunek krotek Codda wprowadzony w 1972. Stał się on podstawą do zbudowania języka SQL. Oprócz rachunku krotek istnieje również wprowadzony później relacyjny rachunek dziedzin będący wzorcem dla języka QBE. Wprowadzając rachunek relacyjny i algebrę relacji Codd pokazał, że są one wzajemnie równoważne.

    Rachunek relacyjny, deklaracyjny, nieproceduralny - jest to model operowania danymi w bazie danych, oparty na logicznym rachunku predykatów. Wyróżnia się dwie odmiany: rachunek na krotkach - język SQL oraz na dziedzinach - interfejs QBE.Oracle Corporation NASDAQ: ORCL – amerykańskie przedsiębiorstwo zajmujące się tworzeniem oprogramowania do szeroko rozumianej obsługi przedsiębiorstw, a w szczególności systemów zarządzania bazą danych (zobacz: baza danych Oracle). Oracle jest trzecim pod względem przychodów sprzedawcą oprogramowania na świecie po firmach Microsoft i IBM.


    Podstrony: [1] [2] 3 [4] [5]



    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Encja (ang. entity) w bazach danych to reprezentacja wyobrażonego lub rzeczywistego obiektu (grupy obiektów) stosowana przy modelowaniu danych podczas analizy informatycznej. Formalnie jest to pojęcie niedefiniowalne, a podstawową cechą encji jest to, że jest rozróżnialna od innych encji.
    Edgar Frank "Ted" Codd (ur. 23 sierpnia 1923 w Portland w Anglii, zm. 18 kwietnia 2003 w Williams Island na Florydzie) - brytyjski informatyk, znany przede wszystkim ze swojego wkładu do rozwoju teorii relacyjnych baz danych.
    SQL (ang. Structured Query Language wym. /ɛskjuːˈɛl/) – strukturalny język zapytań używany do tworzenia, modyfikowania baz danych oraz do umieszczania i pobierania danych z baz danych.
    Rachunek predykatów pierwszego rzędu – (ang. first order predicate calculus) to system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów. Tak więc nie mogą występować kwantyfikatory typu "dla każdej funkcji z X na Y ..." (gdyż funkcja jest podzbiorem X × Y), "istnieje własność p, taka że ..." czy "dla każdego podzbioru X zbioru Z ...". Rachunek ten nazywa się też krótko rachunkiem kwantyfikatorów, ale często używa się też nazwy logika pierwszego rzędu (szczególnie wśród matematyków zajmujących się logiką matematyczną).
    Krotka (ang. tuple) - struktura danych będąca odzwierciedleniem matematycznej n-ki, tj. uporządkowanego ciągu wartości. Krotki przechowują stałe wartości o różnych typach danych - nie można zmodyfikować żadnego elementu, odczyt natomiast wymaga podania indeksu liczbowego żądanego elementu.
    Programowanie imperatywne – paradygmat programowania, który opisuje proces wykonywania jako sekwencję instrukcji zmieniających stan programu. Podobnie jak tryb rozkazujący w lingwistyce wyraża żądania jakichś czynności do wykonania. Programy imperatywne składają się z ciągu komend do wykonania przez komputer. Rozszerzeniem (w sensie wbudowanych funkcji) i rodzajem (w sensie paradygmatu) programowania imperatywnego jest programowanie proceduralne.
    Baza danych – zbiór danych zapisanych zgodnie z określonymi regułami. W węższym znaczeniu obejmuje dane cyfrowe gromadzone zgodnie z zasadami przyjętymi dla danego programu komputerowego specjalizowanego do gromadzenia i przetwarzania tych danych. Program taki (często pakiet programów) nazywany jest „systemem zarządzania bazą danych” (ang. database management system, DBMS).

    Reklama

    Czas generowania strony: 0.021 sek.