数据库管理系统提供的数据语言中，负责数据的增、删、改和查询的是（）。

Armp公理系统的三条推理规则是自反律、______、增广律。