Bazy danych
Opis
Teoria i praktyka przetwarzania danych (relacyjnych, semi-strukturalnych i grafowych), w bazach danych i nie tylko. Języki zapytań i schematów bazodanowych. Algorytmika przetwarzania zapytań. Analiza statyczna. Wnioskowanie w oparciu o dane i ontologie (bazy wiedzy). Przetwarzanie dużych danych i strumieni danych. Zrównoleglanie i rozpraszanie. Zarządzanie bazami danych. Zastosowania w naukach przyrodniczych i humanistycznych.
Seminaria
Pracownicy i doktoranci
-
prof. dr hab. Mikołaj Bojańczyk
Algorytmika przetwarzania zapytań na danych semistrukturalnych (XML, JSON).
-
dr hab. Wojciech Czerwiński, prof. ucz.
Algorytmika przetwarzania zapytań na danych semistrukturalnych (XML, JSON).
-
dr Tomasz Gogacz
Teoria baz danych, statyczna analiza zapytań, wnioskowanie z użyciem ontologii i baz wiedzy.
- prof. dr hab. Łukasz Kowalik
-
dr hab. Filip Murlak, prof. ucz.
Semantyka i projektowanie języków zapytań i języków definiowania schematów bazodanowych; teoria i praktyka przetwarzania zapytań i walidacji danych; statyczna analiza zapytań i schematów bazodanowych; grafowe bazy danych. Wnioskowanie z użyciem ontologii i baz wiedzy. Strumieniowe przetwarzanie danych semistrukturalnych (XML, JSON); akceleracja sprzętowa (FPGA, SIMD).
-
dr hab. Anh Linh Nguyen, prof. ucz.
Dedukcyjne bazy danych
-
dr hab. Paweł Parys, prof. ucz.
Algorytmika przetwarzania zapytań na danych semistrukturalnych (XML, JSON).
-
dr Jacek Sroka
Zarządzanie bazami danych, języki opisu przepływu danych
-
prof. dr hab. Krzysztof Stencel
Zarządzanie bazami danych, obiektowo zorientowane bazy danych, języki zapytań
-
prof. dr hab. Andrzej Szałas
Dedukcyjne bazy danych, języki zapytań oparte na logikach nieklasycznych, bazy wiedzy
-
dr hab. Szymon Toruńczyk, prof. ucz.
Teoria baz danych. Algorytmika przetwarzania zapytań.
-
prof. dr hab. Jerzy Tyszkiewicz
Jezyki opisu przepływu danych, logika w bazach danych, zapytania WWW, bazy danych i języki zapytań dla tekstów w języku naturalnym, zastosowania baz danych w dziedzinach humanistycznych i przyrodniczych