Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination - Evaluation Material
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/8005904
下载链接
链接失效反馈官方服务：
资源简介：
In this archive, we provide the (already normalized and translated) rule sets that we used for the evaluation
of RMFA2, DRPC, and RPC in our paper "Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination" at KR 2023. We also provide the raw result files and some basic scripts that we used
to produce and count the results.
Please refer to the provided README.md for more information.
创建时间：
2023-11-02
