演繹データベースは、明確に定義された一連の規則と事実に基づいてそのデータに関する結論を出すことができるデータベースシステムです。 このタイプのデータベースは、論理プログラミングとリレーショナルデータベース管理システムを組み合わせるために開発されました。 通常、規則や事実を定義するために使用される言語は、論理プログラミング言語Datalogです。

データ、データログ、プログラミング用語