Back to results

Universität Passau

ULTRA - A Logic Transaction Programming Language

Abstract

dc:description.abstract

Rule-based language for the specification of complex database updates and transactions. Formal treatment of the syntax and the declarative semantics

Degree

thesis:*
Level thesis:degree_level
thesis.doctoral
Grantor dc:publisher
Universität Passau
Year
2000

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Wichert, Carl-Alexander
Contributors dc:contributor
  • Freitag, Burkhard

Subjects

dc:subject × 4

Rights

dc:rights
Statement dc:rights
  • Standardbedingung laut Einverständniserklärung

Identifiers

dc:identifier.*
OAI identifier oai:identifier
oai:kobv.de-opus4-uni-passau:8

Chain of custody

source
Harvested from
Universität Passau
Base URL
opus4.kobv.de/opus4-uni-passau/oai
Last updated
2026-07-24
Source record
OAI-PMH GetRecord
citation

Wichert, Carl-Alexander. ULTRA - A Logic Transaction Programming Language. thesis.doctoral thesis, Universität Passau, 2000. https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/8