扩展和限制演绎数据库

Extending and restricting deductive databases