Banco de dados dedutivo permite definir regras que são deduzidas a partir de fatos armazenados, permitindo inferir novas informações. Especifica regras recursivas para deduzir relações virtuais com base em fatos e regras. Exemplo mostra como deduzir relações hierárquicas de supervisão a partir de fatos de supervisão direta.