The INFOLOG linear tense propositional logic of events and transactions
From MaRDI portal
Publication:1079024
DOI10.1016/0306-4379(86)90023-2zbMath0596.68063MaRDI QIDQ1079024
Amílcar Sernadas, José Luiz Fiadeiro
Publication date: 1986
Published in: Information Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0306-4379(86)90023-2
03B45: Modal logic (including the logic of norms)
68Q65: Abstract data types; algebraic specification
68P20: Information storage and retrieval of data
Related Items
Branching versus linear logics yet again, Transformation of dynamic integrity constraints into transaction specifications, Specification and verification of database dynamics