Temporal aspects of logical procedure definition
From MaRDI portal
Publication:1144955
DOI10.1016/0306-4379(80)90009-5zbMath0444.68084MaRDI QIDQ1144955
Publication date: 1980
Published in: Information Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0306-4379(80)90009-5
temporal database; relational model; memory independence; modal tense logic; transition imperative logic
Related Items
Branching versus linear logics yet again, Transformation of dynamic integrity constraints into transaction specifications, Specification and verification of database dynamics, A temporal logic-based approach for the description of object behavior evolution, Decidable fragments of first-order temporal logics, An axiomatization of PCTL*, Representation of temporal information