T-POREL:A Reasoning Distributed DBMS ard Its Implementation

• 推理式分布数据库管理系统T-POREL及其实现