A non-standard temporal deductive database system

DOI10.1006/JSCO.1996.0070zbMATH Open0867.68036OpenAlexW2013710386MaRDI QIDQ679339FDOQ679339

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

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
• A non-reified temporal logic

zbMATH Keywords

non-standard temporal DATALOGnon-standard temporal relational algebra

Mathematics Subject Classification ID

Database theory (68P15)

Cited In (5)

• About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability
• N system: A natural temporal deduction system
• Reasoning about negligibility and proximity in the set of all hyperreals
• Title not available (Why is that?)
• Verification of reactive systems using temporal logic with clocks

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)