Deduktiv database

En deduktiv database er en database, der består af en mængde af klausuler, dvs. en database, der er udtrykt i prædikatlogik. Databasen omfatter en mængde af fakta, der betegnes den "ekstensionelle database", og en mængde af deduktive regler, der betegnes den "intensionelle database". Den ekstensionelle database omfatter, hvad der i relationsdatabaser kaldes, base relationer, og med den intensionelle database kan bl.a. udtrykkes "afledte relationer", der svarer til views, og integritetsregler. En vigtig forskel imellem en relationsdatabase og en deduktiv database er, at der med den deduktive på naturlig måde kan arbejdes med rekursion (se Rekursiv).

Deduktive databaser fungerer først og fremmest som et teoretisk emne, hvorunder vigtige problemstillinger naturligt behandles, herunder også problemstillinger, der er relevante for andre typer databaser - f.eks. integritetskontrol i en relationsdatabase. Der findes ingen udbredt anvendte deduktive databasesystemer, men dog en del eksperimentelle. Der er tætte bånd imellem metoder og resultater indenfor deduktive databaser og logikprogrammering. Databasesystemet arbejder, ligesom logikprogram-fortolkeren, som en inferensmaskine. Et deduktivt databasesystem kan betragtes som en logikprogram-fortolker, der understøtter persistens.

Til deduktive databaser er der udviklet en speciel variant af (en reduceret) prædikatlogik kaldet "Datalog".