ULTRA - A Logic Transaction Programming Language
- Rule-based language for the specification of complex database updates and transactions. Formal treatment of the syntax and the declarative semantics
- Regelbasierte Sprache zur Spezifikation komplexer Datenbank-Operationen und Transaktionen. Formle Behandlung von Syntax und deklarativer Semantik.
Author: | Carl-Alexander Wichert |
---|---|
URN: | urn:nbn:de:bvb:739-opus-105 |
Advisor: | Burkhard Freitag |
Document Type: | Doctoral Thesis |
Language: | English |
Year of Completion: | 2000 |
Date of Publication (online): | 2001/02/13 |
Publishing Institution: | Universität Passau |
Granting Institution: | Universität Passau, Fakultät für Informatik und Mathematik |
Date of final exam: | 2000/12/21 |
Release Date: | 2003/06/11 |
Tag: | Logikprogrammierung; ULTRA databases; logic programming |
GND Keyword: | Programmierlogik; Logische Programmiersprache; Datenbanksystem |
Institutes: | Fakultät für Informatik und Mathematik / Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik |
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
open_access (DINI-Set): | open_access |
Licence (German): | Standardbedingung laut Einverständniserklärung |