연역적 데이터베이스 는 잘 정의 된 규칙과 사실을 기반으로 데이터에 대한 결론을 내릴 수있는 데이터베이스 시스템입니다. 이 유형의 데이터베이스는 관계형 데이터베이스 관리 시스템과 논리 프로그래밍을 결합하기 위해 개발되었습니다. 일반적으로 규칙과 사실을 정의하는 데 사용되는 언어는 논리적 프로그래밍 언어 Datalog입니다.

데이터, 데이터 로그, 프로그래밍 용어