Wykaz tematów prac dyplomowych w roku akademickim 2008/2009

Transkrypt

Wykaz tematów prac dyplomowych w roku akademickim 2008/2009
Wykaz tematów prac dyplomowych
w roku akademickim 2008/2009
kierunek: informatyka
L.p
Nazwisko i imię
.
studenta
1
Delikat Michał
Promotor
dr Michał
Chlebiej
Temat pracy
Opis zadania stawianego studentowi
magisterskiej
Wykorzystanie metody Free• Opracowanie algorytmu, który
Form Deformation do symulacji
umoŜliwiałby w łatwy sposób
oddziaływań pomiędzy
symulowanie oddziaływań
obiektami.
pomiędzy obiektami 3D,
wykorzystując FFD oraz modele
fizyczne
• Stworzenie wizualizacji
wykorzystującej ten algorytm
• Wskazanie i implementacja
przykładowych zastosowań
algorytmu
2
Gollent Marcin
Generowanie i realistyczna
wizualizacja środowisk
naturalnych.
• Stworzenie systemu graficznego
umoŜliwiającego skomponowanie i
wyświetlanie w czasie
rzeczywistym rozległych terenów.
• Edytor sceny ma umoŜliwiać
znaczne zróŜnicowanie roślin
między sobą, a system poziomu
szczegółów ma zapewnić płynność
animacji przy bardzo duŜym
zasięgu widzenia.
3
Modzelewski Piotr
Realistyczne techniki animacji
komputerowej postaci.
• Zaprojektowanie, implementacja
oraz opis biblioteki umoŜliwiającej
realistyczne animowanie postaci na
scenie trójwymiarowej.
• Praca będzie zawierać przegląd
technik i zastosowanych
technologii oraz ich modyfikacje
wykonane w ramach pracy mające
na celu zwiększenie efektywności
oraz efektowności metod
oryginalnych
4
Olzacki Paweł
5
Rutkowski Andrzej
Symulacja i realistyczna
wizualizacja zachowań
systemów
wielocząsteczkowych.
• Opracowanie algorytmów mających
na celu symulację zachowań
układów wielu ciał
• Efektywna wizualizacja
wspomagana sprzętowo dąŜąca do
rozwiązań czasu rzeczywistego
Rekonstrukcja modeli
• Opracowanie i implementacja
trójwymiarowych na podstawie
algorytmu, który w pełni
sekwencji obrazów 2D.
automatycznie zrekonstruuje
trójwymiarowy model obiektu
mając do dyspozycji jego
reprezentacje dwuwymiarowe.
• W szczególności działanie
algorytmu będzie zorientowane na
rekonstrukcję na podstawie zdjęć
cyfrowych.
6
Stachowiak Tomasz
Elastyczny system renderingu
scen trójwymiarowych czasu
rzeczywistego.
• Zaprojektowanie, implementacja
oraz opis działania elastycznego
systemu renderingu
wykorzystującego najnowsze
osiągnięcia technologiczne.
• System ma być prosty w obsłudze
jednocześnie dając programistom
moŜliwość ingerencji w wiele
aspektów obliczeń.
• Zintegrowany edytor umoŜliwi
tworzenie oraz modyfikacje
zaawansowanych efektów
graficznych bez konieczności
napisania pojedynczej linii kodu.
1.
Marta Czerniewicz
prof. dr hab. Piotr Algorytmiczne rozstrzyganie
Dowbor
podobieństwa macierzy
kwadratowych i izomorfizmu
modułów Kroneckera.
Celem pracy jest dokładne
przedstawienie metody rozstrzygania
podobieństwa macierzy
kwadratowych, opartej na algorytmie
sprowadzania macierzy o
współczynnikach w k[x] do postaci
kanonicznej (i technice dzielników
elementarnych), a następnie
zaadaptowanie jej do konstrukcji
algorytmu, którego zadaniem jest
rozstrzyganie izomorfizmu tzw.
modułów Kroneckera (o ustalonym
wektorze wymiaru). Planuje się
równieŜ stworzenie pakietu w SAK
MAPLE realizującego omawiane
wyŜej zagadnienia.
2.
Konrad Flaszyński
Zastosowania redukcji
kratowych w problemie
efektywnego rozkładu
wielomianów na nierozkładalne
– algorytm LLL.
3.
Daniel Kardach
Bazy Gröbnera i algorytmy
programowania całkowitego.
Celem pracy jest przedstawienie
algorytmu Lovasz-Lenstra-Lenstra,
związanego z problemem szukania
najkrótszego niezerowego wektora w
kratach (wraz z dokładnym
wyjaśnieniem jego działania), a
następnie wykorzystanie go do
konstrukcji algorytmu znajdowania
rozkładu wielomianu w [x] na
nierozkładalne. Drugim celem pracy
jest stworzenie pakietu
oprogramowania w SAK MAPLE,
który będzie zawierał implementacje
wszystkich omawianych algorytmów.
Celem pracy jest przedstawienie
wybranych algorytmów związanych
ze znajdowaniem baz Gröbnera
ideałów w pierścieniach wielomianów
nad ciałem, w tym algorytmu
Buchbergera, a następnie
zastosowanie ich do konstrukcji
algorytmów rozwiązujących
podstawowe problemy
programowania całkowitego.
Planowane jest stworzenie
odpowiedniego pakietu w SAK
MAPLE realizującego omawiane
algorytmy.
4.
Krzysztof Szulc
Wybrane zagadnienia algebry
liniowej i ich algorytmiczne
rozwiązania.
Celem pracy jest przedstawienie kilku
zagadnień z obszaru algebry liniowej
od strony moŜliwości ich
algorytmicznego i efektywnego
rozwiązywania. Dotyczy to m.in.
szybkiego mnoŜenia macierzy (np.
algorytm Strassena), a przede
wszystkim potęgowania i roli w tym
zakresie twierdzeń Cayleya-Hamiltona
oraz Jordana, a takŜe pojęć
wielomianu charakterystycznego i
minimalnego, w tym opisu róŜnych
metod ich wyznaczania. NiezaleŜnie
w pracy zostaną przedstawione
algorytmiczne podejście do problemu
znajdowania postaci Jordana dla
macierzy, a takŜe róŜne aspekty
zagadnień związanych z szukaniem
wartości własnych. Planuje się
równieŜ omówienie algorytmów
realizujących rozkłady macierzy na
iloczyny (np. „LU”, „LPU”, „PLU”,
itp.) i ich zastosowań w
rozwiązywaniu klasycznych
problemów algebry liniowej.
Wszystkie omówione algorytmy będą
zaimplementowane w postaci pakietu
SAK MAPLE.
prof. dr. hab.
Krzysztof
Frączek
Kodowanie zbioru liczb
naturalnych
1.
Bzdawka Kamil
2.
Bartoszyńska Maliwina
Zastosowanie kodów
arytmetycznych w kompresji
danych
3.
Jasiński Marcin
Kompresowanie danych oparte
na algorytmie przyrostkowego
podziału
Celem pracy jest przedstawienie
problemu prefiksowego kodowania
elementów zbioru przeliczalnego w
sposób stosunkowo optymalny. W
pracy znajdzie się opis kilku
podstawowych takich kodów oraz
przedstawione zostaną szacowania
długości słów kodowych.
Praca dotyczyć będzie kompresji
danych przy załoŜeniu, Ŝe statystyczne
własności źródła są znane. Głównym
celem pracy jest szczegółowa analiza
tzw. kodu Pasco, wraz z
przedstawieniem dowodu jego
asymptotycznej optymalności.
Praca dotyczyć będzie problemu
asymptotycznej optymalności dla tzw.
kodów uniwersalnych. W pracy
analizowane będą własności kodów
opartych na algorytmie
przyrostkowego podziału słów, przy
uŜyciu złoŜoności Lempela-Ziva.
4.
Kiełkowski Paweł
1
Agnieszka Holka
2
Michał Ferliński
dr hab. Jacek
Kobus
Kompresja danych za pomocą
czasów pierwszego powrotu
Celem pracy będzie przedstawienie
asymptotycznych własności dla
kodów opartych na czasach
pierwszego powrotu. Tego typu kody
uniwersalne okazują się być, w
pewnym sensie, kodami
asymptotycznie optymalnymi dla
źródeł ergodycznych.
Międzyplatformowy interfejs
systemu FolaNessus
wykonany przy uŜyciu
biblioteki Qt4
Zaprojektowanie i wykonanie przy
uŜyciu biblioteki Qt4
graficznego interfejsu do systemu
FolaNessus, który słuŜy do
nadzorowania bezpieczeństwa
sieciowych systemów komputerowych
w oparciu o skaner luk sieciowych
Nessus.
Zaprojektowanie i
zaimplementowanie w Perlu systemu
wspomagającego profilowanie ruchu
sieciowego dla serwerów i stacji
roboczych pracujących w lokalnej
sieci komputerowej oraz komputerów
osobistych korzystających z
modemowego podłączenia do
Internetu.
Profilowanie ruchu sieciowego
w systemie GNU/Linux
3
Tomasz Kapelak
Nadzorowanie stanu serwerów i Rozbudowa modułu FolaHostMonitor
ich wykorzystania przez
o funkcje pozwalające na zbieranie
dodatkowych danych o pracy
uŜytkowników
serwerów i stacji roboczych oraz
danych charakteryzujących
wykorzystanie tych systemów
komputerowych przez uŜytkowników.
Wykonanie aplikacji webowej
pozwalającej na zarządzanie
modułem, wyszukiwanie, wizualizację
i eksportowanie danych
gromadzonych w raportach,
udostępnianie określonych informacji
(stan konta, historia logowań,
wykorzystane
zasoby) i usług (zmiana hasła,
archiwizacja danych, itp.) wybranym
uŜytkownikom.
4
Szymon Klimuk
Monitorowanie i zarządzanie
urządzeniami sieciowymi przy
pomocy
narzędzi Net-SNMP
Rozbudowa modułu FolaSNMP o
moŜliwość monitorowania i
zarządzania dowolnymi urządzeniami
sieciowymi (drukarkami,
przełącznikami ethernetowymi, itp.) w
oparciu o narzędzia dostępne w
ramach pakietu
Net-SNMP, gdyŜ dotychczasowa
wersja modułu wykorzystuje
narzędzia SCLI, które pozwalają tylko
na (ograniczoną) obsługę wybranych
urządzeń.
5
Piotr Dawid Pietryga
System wspomagający ocenę
umiejętności praktycznego
zarządzania serwerem
6
Karol Wróbel
Separacja usług sieciowych
przy wykorzystaniu OpenVZ
Zaprojektowanie i wykonanie
systemu wspomagającego ocenę
umiejętności praktycznego
zarządzania i rozwiązywania
problemów przez administratora stacji
roboczej/serwera. Student otrzymuje
do dyspozycji specjalnie
przygotowaną wirtualną maszynę oraz
zestaw zadań do wykonania. Testy są
przeprowadzane przy uŜyciu
odpowiednich funkcji systemu
moodle. Ocena kaŜdego z zadań
odbywa się automatycznie na
podstawie zebranych przez skrypty
perlowe informacji o zmianach
dokonanych w konfiguracji systemu
operacyjnego.
Zaprojektowanie i wykonanie (w
języku Perl) narzędzia
pozwalającego na rozdzielenie wielu
usług sieciowych (DNS, DHCP, SSH,
SMPT, POP, HTTP, LDAP, itp.)
realizowanych przez jeden serwer na
usługi (lub odpowiednio dobrane
grupy usług) świadczone przez
oddzielne serwery funkcjonujące w
oddzielnych kontenerach systemu
OpenVZ.
1.
Konrad Dolecki
dr Piotr Malicki
Wspólne transwersale dla
rodzin zbiorów
2.
Łukasz Kowalski
O b-skojarzeniach w grafach
dwudzielnych
3.
Michał Kozłowski
Transwersale i grafy
dwudzielne
Wprowadzenie pojęcia wspólnej
transwersali dla dwóch rodzin
zbiorów. Omówienie wspólnych trans
wersal częściowych. Przedstawienie
zagadnień dotyczących pakowania
oraz pokrycia wspólnej transwersali.
Wprowadzenie i omówienie pojęć bskojarzenia, pokrycia wwierzchołkowego oraz pokrycia bkrawędziowego. Przedstawienie
związków pomiędzy b-skojarzeniami
a pokryciami b-krawędziowymi.
Planuje się równieŜ napisanie
programu komputerowego
związanego z przedstawianą
problematyką.
Twierdzenie Halla, twierdzenie Rado.
Omówienie transwersal częściowych.
Przedstawienie zagadnień
dotyczących pakowania oraz pokrycia
transwersal.
4.
Piotr Makowski
Kolorowanie krawędzi w
grafach dwudzielnych
5.
Karol Wakarecy
Metody programowania
liniowego dla grafów
dwudzielnych
6.
Krzysztof Zdziarski
Najliczniejsze skojarzenia w
grafach dwudzielnych
Omówienie pokrycia krawędziowego
w grafach dwudzielnych, zbiorów
stabilnych, pakowania pokryć
krawędziowych oraz pokryć przez
skojarzenia doskonałe. Planuje się
równieŜ napisanie programu
komputerowego związanego z
przedstawianą problematyką.
Wprowadzenie pojęć polytopu
skojarzenia i polytopu skojarzenia
doskonałego dla grafów
dwudzielnych. Omówienie dolnej i
górnej otoczki polytopu skojarzenia
doskonałego. Omówienie związków
macierzy całkowicie unimodularnych
z grafami dwudzielnymi oraz
skojarzeń stabilnych dla tych grafów.
Omówienie oraz implementacja
algorytmu znajdowania
najliczniejszego skojarzenia w grafach
dwudzielnych. Omówienie
znajdowania skojarzenia doskonałego
w regularnych grafach dwudzielnych
oraz metody węgierskiej dla
najliczniejszych skojarzeń.
1
Michał Matuszak
prof. dr hab.
Wojciech
Niemiro
Algorytmy wnioskowania w
sieciach bayesowskich z czasem
ciągłym wykorzystujące metody
Monte Carlo
Sieci bayesowskie z czasem ciągłym
zostały zaproponowane stosunkowo
niedawno w celu uwzględnienia
dynamiki w sieciach bayesowskich.
Ze względu na złoŜoność
obliczeniową, do aproksymacji
docelowego rozkładu
prawdopodobieństwa w tych sieciach
stosuje się algorytmy Monte Carlo.
Praca będzie zawierać wprowadzenie
do tematyki, opis algorytmów
wnioskowania,
implementacje tych algorytmów i
doświadczenia symulacyjne.
2
Jarosław Przygódzki
Algorytmy losowania
dokładnego wykorzystujące
łańcuchy Markowa i
zastosowania
W wielu zadaniach statystyki
bayesowskiej, fizyki statystycznej i
kombinatoryki pojawiają się
tak skomplikowane rozkłady
prawdopodobieństwa, Ŝe bezpośrednie
generowanie próbek z tych rozkładów
jest niemoŜliwe. UŜywając metod
MCMC moŜemy konstruować
ergodyczne łańcuchy Markowa
zbieŜne do tych rozkładów. W roku
1996 został wynaleziony pierwszy
algorytm, który pozwala generować
próbki dokładnie z docelowego
rozkładu, uŜywając łańcucha
Markowa, później pojawiło się takich
algorytmów więcej.
W pracy znajdzie się opis klasycznych
algorytmów losowania dokładnego na
skończonej przestrzeni stanów, wraz z
uzasadnieniem poprawności. Podane
zostaną zastosowania tych
algorytmów do kilku typowych zadań
obliczeniowych. Praca będzie
zawierała implementacje algorytmów i
wyniki doświadczeń symulacyjnych.
3
Mirosława śurek
1
Tomasz Głowiński
2
Anna Gogolińska
prof. dr hab.
Edward
Ochmański
Zastosowanie filtrów
cząsteczkowych do estymacji
rozkładów a posteriori w
statystyce bayesowskiej
W statystyce bayesowskiej pojawiają
się skomplikowane rozkłady a
posteriori, do obliczania których
konieczne jest stosowanie metod
Monte Carlo. Oprócz metod MCMC
uŜywa się tzw. “filtrów
cząsteczkowych”, które są
wyspecjalizowanymi algorytmami
losowania istotnego.
W pracy zostanie omówiony ogólny
schemat tych algorytmów i ich wersje
dla wybranych
modeli bayesowskich. Częścią pracy
będzie implementacja tych
algorytmów i seria doświadczeń
symulacyjnych mających zbadać
efektywność metody i ewentualnie jej
porównanie z algorytmami typu
MCMC lub EM.
Rozmyte neuronowe sieci
Petriego
Modelowanie sieci neuronowych za
pomocą sieci Petriego. Adaptacja
algorytmu wstecznej propagacji jako
metody samouczenia.
Systemy współbieŜne (sieci Petriego,
systemy Lindenmayera) pod kątem
zastosowań do modelowania zjawisk
biologicznych
Modelowanie systemów
biologicznych
3
Joanna Jaranowska
4
Radosław Kania
5
Szymon Kaniewski
6
Kinga Kleps
7
Michał Marciniak
8
Zbyszko Papierski
Techniki wnioskowania
rozmytego
Teoria zbiorów rozmytych i jej
zastosowanie do wnioskowania z
niepełną informacją
Kolorowane sieci Petriego i ich Teoria kolorowanych sieci Petriego i
zastosowania
jej zastosowanie w modelowaniu
systemów rzeczywistych
(produkcyjnych, komunikacyjnych)
Problemy osiągalności w
Aspekty problemu osiągalności (stanu,
róŜnych klasach sieci Petriego stanu pustego, placu pustego) w
sieciach Petriego róŜnych typów wyniki znane i nowe wyniki autora
Aspekty czasowe w sieciach
Modelowania systemów
Petriego
rzeczywistych z uwzględnieniem
czasu (czas aktywności Ŝetonów, czas
trwania akcji)
Sieci Petriego w projektowaniu Programowanie gier z
gier ekonomicznowykorzystaniem sieci Petriego. Teoria
strategicznych
i praktyka - przykładowe wdroŜenie.
Koncepcja języka
Zaprojektowanie i wdroŜenie języka
programowania równoległego programowania współbieŜnego w
oparciu o sieci Petriego
1.
Marcin Duchiński
2.
Anna Furman
prof. dr hab.
Daniel Simson
Pakiet algorytmów i
implementacji w MAPLE
opisujących nieujemne
kwadratowe błądzenie na
posetach i analizujących
problem Birkhoffa.
Wykonanie zadania opisanego w
temacie pracy z zastosowaniem
kryterium Sylvestera, jego uogólnień
oraz programów przygotowanych
przez
A. Furman, P.
Mackiewicz, G. Matczaka, a takŜe z
wykorzystaniem pakietu CREP
dostępnego w sieci.
Wykonanie zadań opisanych w
Obliczenia symboliczne,
temacie. Opracowanie wspólnie
programowanie w MAPLE,
C++ JAVA z zastosowaniem do P.Mackiewicz części programów i
słabo nieujemnych błądzeń
implementacji do pakietu opisanego
kwadratowych Eulera na
w temacie M. Duchińskiego, w tym
posetach Loupias.
algorytmu ograniczonego zliczania
oraz algorytmu Deana-Pena.
Zbudowanie algorytmu ustawiającego
orbity Coxetera-Eulera w kołczan
oczkowy lub tuby klepsydralne.
Zastosowanie do błądzeń
kwadratowych Eulera na posetach
Loupias. Optymalizacja czasu
obliczeń symbolicznych i
numerycznych stosowanych
programów. Schematy blokowe
budowanych algorytmów
3.
Paulina Mackiewicz
4.
Agnieszka Polak
Opisanie algorytmów budujących Ekrytyczne podposety klasy posetów
LZS, reprezentantów orbit Coxetera,
wielomianów Coxetera oraz liczby
Coxetera. Opracowanie wspólnie z A.
Furman części programów i
implementacji do pakietu opisanego
w temacie M. Duchińskiego.
Optymalizacja czasu obliczeń
symbolicznych i numerycznych
stosowanych programów. Schematy
blokowe budowanych algorytmów.
Pakiet algorytmów i
Wykonanie zadań opisanych w
implementacji w MAPLE
temacie. Współudział w pracy nad
opisujących geometrię
pakietem algorytmów i implementacji
pierwiastków posetów LZS oraz w MAPLE wspólnie z M.
arytmetykę algebry macierzy
Duchińskim (z zastosowaniem
skośnych
twierdzenia Perrona-Frobeniusa do
macierzy sąsiedztwa posetów i
grafów). Zbudowanie pakietu
algorytmów i implementacji w
MAPLE opisujących arytmetykę
skośnych algebr macierzy nad ciałem
liczb wymiernych.
Zastosowanie MAPLE oraz
C++ w błądzeniu
kwadratowym na posetach
Loupias. Algorytm Deana-Pena
1
Krzysztof Kosyl
prof. dr hab.
Przechowywanie danych
Krzysztof Stencel hierarchicznych w relacyjnych
bazach danych
Celem pracy jest przedstawienie
róŜnych metod przechowywania
danych hierarchicznych w relacyjnych
bazach danych. W porównaniu
szczególna uwaga zostanie zwrócona
na wydajność oraz łatwość
wykonywania standardowych
operacji. Zostaną podane metody
zarówno uniwersalne, dostępne dla
kaŜdej bazy danych, jak i specyficzne
dla konkretnych SZBD. WaŜnym
elementem pracy będzie ocena
przydatności poszczególnych metod
do współpracy z O/RM, wraz z
przedstawieniem przykładowych
rozwiązań. Uzupełnieniem pracy będą
przykładowe implementacje
zaprezentowanych metod.
2
Łukasz Kufel
Narzędzie WWW do
projektowania i obsługi
relacyjnych baz danych z
moŜliwością pracy
bezpołączeniowej.
Celem pracy jest stworzenie systemu
do projektowania i obsługi relacyjnej
bazy danych poprzez przeglądarkę.
WaŜną funkcjonalnością oferowaną
przez aplikację będzie moŜliwość
pracy bezpołączeniowej i późniejszej
synchronizacji dokonanych zmian.
Tematem badań będą teŜ problemy
synchronizacji danych po powrocie w
tryb połączeniowy. Zajmę się takŜe
zagadnieniami wielodostępu do
pojedynczej bazy danych oraz
komunikacji uŜytkowników
korzystających równocześnie z jednej
bazy danych. Będę dąŜył do tego, by
moŜna było łatwo wymienić SZBD
uŜywany jako podstawa budowanego
przeze mnie systemu. Mechanizmem
umoŜliwiającym pracę
bezpołączeniową będzie Gears
(rozszerzenie do przeglądarek
zaproponowane przez Google i
rozwijane jako projekt open source).
3
Sebastian Madajczyk
Hybrydowy system plików
Praca ma zbadać przykład nowego
podejścia do systemów plików.
Tytułowa hybrydowość bierze się z
rozszerzenia pomysłu semantycznego
systemu plików zaproponowanego
przez twórców systemu TagFS o
elementy obiektowości oraz
dziedziczenie, które jest związane z
pojęciem hierarchii. System będzie
wykorzystywał bazę danych jako
narzędzie do przechowywania
metadanych o plikach. Celem pracy
jest zaimplementowanie prototypu
systemu i rozwaŜenie zalet i wad
nowego podejścia z punktu widzenia
uŜytkownika. Praca zawierać będzie
takŜe ocenę moŜliwości wdroŜenia
nowego podejścia z uwzględnieniem
trudności implementacyjnych.
4
Paweł Piątkowski
Rozszerzenie przestrzenne dla
bazy danych db4o
Celem pracy jest stworzenie
oprogramowania dodającego do
obiektowej bazy danych db4o
moŜliwość pracy z danymi
przestrzennymi. Rozszerzenie będzie
udostępniać przestrzenne typy danych
i zestaw podstawowych operacji
przestrzennych. W dalszych planach
jest dodanie indeksowania
przestrzennego. Implementacja będzie
zgodna ze specyfikacją OpenGIS
stworzoną przez OGC (Open
Geospatial Consortium).
Funkcjonalnością opcjonalną będzie
obsługa formatów GML (Geography
Markup Language) i GML (Google
Maps), który jest standardem OGC.
5
Marcin Tomczyk
Badanie właściwości zapytań
generowanych przez ORM
Celem pracy będzie badanie róŜnych
implementacja Object-Relational
Mapping (ORM), np. LINQ i
NHibernate. W głównej mierze
skupiać się będzie na testach
wydajnościowych, badaniu zapytań
generowanych przez te mapowania,
moŜliwości jakie dostarczają (np.
wielodziedziczenie) przy
jednoczesnym uwzględnieniu stopnia
skomplikowania w uŜyciu.
Przeprowadzone badania będą miały
na celu porównanie cech wybranych
ORM.
6
Piotr Wicenty
Natywna obsługa formatu XML Głównym celem pracy będzie
w relacyjnych systemach
przedstawienie oraz porównanie
najwaŜniejszych mechanizmów
zarządzania bazami danych
natywnej obsługi formatu XML w
wybranych systemach zarządzania
bazami danych. Analizie poddaną
zostaną m.in. składowanie
dokumentów, operacje modyfikacji,
walidacji, indeksowania oraz
zapytania z uŜyciem XQuery, XPath
na danych typu XML. Przedmiotem
badań pracy będą mechanizmy
zaimplementowane w bazach
PostgreSQL, Microsoft SQL Server,
IBM DB2 oraz Oracle. Dodatkowo, na
przykładzie bazy danych Oracle
podjęta zostanie próba
zaimplementowania aplikacji
realizującej niektóre z wytycznych
standardu XBRL (standard
sprawozdawczości finansowej
bazujący na XML) będącego
rozszerzeniem XML.