核心概念
Ein neuartiges logisches Fundament für typisierte Datenströme, das komplexe sequenzielle Muster und parallele Strukturen präzise beschreiben kann. Darauf aufbauend wird ein Kalküle 휆ST entwickelt, der deterministische Datenverarbeitung ermöglicht, selbst wenn Eingaben aus mehreren parallelen Quellen kommen.
要約
Der Artikel präsentiert einen neuartigen Ansatz für typisierte Datenströme, der über die traditionelle homogene Sichtweise hinausgeht. Die Autoren führen Datenströmungstypen ein, die komplexe sequenzielle Muster und parallele Strukturen präzise beschreiben können. Darauf aufbauend entwickeln sie den Kalküle 휆ST, der deterministische Datenverarbeitung ermöglicht, selbst wenn Eingaben aus mehreren parallelen Quellen kommen.
Die Kernidee ist, Datenströme als Produkte von sequenziellen und parallelen Teilströmen zu modellieren. Dies wird inspiriert durch Konzepte aus der Logik der Getrennten Implikation (BI). Der Kalküle 휆ST nutzt diese Produktstruktur, um einen inkrementellen, präfixbasierten Operationssemantik zu definieren, die deterministische Verarbeitung garantiert.
Zentrale Eigenschaften von 휆ST sind:
- Typen können komplexe zeitliche Muster in Datenströmen ausdrücken
- Der Kalküle unterstützt deterministische Verarbeitung paralleler Eingaben
- Es wird eine Homomorphismus-Eigenschaft bewiesen, die Determinismus sicherstellt
- Der Artikel präsentiert auch eine experimentelle Sprache "delta", die auf 휆ST aufbaut
統計
Keine relevanten Statistiken oder Kennzahlen im Artikel.
引用
"The type of a stream should be able to express complex sequential patterns of events over time."
"it should describe the internal parallel structure of the stream to support deterministic stream processing on parallel and distributed systems."