TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Forschungstreffen 20489

Forschungsaufenthalt

( 23. Nov – 27. Nov, 2020 )

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/20489

Organisator

Kontakt

Description

While n-ary relations are a universal modelling construct (as evidenced, for instance, by predicate logic and the relational data model), object-oriented programming is tied to classes and pointers, that is, to unary and directed binary to-one relations, essentially modelling the world using (total) functions on objects. This linguistic restriction leads to awkward and fragile programs, as evidenced, for instance, by the countless attempts of fixing Hoare’s “billion dollar mistake”, the introduction of the null pointer.

Inspired by Daniel Jackson’s relational logic based modelling language Alloy, I used my five-day forschungsaufenthalt at Dagstuhl to develop a core calculus of object-relational programming, that is, to devise a minimal programming language that links objects through n-ary relations rather than fields (binary functions). Deviating from many earlier proposals of making object-oriented programming more relational, relations are not first class, and are accessed (navigated and updated) using roles as generalizations of fields. The core calculus is untyped; instead, it statically enforces mapping constraints on relations, that is, cardinality ratios such as 1:N or N:1:M, which are widely used in data modelling and which are notoriously hard to preserve under update.

During my forschungsaufenthalt, the Dagstuhl staff provided me once more with a perfect research environment, allowing me to reach my personal limits, with no interruptions or other everyday bothers to ascribe them to.

Copyright Friedrich Steimann