一个基于部分求值的增量式数据库引擎

• An incremental database engine based on partial evaluation