PACT2019 Artifacts for "Fast Equivalence Relations in Datalog"

This is the official artifact for the paper "Fast Equivalence Relations in Datalog" due to be published in PACT 2019. We provide a pre-built Docker image on Dockerhub (~1GB), fetch with: <pre><code class="language-bash">sudo docker pull pnappa/pact2019_eqrel</code></pre> <strong>Alternatively</strong>, you may rebuild the Docker image from scratch (or install natively on a Debian-based system) by downloading this zip file, and following the instructions below. After downloading the artifacts.zip file to your computer, unzip it to reveal the following hierarchy: <pre><code>pact2019_eqrel_artifacts/ ├── bitcoin_same_user/ ├── Dockerfile ├── microbenchmarks/ ├── openjdk_javalang_steensgaard/ ├── README.md └── souffle_1.5.1-1_amd64.deb </code></pre> There are several options of installing - we recommend using Docker, although we provide instructions also for native installation of Debian-systems in the README.md. One can build a new Docker instance (which will take over an hour - grab a coffee!) through the command (when inside the pact2019_eqrel_artifacts directory): <pre><code class="language-bash">sudo docker build --tag=pnappa/pact2019_eqrel .</code></pre> To run &amp; enter the container, run: <pre><code class="language-bash">sudo docker container run -it pnappa/pact2019_eqrel</code></pre> Refer to README.md for additional instructions in how to perform the experiments, and observe the findings.