Martin-Luther-Universität Halle-Wittenberg

Kontakt

Prof. Dr. Stefan Brass

Telefon: 0345/55-24740
Telefon: 0345/55-24750

Raum 313
Von-Seckendorff-Platz 1
06120 Halle (Saale)

Weiteres

Login für Redakteure





Effiziente Anfrageauswertung in Deduktiven Datenbanken

Deduktive Datenbanken verwenden die logische Programmiersprache Datalog (ähnlich Prolog) sowohl für Datenbank-Abfragen als auch für die Anwendungsprogrammierung. Damit wird die Deklarativität, die sich in SQL bewährt hat, auch auf den Programmierungs-Anteil übertragen. Leider sind viele bisherige Prototypen deduktiver Datenbanken langsam und in den Möglichkeiten recht eingeschränkt. Ziel dieses Forschungsprojektes ist es, die Anfrage- und Programmauswertung in deduktiven Datenbanken zu beschleunigen.

Publikationen

  1. S. Brass: Magic Sets vs. SLD-Resolution. In J. Eder, L. A. Kalinichenko (eds.), Advances in Databases and Information Systems (ADBIS'95), Springer, 1995, 185-203.
  2. S. Brass: SLDMagic - An Improved Magic Set Technique. In: B. Novikov, J. W. Schmidt (eds.): Advances in Databases and Information Systems - ADBIS'96, MEPhI Publishing, Moscow, 1996, 75-83. Also published in Springer Workshops in Computing (1997).
  3. S. Brass: SLDMagic - The Real Magic (with Applications to Web Queries). In: J. W. Lloyd et. al. (eds.): First International Conference on Computational Logic (CL'2000/DOOD'2000), 1063-1077, Springer, LNCS 1861, 2000.
  4. S. Brass: Implementation Alternatives for Bottom-Up Evaluation. In M. V. Hermenegildo, T. Schaub (Eds.): Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, 44-53, LIPIcs, 2010.
  5. S. Brass, H. Stephan: A Variant of Earley Deduction with Partial Evaluation. In W. Faber, D. Lembo (Eds.): Web Reasoning and Rule Systems - 7th International Conference, RR 2013, 35-49, Springer, LNCS 7994, 2013.
  6. S. Brass: A Framework for Bottom-Up Simulation of SLD-Resolution. In: Technical Communications of the 30th International Conference on Logic Programming, ICLP 2014, Online Appendix of Theory and Practice of Logic Programming (TPLP), Cambridge University Press, 2014.

Zum Seitenanfang