Temporal aspects of logical procedure definition

DOI10.1016/0306-4379(80)90009-5MaRDI QIDQ1144955zbMATH OpenOpenAlexFDO

Authors 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

relational modeltemporal databasememory independencemodal tense logictransition imperative logic

Mathematics Subject Classification ID

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

Cited in

(9)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1144955)