Spis tre±ci. 1 Wst p Zawarto± rozdziaªów Projekt LoXiM... 2

Transkrypt

1 1 Wst p Zawarto± rozdziaªów Projekt LoXiM Strukturalne obiektowe bazy danych Relacyjny model danych Poj cia pierwotne Schemat tabel/relacji i schemat relacyjnej bazy danych Egzemplarz relacji i egzemplarz relacyjnej bazy danych Obiektowy model danych Poj cia pierwotne Warto±ci Typy danych Hierarchia typów danych Schemat struktury obiektowej bazy danych Przykªad schematu obiektowej bazy danych Egzemplarz obiektowej bazy danych Dziedziczenie struktury Warto±ci domy±lne Brak koniktów dziedziczenia wielokrotnego Klasykacja wielokrotna i dynamiczna Model zachowania Sygnatury metod Schemat zachowania Egzemplarz schematu zachowania Problem dyspozycji Podsumowanie

2 X Spis tre±ci 3 Przegl d j zyków zapyta«obiektowych baz danych NaszQL Ahoj przygodo! Zª czenie zale»ne Agregacja bez GROUP BY Wyra»enia ±cie»kowe Zmienne ±cie»kowe Dane póªstrukturalne OEM Lorel i UnQL Dane XML XML-QL Transformacje XSLT Podsumowanie Obiektowo-relacyjne bazy danych Zalety typów obiektowych Elementy obiektowo±ci w SQL: Elementy obiektowo±ci w Oracle Kolekcje Typy u»ytkownika Konstruktor Metody typu obiektowego Typ referencyjny Porównywanie warto±ci typów obiektowych Perspektywy obiektowe Rozszerzony przykªad. Baza zamówie« Lorel - j zyk póªstrukturalnych zapyta« Model danych Podstawowe zaªo»enie j zyka Równo± w pi ciu smakach Wspólne przedrostki ±cie»ek Wyra»enia ±cie»kowe Przykªad przykªadów Podsumowanie Aparat wykonawczy j zyka Lorel Przykªadowe dane Wykonywanie zapyta«w LORE Maszyna wirtualna aparatu wykonawczego LORE Scan Join Select Aggr Plan wykonania zapytania

3 XI 6.4 Indeksy V index Lindex Bindex P index T index Plan wykonania zapytania z u»yciem indeksu Zapytanie z wynikiem wielowymiarowym Konstrukcja wyniku zapytania Analiza mo»liwych planów wykonania Podsumowanie DataGuide Póªschemat danych i jego zastosowania Póªschemat w formie DataGuide Algorytm konstrukcji silnego DataGuide Przyrostowa piel gnacja silnego DataGuide Zastosowanie DataGuide w realizacji zapyta« Podsumowanie J zyki zapyta«dla danych XML Przykªadowy dokument XML Przegl d j zyków Lorel XML-QL XML-GL XSLT XQL XPath Krok lokalizacyjny Osie Predykaty Zapis skrócony Przykªady Podstawowe elementy XQuery Wyra»enia ±cie»kowe Konstruktor elementu FLWOR Instrukcje warunkowe i kwantykatory Funkcje i rekurencja Kontrola poprawno±ci typów Dwa systemy typów Schemat przykªadowego dokumentu Badanie typu Typ argumentu funkcji

4 XII Spis tre±ci Instrukcja wyboru dla typu Typy elementarne Podsumowanie Zadanie Podej±cie stosowe do j zyków zapyta« Modele skªadu obiektów Dane póªstrukturalne (model M0) Dane obiektowe, klasy (model M1) Role dynamiczne(model M2) Hermetyzacja (model M3) Stos ±rodowisk i wi zanie nazw Stos ±rodowisk Wi zanie nazw Funkcja nested J zyk zapyta«sbql Skªadnia zapyta« Stos wyników Semantyka zapyta« Operatory algebraiczne Operatory niealgebraiczne Przykªadowe zapytania w SBQL Póªmocna kontrola typów w j zykach zapyta« Mocna kontrola typów Przyczynkowo± istniej cych systemów typów Przykªad niespójno±ci w systemie typów ODMG Kolekcje Póªmocna kontrola typów Prosty czy wymy±lny system typów? Niezale»no± danych i schematy baz danych ródªa zb dnej zªo»ono±ci Koncepcja systemu kontroli typów Zewn trzny system typów Architektura trójwarstwowa Deklaracja obiektu Deklaracja podprogramu Typy nazwane Typy rozró»nione Deklaracja klasy Deklaracja interfejsu Programista systemowy Administrator Programista administracyjny Programista aplikacyjny

5 XIII Przykªadowa skªadnia zewn trznego systemu typów Schemat bazy danych i metabaza Metabaza Atrybuty wierzchoªków metabazy Korzenie, przynale»no± do klas i dziedziczenie Metabaza jako sªownik danych Role dynamiczne Hermetyzacja Podprogramy i ich parametry referencyjne Perspektywy Sygnatury Denicja sygnatur Statyczna funkcja nested Tablice decyzyjne wyprowadzania typów Operatory arytmetyczne i napisowe Operatory porównania Operatory logiczne Generyczne operatory algebraiczne Generyczne operatory niealgebraiczne Operator punktu staªego Podsumowanie Aparat statycznej kontroli typów Architektura aparatu kontroli typów Procedura statycznej kontroli typów Modykacja drzewa skªadni zapytania Wznowienie procesu kontroli typów po bª dzie Sygnatury wariantowe i rozwidlenie procesu Przykªadowa statyczna kontrola typów Przykªad dla schematu danych z dziedziczeniem Strumieniony aparat wykonawczy JLoXiM Motywacja Zaªo»enia Strumie« Rekord kontrolny Resultset Dziedzina komunikacji Relacja zgodno±ci rekordów kontrolnych Uporz dkowanie strumienia Komponenty Store Stamp GetNested RefMaterializer Merge

6 XIV Spis tre±ci HighestDened Komponenty dla operatorów algebraicznych BreakBag MakeBag Select Konstrukcja sieci wykonawczej dla zapytania Statyczne wi zanie nazw i operatorów Budowa planu sieci wykonawczej Przykªady sieci Optymalizacje sieci wykonawczej Realizacja Implementacja strumieni Scalanie komponentów Strumienie a pami wspóªdzielona Minimalizacja ilo±ci danych odczytywanych ze skªadu JLoXiM - platforma eksperymentalna Podsumowanie Uniwersalny model stanu obiektu Relacyjna baza danych a obiekty C Niezgodno± modelu danych Niezgodno± czasu wi zania Niezgodno± czasu»ycia obiektów Uniwersalny model stanu Model relacyjny Model M0/AS Model danych XML Model obiektowy j zyka C Model obiektowy j zyków Java,.NET oraz Python Podsumowanie Uniwersalny j zyk zapyta« Operatory j zyka UQL Zmiana nazwy Spªaszczanie Odwzorowanie Ewaluacja Pobieranie k-tego podobiektu Filtrowanie Zagnie»d»anie Klonowanie Produkt kartezja«ski Grupowanie Ró»nica

7 XV Transpozycja Zwijanie Przykªady odwzorowa«zapyta« Dalsze prace Literatura Indeks