| SWD-Schlagwörter: |
| Programmierlogik , Logische Programmiersprache , Datenbanksystem |
| Freie Schlagwörter (Deutsch): |
| Logikprogrammierung , ULTRA |
| Freie Schlagwörter (Englisch): |
| logic programming , databases |
| Beteiligte Einrichtung: |
| Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik |
| Fakultät: |
| Fakultät für Informatik und Mathematik |
| DDC-Sachgruppe: |
| Informatik |
| Dokumentart: |
| Dissertation |
| Hauptberichter: |
| Freitag, Burkhard (Prof. Dr.) |
| Sprache: |
| Englisch |
| Tag der mündlichen Prüfung: |
| 21.12.2000 |
| Erstellungsjahr: |
| 2000 |
| Publikationsdatum: |
| 11.06.2003 |
| Bemerkung: |
| Die Dissertation wurde in OPUS Passau am 13.2.2001 veröffentlicht. Der Eintrag Publikationsdatum 11.6.2003 ist durch Serverumstellung/Datenbankwechsel entstanden. |
| Kurzfassung auf Englisch: |
| Rule-based language for the specification of complex database updates and transactions. Formal treatment of the syntax and the declarative semantics |
| Kurzfassung auf Deutsch: |
| Regelbasierte Sprache zur Spezifikation komplexer Datenbank-Operationen und Transaktionen. Formle Behandlung von Syntax und deklarativer Semantik. |