Formal semantics for time in databases

DOI10.1145/319983.319986MaRDI QIDQ4747564zbMATH OpenOpenAlexFDO

Authors James Clifford, David S. Warren

Publication date 1983

Published in ACM Transactions on Database Systems (Search for Journal in Brave)

Full work available at URL http://archive.nyu.edu/handle/2451/14600

zbMATH Keywords

entity-relationship modelhistorical databasesintensional logicmodal concepts of intensional and extensional data constraints and queriesrelational databasetemporal semantics

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Abstract data types; algebraic specification (68Q65)

Cited in

(7)

• Database survivability under dynamic constraints
• Representation of decision making processes in an ecological evaluation system
• A historical query language
• Handling database updates in two-dimensional temporal logic
• Incorporating an implicit time dimension into the relational model and algebra
• Object histories which avoid certain subsequences
• Input-dependent-only object histories

This page was built for publication: Formal semantics for time in databases

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