Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation

01/03/2017
by   Stefan Brass, et al.
0

OpenRuleBench is a large benchmark suite for rule engines, which includes deductive databases. We previously proposed a translation of Datalog to C++ based on a method that "pushes" derived tuples immediately to places where they are used. In this paper, we report performance results of various implementation variants of this method compared to XSB, YAP and DLV. We study only a fraction of the OpenRuleBench problems, but we give a quite detailed analysis of each such task and the factors which influence performance. The results not only show the potential of our method and implementation approach, but could be valuable for anybody implementing systems which should be able to execute tasks of the discussed types.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

11/19/2020

The VLSAT-1 Benchmark Suite

This report presents VLSAT-1 (an acronym for "Very Large Boolean SATisfi...
09/01/2020

Theodolite: Scalability Benchmarking of Distributed Stream Processing Engines in Microservice Architectures

Distributed stream processing engines are designed with a focus on scala...
06/03/2020

Implementation of password manager with sram-based physical unclonable function

Hacking password databases is one of the most frequently reported cyber-...
10/06/2020

Semantic Evaluation for Text-to-SQL with Distilled Test Suites

We propose test suite accuracy to approximate semantic accuracy for Text...
09/08/2021

The VLSAT-2 Benchmark Suite

This report presents VLSAT-2 (an acronym for "Very Large Boolean SATisfi...
07/11/2015

A new hybrid stemming algorithm for Persian

Stemming has been an influential part in Information retrieval and searc...
03/26/2021

Computational Model to Quantify Object Innovativeness

The article considers the quantitative assessment approach to the innova...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.