Es wird ein formales, mathematisch-informatik\-orientiertes Modell zur Auswertung klinischer Informationen in einer Herzchirurgie (stellvertretend für eine Klinik mit vergleichbarer Datenstruktur) entwickelt. Ziel ist die eindeutige, reproduzierbare und überprüfbare Selektion klinischer Sachverhalte auf Basis einer klaren zeitlichen Zuordnung zu Patienten und deren Aufenthalten. Das Modell dient zugleich als mathematisches Modell der klinischen Datenhaltung und als Grundlage für ein klinisches Auswertungssystem: Patienten, Aufenthalte und klinische Prozesse (Untersuchungen, Operationen, Intensivaufenthalte etc.) werden formal beschrieben, zeitliche Abläufe als Intervalle auf einer gemeinsamen Zeitachse modelliert, Kenngrößen wie Verweildauer und Patientenanzahl zu bestimmten Zeitpunkten definiert, Untersuchungen und Therapien als Abbildungen bzw.\ Operatoren auf Patienten- bzw.\ Zustandsmengen aufgefasst, Diagnosen, Prozeduren und klinische Episoden als strukturierte Ereignisse modelliert, Messwerte als Zeitreihen mit passenden Aggregaten formalisiert, eine formale Abfragesprache (logisches Modell) formuliert, Validierungsregeln und Datenqualitätsmetriken definiert, eine Wahrscheinlichkeits- und Risikoebene eingeführt und ein relationales Implementierungsmodell abgeleitet.Damit stellt der Beitrag eine analytische Referenz zur Verfügung, auf deren Basis sowohl die interne Datenhaltung als auch ein darauf aufsetzendes klinisches Auswertungssystem (z.\,B.\ in Form einer Rule Engine mit relationaler Datenbank) konsistent und reproduzierbar gestaltet werden können.