Dynamic Logic Model of Time Axes in Temporal Database

DOI10.3724/SP.J.1001.2010.03511MaRDI QIDQ3071454zbMATH OpenFDO

Authors Dongning Liu, Yong Tang

Publication date 5 February 2011

Published in Journal of Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/SP.J.1001.2010.03511

zbMATH Keywords

action parameterdynamic logictemporal databasetense logictime axes

Mathematics Subject Classification ID

Logic in computer science (03B70) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1222484
• A logical reconstruction of temporal databases
• scientific article; zbMATH DE number 1670794
• Temporal and dynamic logic
• A relational model for temporal logic
• A temporal relational model and a query language

Cited in

(1)

• Handling database updates in two-dimensional temporal logic

This page was built for publication: Dynamic Logic Model of Time Axes in Temporal Database

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