Rozwiązywanie współczesnych, złożonych problemów przetwarzania informacji wymaga często posługiwania się dużymi zbiorami danych. reprezentacja, przechowywanie i pewne operacje na takich dużych zbiorach danych są możliwe do efektywnej realizacji dzięki technologii baz danych, a w szczególności relacyjnych baz danych. Typowe operacje realizowane na danych to m. in. selekcja danych spełniających określone kryteria, agregacja danych, wizualizacja danych oraz przetwarzanie statystyczne.
O ile jednak numeryczne przetwarzanie danych (obejmujące m. in. wszelkie przeliczenia, agregację czy przetwarzanie statystyczne) oraz wizualizacja danych numerycznych doczekały się satysfakcjonujących rozwiązań i narzędzi programistycznych, o tyle logiczna i jakościowa analiza danych - zwłaszcza symbolicznych - może stanowić interesujący temat badań naukowych i nie jest jeszcze przedmiotem powszechnej praktyki inżynierskiej.
Przedmiotem projektu są formalne metody i narzędzia analizy oraz wspomagania projektowania baz danych i baz wiedzy. Bazy danych i bazy wiedzy analizowane są pod kątem weryfikacji własności teoretycznych, takich jak zupełność, nadmiarowość, spójność, efektywność reprezentacji, podobieństwo danych, możliwość agregacji, postać rozwinięcia specyfikacji, wszystko to także z uwzględnieniem aspektów temporalnych, takich np. jak dziedzina atrybutu czasowego, dobór modelu czasu, analiza czasu przyszłego albo przeszłego, lub też obu tych fragmentów osi czasowej jednocześnie, wybór ruchomego bądž nieruchomego punktu obserwacji, ograniczenia czasu rzeczywistego, itp. badania te są ukierunkowane na zapewnienie określonego poziomu jakości baz danych i baz wiedzy.
Proponowany projekt obejmuje badania o charakterze podstawowym, ukierunkowane na zastosowania praktyczne w logicznej analizie baz danych i baz wiedzy. Badania mają charakter otwarty.
Zasadniczym celem naukowym jest opracowanie i zbadanie własności obecnie stosowanych oraz rozszerzonych (w porównaniu z klasycznym schematem atrybutowym występującym w relacyjnych bazach danych) metod reprezentacji danych i wiedzy oraz opracowanie wybranych zagadnień logicznej analizy baz danych i wiedzy. dotyczy to zwłaszcza jakościowej, logicznej analizy dużych zbiorów danych zawartych w bazach danych oraz wiedzy reprezentowanej za pomocą systemów regułowych. Opracowanie to obejmować ma formalne zdefiniowanie wspomnianych powyżej własności i problemów, uściślonych w części opisowej (pytania 1-10) w rozważanym formalizmie, opracowanie algorytmicznych metod weryfikacji wskazanych własności i generacji odpowiedzi na podane pytania oraz implementację i testowanie wybranych procedur realizujących opracowane algorytmy. Ponadto celem projektu jest wypracowanie elementów podejścia i narzędzi do wspomagania syntezy baz wiedzy i specyfikacji danych oraz baz wiedzy spełniających określone wymagania. Tak więc zasadniczym celem naukowym projektu jest opracowanie i przebadanie efektywności i przydatności rozszerzonych metod reprezentacji wiedzy i procedur dla opartego na logice testowania wybranych własności baz danych i baz wiedzy. Rozważany aparat może być też wykorzystany do wspomagania syntezy systemów z bazą wiedzy. Analiza i synteza mają za zadania zapewnienie określonej jakości danych i wiedzy.
Zasadnicze zastosowania wyników badań może mieć miejsce w analizie dużych baz danych i systemów z bazą wiedzy oraz do wspomagania syntezy takich systemów. Zastosowania praktyczne mogą obejmować dziedziny takie jak analiza baz danych przedsiębiorstw pod kątem spełniania określonych własności, monitorowanie i nadzór procesów, budowa systemów diagnostycznych, klasyfikacyjnych i systemów wspomagania decyzji, budowa systemów wyszukujących i wnioskujących w oparciu o analogię, temporalne bazy danych, systemy dokumentacji, etc.
Przewidywane rezultaty badań obejmują opracowanie propozycji rozszerzonej, dwuwarstwowej reprezentacji danych i wiedzy oraz zdefiniowanie własności (1-10) i opracowanie metod ich weryfikacji. Wymiernym rezultatem badań powinny być publikacje i referaty naukowe. Przewiduje się opracowanie eksperymentalnych, generycznych procedur dla weryfikacji wybranych własności oraz ich implementację i testowanie. Przewiduje się również opracowanie monografii książkowej podsumowującej wyniki projektu oraz opracowanie strony www zawierającej opis realizowanych badań i ich wyników. Jednym z rezultatów powinno być znaczne zaawansowanie trzech prac doktorskich. Uzyskane wyniki te mogą być udostępniane zainteresowanym stronom w kraju i za granicą.
