Order Independent Temporal Properties

DOI10.1093/LOGCOM/14.2.277MaRDI QIDQ4820468zbMATH OpenOpenAlexFDO

Authors Nicole Bidoit, Luc Segoufin, Sandra de Amo

Publication date 15 October 2004

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-02887779/file/journal.pdf

zbMATH Keywords

Databaseexpressivenessquery languagestemporal logic

Mathematics Subject Classification ID

Database theory (68P15) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1500654
• Temporal connectives versus explicit timestamps to query temporal databases
• Fixpoint and While Temporal Query Languages
• scientific article; zbMATH DE number 1536573
• scientific article; zbMATH DE number 1536561

Cited in

(2)

• Fixpoint and While Temporal Query Languages
• Databases and artificial intelligence

This page was built for publication: Order Independent Temporal Properties

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