Tematyka bieżących badań statutowych
- Matematyczne podstawy obiektowych i półstrukturalnych języków zapytań
Celem prac jest opracowanie modelu matematycznego, dla podejścia stosowego w konstrukcji obiektowych języków zapytań. W szczególności udowodnienie poprawności i spójności języka SBQL. Prace są w toku.
- Optymalizacja zapytań do obiektowych i półstrukturalnych baz danych
Celem jest opracowanie algorytmów optymalizacyjnych przetwarzanie zapytań w rozproszonych obiektowych i półstrukturalnych bazach danych. Prace są w toku.
- Wykorzystanie multiprocesorów strumieniowych w równoległym przetwarzaniu zapytań
Celem prac jest opracowanie algorytmów zrównoleglania zapytań wykorzystujących specyfikę multiprocesorów strumieniowych wbudowanych w nowoczesne karty graficzne.
- Języki zapytań zintegrowane z językami programowania
Tworzona jest prototypowa implementacja nawigacyjnego języka zapytań zintegrowanego z językiem JAVA. Rozwijane silniki wykonawcze dla tak stworzonej architektury zakładają przetwarzanie danych
na bazach relacyjnych, obiektowych, słownikowych, wykorzystując przepisywanie drzew składniowych, metodę MapReduce i przestrzenie krotek.
Ponadto realizowane są badania nad językami dziedzinowymi (DSL), bezpieczeństwem baz danych oraz przetwarzaniem współbieźnym zapytań
