文章基本信息

标题：Brief Announcement: On the Correctness of Transaction Processing with External Dependency
本地全文：下载
作者：Masoomeh Javidi Kishi ; Ahmed Hassan ; Roberto Palmieri 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2019
卷号：146
页码：1-3
DOI：10.4230/LIPIcs.DISC.2019.46
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Transactions; Dependency Graph; Concurrency