A non-standard temporal deductive database system

DOI10.1006/JSCO.1996.0070MaRDI QIDQ679339zbMATH OpenOpenAlexFDO

Authors Jean-Raymond Gagné, J. Plaice

Publication date 22 April 1997

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/86187d45891c3186baef91febda35b81721d60d0

zbMATH Keywords

non-standard temporal DATALOGnon-standard temporal relational algebra

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1222484
• A logical reconstruction of temporal databases
• A temporal relational model and a query language
• scientific article; zbMATH DE number 3930380
• Temporal databases: From theory to applications
• scientific article; zbMATH DE number 4158604
• A non-reified temporal logic

Cited in

(5)

• N system: A natural temporal deduction system
• Reasoning about negligibility and proximity in the set of all hyperreals
• scientific article; zbMATH DE number 1536562 (Why is no real title available?)
• Verification of reactive systems using temporal logic with clocks
• About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability

Describes a project that uses

Uses Software

• SIGNAL

This page was built for publication: A non-standard temporal deductive database system

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