 | 2006 |
|---|
| 50 |       | Stefan Brass,
Alexander Hinneburg:
Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), Wittenberg, Sachsen-Anhalt, 6.-9. Juni 2006
Institute of Computer Science, Martin-Luther-University 2006 |
| 49 |  | Stefan Brass,
Christian Goldberg:
Semantic errors in SQL queries: A quite complete list.
Journal of Systems and Software 79(5): 630-644 (2006) |
| 2005 |
|---|
| 48 | | Stefan Brass,
Christian Goldberg:
Tagungsband zum 17. GI-Workshop über Grundlagen von Datenbanken (17th GI-Workshop on the Foundations of Databases), Wörlitz, Sachsen-Anhalt, 17.-20. Mai 2005
Institute of Computer Science, Martin-Luther-University 2005 |
| 47 | | Stefan Brass,
Christian Goldberg:
Proving the Safety of SQL Queries.
QSIC 2005: 197-204 |
| 2004 |
|---|
| 46 | | Stefan Brass,
Christian Goldberg:
Detecting Logical Errors in SQL Queries.
Grundlagen von Datenbanken 2004: 28-32 |
| 45 | | Christian Goldberg,
Stefan Brass:
Semantic Errors in SQL Queries: A Quite Complete List.
Grundlagen von Datenbanken 2004: 58-62 |
| 44 | | Stefan Brass,
Christian Goldberg:
Semantic Errors in SQL Queries: A Quite Complete List.
QSIC 2004: 250-257 |
| 43 | | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Super logic programs.
ACM Trans. Comput. Log. 5(1): 129-176 (2004) |
| 2003 |
|---|
| 42 | | Stefan Brass:
Eine auf Datalog basierende XML-Anfragesprache.
Grundlagen von Datenbanken 2003: 5-9 |
| 2002 |
|---|
| 41 | | Stefan Brass:
Semantic Errors in SQL.
Grundlagen von Datenbanken 2002 |
| 2001 |
|---|
| 40 | | Stefan Brass,
Jürgen Dix,
Burkhard Freitag,
Ulrich Zukowski:
Transformation-based bottom-up computation of the well-founded model.
TPLP 1(5): 497-538 (2001) |
| 39 | | Stefan Brass,
Jürgen Dix,
Ilkka Niemelä,
Teodor C. Przymusinski:
On the equivalence of the static and disjunctive well-founded semantics and its computation.
Theor. Comput. Sci. 258(1-2): 523-553 (2001) |
| 2000 |
|---|
| 38 | | Stefan Brass:
SLDMagic - The Real Magic (With Applications to Web Queries).
Computational Logic 2000: 1063-1077 |
| 37 | | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Super Logic Programs
CoRR cs.AI/0010032: (2000) |
| 36 | | Stefan Brass,
Jürgen Dix,
Burkhard Freitag,
Ulrich Zukowski:
Transformation-Based Bottom-Up Computation of the Well-Founded Model
CoRR cs.LO/0011013: (2000) |
| 1999 |
|---|
| 35 | | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Computation of the Semantics of Autoepistemic Belief Theories.
Artif. Intell. 112(1-2): 233-250 (1999) |
| 34 | | Stefan Brass,
Jürgen Dix:
Semantics of (disjunctive) Logic Programs Based on Partial Evaluation.
J. Log. Program. 40(1): 1-46 (1999) |
| 1998 |
|---|
| 33 | | Stefan Brass,
Jürgen Dix,
Ilkka Niemelä,
Teodor C. Przymusinski:
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation.
KR 1998: 74-85 |
| 32 | | Stefan Brass,
Jürgen Dix:
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA.
J. Autom. Reasoning 20(1): 143-165 (1998) |
| 1997 |
|---|
| 31 | | Stefan Brass:
Querying Semistructured Data and the WWW.
Grundlagen von Datenbanken 1997: 1-5 |
| 30 | | Ulrich Zukowski,
Burkhard Freitag,
Stefan Brass:
Differential Bottom-Up Computation of the Well-Founded Semantics.
ICLP 1997: 421 |
| 29 | | Ulrich Zukowski,
Burkhard Freitag,
Stefan Brass:
Improving the Alternating Fixpoint: The Transformation Approach.
LPNMR 1997: 4-59 |
| 28 | | Stefan Brass,
Jürgen Dix:
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation.
J. Log. Program. 32(3): 207-228 (1997) |
| 1996 |
|---|
| 27 | | Stefan Brass:
SLDMagic - An Improved Magic Set Technique.
ADBIS 1996: 75-83 |
| 26 | | Stefan Brass:
SDLMagic - An Improved Magic Set Technique.
Grundlagen von Datenbanken 1996: 1-5 |
| 25 | | Stefan Brass,
Jürgen Dix:
Characterizing D-WFS: Confluence and Iterated GCWA.
JELIA 1996: 268-283 |
| 24 | | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Super Logic Programs.
KR 1996: 529-540 |
| 23 | | Stefan Brass,
Ulrich Zukowski,
Burkhard Freitag:
Transformation-Based Bottom-Up Computation of the Well-Founded Model.
NMELP 1996: 171-201 |
| 1995 |
|---|
| 22 | | Stefan Brass:
Magic Sets vs. SLD-Resolution.
ADBIS 1995: 185-203 |
| 21 | | Stefan Brass:
Ein Informationssystem zur Förderung der Kommunikation im Arbeitskreis.
Grundlagen von Datenbanken 1995: 30-33 |
| 20 | | Stefan Brass,
Jürgen Dix:
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation.
ICLP 1995: 199-213 |
| 19 | | Stefan Brass,
Jürgen Dix:
Characterizations of the Stable Semantics by Partial Evaluation.
LPNMR 1995: 85-98 |
| 1994 |
|---|
| 18 | | Stefan Brass:
Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases.
GI Jahrestagung 1994: 75-82 |
| 17 | | Stefan Brass,
Jürgen Dix:
A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation.
GI Jahrestagung 1994: 83-91 |
| 16 | | Stefan Brass,
Jürgen Dix:
Computing Disjunctive Stable Semantics Based on Clark's Completed Database.
Grundlagen von Datenbanken 1994: 30-34 |
| 15 | | Udo W. Lipeck,
Stefan Brass:
Object-Oriented System Specification Using Defaults.
IS/KI 1994: 22-43 |
| 14 | | Stefan Brass,
Jürgen Dix:
A general Approach to Bottom-Up Computation of Disjunctive Semantics.
NMELP 1994: 127-155 |
| 13 | | Stefan Brass,
Jürgen Dix:
A Characterization of the Stable Semantics by Partial Evaluation.
WLP 1994: 81-84 |
| 12 | | Stefan Brass:
Modular Specifications with Supernormal Defaults.
Ann. Math. Artif. Intell. 12(3-4): 189-213 (1994) |
| 1993 |
|---|
| 11 | | Stefan Brass,
Udo W. Lipeck:
Bottom-Up Query Evaluation with Partially Ordered Defaults.
DOOD 1993: 253-266 |
| 10 | | Stefan Brass:
On the Semantics of Supernormal Defaults.
IJCAI 1993: 578-583 |
| 1992 |
|---|
| 9 | | Stefan Brass,
Udo W. Lipeck:
Generalized Bottom-Up Query Evaluation.
EDBT 1992: 88-103 |
| 8 | | Stefan Brass:
Defaults in deduktiven Datenbanken (Zusammenfassung).
Datenbank Rundbrief 10: 50 (1992) |
| 1991 |
|---|
| 7 | | Stefan Brass,
Udo W. Lipeck:
Semantice of Inheritance in Logical Object Specifications.
DOOD 1991: 411-430 |
| 6 | | Stefan Brass,
Udo W. Lipeck:
Zur Semantik von Vererbung in logischen Objektspezifikationen.
Grundlagen von Datenbanken 1991: 11-15 |
| 5 | | Stefan Brass:
Deduction with Supernormal Defaults.
Nonmonotonic and Inductive Logic 1991: 153-174 |
| 1990 |
|---|
| 4 | | Stefan Brass:
Allgemeine Vervollständigung beim Entwurf von Logik-Datenbanken.
Grundlagen von Datenbanken 1990: 12-13 |
| 3 | | Stefan Brass:
Beginnings of a Theory of General Database Completions.
ICDT 1990: 349-363 |
| 1989 |
|---|
| 2 | | Stefan Brass:
Spezifikation von Annahmen der geschlossenen Welt (CWAs).
Grundlagen von Datenbanken 1989 |
| 1 | | Stefan Brass,
Udo W. Lipeck:
Specifying Closed World Assumptions for Logic Databases.
MFDBS 1989: 68-84 |
