| MARTIN-LUTHER-UNIVERSITÄT HALLE-WITTENBERG | RESEARCH PROJECT |
| Institut für Informatik | Deductive Databases |
| Prof. Dr. Stefan Brass | Push Method |
Home Publications C++ Code Translator Abstract Machine Benchmark Results Links
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.
|
 |
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 (brass@informatik.uni-halle.de), September 20, 2016
Original URL: http://www.informatik.uni-halle.de/~brass/push/legal_info.html [XHTML 1.0] [CSS] [Links] [Legal Info]