TY - THES A1 - Wichert, Carl-Alexander T1 - ULTRA - A Logic Transaction Programming Language N2 - Rule-based language for the specification of complex database updates and transactions. Formal treatment of the syntax and the declarative semantics N2 - Regelbasierte Sprache zur Spezifikation komplexer Datenbank-Operationen und Transaktionen. Formle Behandlung von Syntax und deklarativer Semantik. KW - Programmierlogik KW - Logische Programmiersprache KW - Datenbanksystem KW - Logikprogrammierung KW - ULTRA KW - logic programming KW - databases Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus-105 ER -