A database system that can make deductions (conclude additional facts) based on rules and facts stored in the (deductive) database