Dedukcyjna baza danych

Dedukcyjna baza danych – baza danych, która potrafi wydedukować nowe dane.

Budowa

W skład dedukcyjnej bazy danych wchodzą dwie bazy (lub grupy baz):

baza ekstensjonalna, zwana bazą faktów, jest typową bazą danych (taką jak np. relacyjna baza danych lub obiektowa baza danych), przechowującą trwale fakty określonego typu.

baza intensjonalna, zwana bazą reguł wnioskowania, jest również typową bazą danych, z tym że przechowuje nie fakty lecz aksjomaty (reguły wnioskowania i więzy integralności).

Zarówno dane jak i aksjomaty mogą być opisane w języku logiki zdań lub logiki predykatów I rzędu. Przykładem takiego języka jest Prolog lub Datalog (stworzony specjalnie dla dedukcyjnych baz danych).

Współcześnie bazy składowe realizowane są jako typowe aplikacje bazodanowe dowolnego typu, przy użyciu wybranego języka programowania.

Bazy składowe spaja ze sobą dedukcyjny system zarządzania bazą danych (SZBD). Jest to System Zarządzania Bazą Danych, który potrafi przeprowadzać dedukcję, dla której korzysta z zawartości baz składowych. System ten może być aplikacją lokalną lub rozproszoną. Możliwe jest też wykonanie go jako systemu wieloagentowego.

Zasada działania

Dane, które znajdują się w bazie ekstensjonalnej, są dostępne użytkownikowi bazy dedukcyjnej bezpośrednio. Wówczas dedukcyjny SZBD nie przeprowadza wnioskowania.

Dane, które nie znajdują się w bazie ekstensjonalnej są tworzone na bieżąco w procesie wnioskowania. Wówczas dedukcyjny SZBD, wykonując algorytm wnioskowania (dedukcji), pobiera potrzebne do tego reguły wnioskowania z bazy intensjonalnej a fakty z bazy ekstensjonalnej)

Dane często tworzone mogą zostać zmaterializowane w bazie ekstensjonalnej.