> Detailanzeige

Javidi Kishi, Masoomeh [VerfasserIn]; Hassan, Ahmed [VerfasserIn]; Palmieri, Roberto [VerfasserIn] ; Masoomeh Javidi Kishi and Ahmed Hassan and Roberto Palmieri [MitwirkendeR]

Brief Announcement: On the Correctness of Transaction Processing with External Dependency

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Artikel; Elektronischer Konferenzbericht; Sonstige Veröffentlichung
  • Titel: Brief Announcement: On the Correctness of Transaction Processing with External Dependency
  • Beteiligte: Javidi Kishi, Masoomeh [VerfasserIn]; Hassan, Ahmed [VerfasserIn]; Palmieri, Roberto [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/LIPIcs.DISC.2019.46
  • Schlagwörter: Transactions ; Dependency Graph ; Concurrency
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: We briefly introduce a unified model to characterize correctness levels stronger (or equal to) serializability in the presence of application invariant. We propose to classify relations among committed transactions into data-related and application semantic-related. Our model delivers a condition that can be used to verify the safety of transactional executions in the presence of application invariant.
  • Zugangsstatus: Freier Zugang