演绎数据库
Sign in to savea database system that can make deductions (conclude additional facts) based on rules and facts stored in the (deductive) database
a database system that can make deductions (conclude additional facts) based on rules and facts stored in the (deductive) database