Temporal aspects of logical procedure definition

DOI10.1016/0306-4379(80)90009-5zbMath0444.68084OpenAlexW1969368990MaRDI QIDQ1144955

Amílcar Sernadas

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

zbMATH Keywords

temporal databaserelational modelmemory independencemodal tense logictransition imperative logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Information storage and retrieval of data (68P20)

Related Items (9)

Constructing systems as object communities ⋮ Specification and verification of database dynamics ⋮ A temporal logic-based approach for the description of object behavior evolution ⋮ Construction of deterministic transition graphs from dynamic integrity constraints ⋮ Branching versus linear logics yet again ⋮ Transformation of dynamic integrity constraints into transaction specifications ⋮ Representation of temporal information ⋮ An axiomatization of PCTL* ⋮ Decidable fragments of first-order temporal logics

This page was built for publication: Temporal aspects of logical procedure definition