Institut für Informatik Deductive Databases
Prof. Dr. Stefan Brass Push Method



Bottom-Up Evaluation with the "Push Method"

Legal Information


Purpose of This Website:

The purpose of this website is to inform collegues from other universities about this research project. It contains supporting material for our publications about a query evaluation method for deductive databases. It is intended only for researchers, the published source code is not yet ready for real application projects.


Contact (Stefan Brass):

Postal Address:
Prof. Dr. Stefan Brass
Martin-Luther-Universität Halle-Wittenberg
Naturwissenschaftliche Fakultät III
Institut für Informatik
Von-Seckendorff-Platz 1
D-06099 Halle/Saale
Raum 313 (Institut für Informatik, Von-Seckendorff-Platz 1)
(+49|0) 345/55-24740
(+49|0) 345/55-27333
Frau Vahrenhold, Phone (+49|0) 345/55-24750
Photo of Stefan Brass


Using the Software (License):

Everybody is welcome to download and try the program code on this website for scientific, research and educational purposes. To use the programs on this website for other purposes, please contact the authors first and obtain a permission. In particular, this is necessary if our program code should be used for real applications, or you should want to integrate parts of it into other programs and publish these. As long as the integration into other programs is only for research purposes, and our contribution is clearly acknowledged, this is allowed.

Please note that the program code on this website is only a research prototype under construction. It most probably contains bugs. There is no warranty whatsoever. Under no circumstances you may sue the authors or their university for any damage caused by using the program code or other information contained on this website.

Of course, the authors are interested to remove bugs and any false information on this website. Please contact us if you find a bug or have other suggestions for improvements.


Stefan Brass (, September 20, 2016

Original URL:   [XHTML 1.0]   [CSS]   [Links]   [Legal Info]