{"id":{"repo_id":"passau-thes","oai_identifier":"oai:kobv.de-opus4-uni-passau:8"},"canonical_url":"https://search.dev.ndltd.org/etd/passau-thes/oai:kobv.de-opus4-uni-passau:8","repository":{"repo_id":"passau-thes","name":"Universität Passau","base_url":"https://opus4.kobv.de/opus4-uni-passau/oai"},"display":{"title":"ULTRA - A Logic Transaction Programming Language","abstract":"Rule-based language for the specification of complex database updates and transactions. Formal treatment of the syntax and the declarative semantics","abstract_html":"Rule-based language for the specification of complex database updates and transactions. Formal treatment of the syntax and the declarative semantics","abstract_has_math":false,"creators":["Wichert, Carl-Alexander"],"institution":"Universität Passau","degree_name":null,"degree_level":"thesis.doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":["Freitag, Burkhard"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2000,"date_issued":"2000-12-21","date_published":"2000-12-21","updated_at":"2026-07-24T03:44:57Z","subjects":["Logikprogrammierung","ULTRA","logic programming","databases"],"languages":[],"rights":["Standardbedingung laut Einverständniserklärung"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/8","outbound_label":"Repository record","outbound_source":"source_url"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Freitag, Burkhard"]},{"key":"dc:creator","label":"Author","values":["Wichert, Carl-Alexander"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:publisher","label":"Institution","values":["Universität Passau"]},{"key":"dc:type","label":"Dc Type","values":["doctoralThesis"]},{"key":"thesis:degree_level","label":"Degree Level","values":["thesis.doctoral"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Universität Passau"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Logikprogrammierung","ULTRA","logic programming","databases"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["Standardbedingung laut Einverständniserklärung"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:format.medium","label":"Dc Format Medium","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["ULTRA - A Logic Transaction Programming Language"]}]}],"canonical_facts":{"dc:contributor":["Freitag, Burkhard"],"dc:creator":["Wichert, Carl-Alexander"],"dc:description.abstract":["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."],"dc:format.medium":["application/pdf"],"dc:publisher":["Universität Passau"],"dc:rights":["Standardbedingung laut Einverständniserklärung"],"dc:subject":["Logikprogrammierung","ULTRA","logic programming","databases"],"dc:title":["ULTRA - A Logic Transaction Programming Language"],"dc:type":["doctoralThesis"],"thesis:degree_level":["thesis.doctoral"],"thesis:institution_name":["Universität Passau"]},"updated_at":"2026-07-24T03:44:57Z"}