activity
20002019
most citedSuper Logic Programs

34 citations · 39 across the 5 of their papers we have counts for

collaborators

7 papers

cs.PL2019

Declarative Programming for Microcontrollers -- Datalog on Arduino

Mario Wenzel, Stefan Brass

In this paper we describe an approach to programming microcontrollers based on the Arduino platform using Datalog as a clear and concise description language for system behaviors.…

cs.PL2017

A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

Christiane Engels, Andreas Behrend, Stefan Brass

Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a giv…

cs.DB2017★ 1 cited

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

Stefan Brass, Heike Stephan

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…

cs.DB2017★ 1 cited

Bottom-Up Evaluation of Datalog: Preliminary Report

Stefan Brass, Heike Stephan

Bottom-up evaluation of Datalog has been studied for a long time, and is standard material in textbooks. However, if one actually wants to develop a deductive database system, it t…

cs.LO2014

A Variant of Earley Deduction With Partial Evaluation

Heike Stephan, Stefan Brass

We present an algorithm for query evaluation given a logic program consisting of function-free Datalog rules. It is based on Earley Deduction [4, 6] and uses a partial evaluation s…

cs.LO2000★ 3 cited

Transformation-Based Bottom-Up Computation of the Well-Founded Model

Stefan Brass, Juergen Dix, Burkhard Freitag +1

We present a framework for expressing bottom-up algorithms to compute the well-founded model of non-disjunctive logic programs. Our method is based on the notion of conditional fac…