An incremental database engine based on partial evaluation

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