Martin-Luther-Universität Halle-Wittenberg

Kontakt

Prof. Dr. Stefan Brass

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

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

Weiteres

Login für Redakteure





Prof. Dr. Stefan Brass

Prof. Dr. Stefan Brass

Prof. Dr. Stefan Brass

Prof. Dr. Stefan Brass leitet die Arbeitsgruppe "Datenbanken und Informationssysteme". Seine Forschungsschwerpunkte sind deduktive Datenbanken, nichtmonotones Schließen, Logik-basierte Wissensrepräsentation sowie Werkzeuge für die Datenbank-Lehre, insbesondere die Erkennung von semantischen Fehlern in SQL. In der Lehre vertritt der hauptsächlich den Bereich Datenbanken, hält aber auch Vorlesungen über logische Programmierung sowie über Web-Technologien und XML.

Stefan Brass studierte Informatik an der TU Braunschweig (Diplom 1988 mit Auszeichnung). Anschließend war er wissenschaftlicher Mitarbeiter von Prof. Dr. Udo Lipeck an der Universität Dortmund und der Universität Hannover (dort Promotion 1992 mit Auszeichnung und Habilitation 1997). Von 1996 bis 1998 vertrat er die Professur für Informationssysteme an der Universität Hildesheim, von 1998 bis 2000 war er Assistant Professor an der School of Information Sciences der University of Pittsburgh, 2000 bis 2002 Professor (C3) an der Justus-Liebig-Universität Gießen, 2002 bis 2003 Professor (C3) an der TU Clausthal-Zellerfeld, und seit 2003 Professor (C4) an der Martin-Luther-Universität Halle-Wittenberg.

Prof. Dr. Stefan Brass ist Oracle8 Certified Database Administrator und IBM Certified Advanced DBA (DB2 UDB 8.1).

Prof. Dr. Stefan Brass hat außerdem eine staatliche Erlaubnis als Großfeuerwerker und hat mehrfach ein Feuerwerk zur Langen Nacht der Wissenschaften organisiert. Er hat Software zur Feuerwerksplanung geschrieben und arbeitet zusammen mit Dr. Werner Gabrisch an einer computergesteuerten Zündanlage.

Vorlesungen im Grundstudium (Bachelor)

  • Objektorientierte Programmierung
    [jedes Wintersemester, zuletzt im Winter 2013/14]
  • Datenbanken I
    [jedes Wintersemester, zuletzt im Winter 2013/14]]
  • Grundlagen des World Wide Web
    (abwechselnd mit PD Dr. Alexander Hinneburg)
    [unregelmässig, ich zuletzt im Sommer 2014]

Vorlesungen im Hauptstudium (Master)

  • Datenbanken IIA: Datenbank-Entwurf
    [alle zwei Jahre im Wintersemester, zuletzt im Sommer 2013, das nächste Mal im Winter 2014/15]
  • Datenbanken IIB: DBMS-Implementierung
    (Hinweis: DB IIA wird nicht vorausgesetzt.)
    [alle zwei Jahre im Wintersemester, zuletzt im Winter 2013/14.]
  • Logische Programmierung und deduktive Datenbanken
    [jedes Sommersemester, zuletzt im Sommer 2014.]
  • XML und Datenbanken
    [unregelmäßig, zuletzt im Sommer 2014.]
  • Forschungsgruppenmodul (Seminar und Praktikum)
    (gemeinsam mit PD Dr. Alexander Hinneburg)
    [jedes Semester]

Ausgewählte Publikationen

  1. S. Brass, U. W. Lipeck: Specifying Closed World Assumptions for Logic Databases. In J. Demetrovics, B. Thalheim (eds.), MFDBS 89 - 2nd Symposium on Mathematical Fundamentals of Database Systems, Lecture Notes in Computer Science 364, Springer-Verlag, Berlin, 1989, 68-84.
  2. S. Brass: Beginnings of a Theory of General Database Completions. In S. Abiteboul, P. C. Kanellakis (eds.), ICDT'90 - Third International Conference on Database Theory, Lecture Notes in Computer Science 470, Springer-Verlag, Berlin, 1990, 349-363.
  3. S. Brass, U. W. Lipeck: Semantics of Inheritance in Logical Object Specifications. In C. Delobel, M. Kifer, Y. Masunaga (eds.), Deductive and Object-Oriented Databases - Proceedings DOOD'91, Lecture Notes in Computer Science 566, Springer-Verlag, Berlin, 1991, 411-430.
  4. S. Brass, U. W. Lipeck: Generalized Bottom-Up Query Evaluation. In A. Pirotte, C. Delobel, G. Gottlob (eds.), Advances in Database Technology - Proceedings EDBT'92, Lecture Notes in Computer Science 580, Springer-Verlag, Berlin, 1992, 88-103.
  5. S. Brass, U. W. Lipeck: Bottom-Up Query Evaluation with Partially Ordered Defaults. In S. Ceri, K. Tanaka, S. Tsur (eds.), Deductive and Object-Oriented Databases - Proceedings DOOD'93, Lecture Notes in Computer Science 760, Springer-Verlag, Berlin, 1993, 253-266.
  6. S. Brass: On the Semantics of Supernormal Defaults. In R. Bajcsy (ed.), IJCAI-93, 13th International Joint Conference on Artificial Intelligence (Vol.1), Morgan Kaufmann Publishers, 1993, 578-583.
  7. Deduction with Supernormal Defaults. In G. Brewka, K. Jantke, P. Schmitt (eds.), Nonmonotonic and Inductive Logic - Second International Workshop 1991, LNCS (LNAI) 659, Springer-Verlag, Berlin, 1993, 153-174.
  8. S. Brass: Modular Specifications with Supernormal Defaults. Annals of Mathematics and Artificial Intelligence 12 (1994), 189-213.
  9. U. W. Lipeck, S. Brass: Object-Oriented System Specification Using Defaults. In K. von Luck, H. Marburger (eds.), Management and Processing of Complex Data Structures - Third Workshop on Information Systems and Artificial Intelligence 1994, Proceedings, Lecture Notes in Computer Science 777, Springer-Verlag, Berlin, 1994, 22-43.
  10. S. Brass, J. Dix: A General Approach to Bottom-Up Computation of Disjunctive Semantics. In J. Dix, L. M. Pereira, T. Przymusinski (eds.), Nonmonotonic Extensions of Logic Programming, LNAI 927, Springer, 1995, 127-155.
  11. S. Brass, J. Dix: Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. In L. Sterling (ed.), Twelfth International Conference on Logic Programming (ICLP'95), MIT Press, 1995, 199-213.
  12. S. Brass, J. Dix: Characterizations of the Stable Semantics by Partial Evaluation. In A. Nerode (ed.), Logic Programming and Nonmonotonic Reasoning (LP&NMR'95), LNCS 928, Springer, 1995, 85-98.
  13. 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.
  14. 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).
  15. S. Brass, J. Dix, T. C. Przymusinski: Super Logic Programs. In L.C. Aiello, J. Doyle, S.C. Shapiro (eds.), Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 529-541, Morgan Kaufmann, 1996.
  16. S. Brass, J. Dix: Characterizing D-WFS: Confluence and iterated GCWA. In J.J. Alferes, L.M. Pereira, E. Orlowska (eds.), Logics in Artificial Intelligence, European Workshop (JELIA'96), 268-283, LNAI 1126, Springer, 1996.
  17. S. Brass, J. Dix: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. The Journal of Logic Programming 32:3 (1997), 207-228.
  18. S. Brass, U. Zukowski, B. Freitag: Transformation-Based Bottom-Up Computation of the Well-Founded Model. In J. Dix, L.M. Pereira, T.C. Przymusinski (eds.), Non-Monotonic Extensions of Logic Programming (NMELP'96), 171-201, Springer, LNAI 1216, 1997.
  19. U. Zukowski, S. Brass, B. Freitag: Improving the Alternating Fixpoint: The Transformation Approach. In: A. Nerode (ed.), 4th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'97), 40-59, Springer, LNCS/LNAI 1265, 1997.
  20. S. Brass, J. Dix: Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. Journal of Automated Reasoning, Volume 20, Number 1/2, 143-164, April 1998.
  21. S. Brass, J. Dix, I. Niemelä, T. C. Przymusinski: A Comparison of the Static and the Disjunctive Well-founded Semantics. In: A. G. Cohn, L. K. Schubert, S. C. Shapiro (eds), Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 74-85, Morgan Kaufmann 1998.
  22. S. Brass, J. Dix: Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation. The Journal of Logic Programming 40:1, 1999, 1-46.
  23. S. Brass, J. Dix, T. C. Przymusinski: Computation of the Semantics of Autoepistemic Belief Theories. Journal of Artificial Intelligence , Volumne 112, No. 1-2, 1999.
  24. 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.
  25. S. Brass, J. Dix, I. Niemelä, T. C. Przymusinski: On the Equivalence of the Static and Disjunctive Well-Founded Semantics and its Computation. Journal of Theoretical Computer Science 258, (1-2): 523-553 (2001).
  26. S. Brass, J. Dix, B. Freitag, U. Zukowski: Transformation-Based Bottom-Up Computation of the Well-Founded Model. Theory and Practice of Logic Programming (TPLP) 1(5): 497-538 (2001).
  27. S. Brass, J. Dix, T. C. Przymusinski: Super Logic Programs. ACM Trans. Computational Logic 5(1): 129-176 (2004)
  28. S Brass, C. Goldberg: Semantic Errors in SQL Queries: A Quite Complete List. In 4th International Conference on Quality Software (QSIC 2004), 250-257, IEEE Computer Society, 2004.
  29. S. Brass, C. Goldberg: Proving the Safety of SQL Queries. In Fifth International Conference on Quality Software (QSIC 2005), 197-204, IEEE Computer Society, 2005.
  30. S. Brass, C. Goldberg: Semantic errors in SQL queries: A quite complete list. Journal of Systems and Software 79(5): 630-644 (2006).
  31. 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.
  32. S. Brass: Declarative Output by Ordering Text Pieces. In: J. P. Gallagher, M. Gelfond (Eds.): Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, 151-161, LIPIcs, 2011.
  33. S. Brass: Order in Datalog with Applications to Declarative Output. In P. Barceló, R. Pichler (Eds.): Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, 56-67, Spinger, LNCS 7494, 2012.
  34. 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.
  35. 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