First-Order Benchmarks

该数据集是 Benedikt 等人提供的一组基准测试的子集，用于评估所提出技术的效果。它是论文中提出的以目标驱动的查询解答技术评估的一部分。该数据集的规模是基准测试的一个子集，其任务是对一阶依赖关系上的查询解答。

This dataset is a subset of a benchmark suite provided by Benedikt et al. for evaluating the effectiveness of the proposed techniques. It forms a component of the evaluation for goal-driven query answering techniques proposed in the associated paper. As a subset of this benchmark suite, its primary task is query answering over first-order dependencies.