Fixpoint and While Temporal Query Languages

DOI10.1093/logcom/exn056zbMath1170.68013OpenAlexW2017725702MaRDI QIDQ3623224

Nicole Bidoit, Matthieu Objois

Publication date: 16 April 2009

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn056

zbMATH Keywords

query languagetemporal logictemporal databasefixpoint querywhile query

Mathematics Subject Classification ID

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

This page was built for publication: Fixpoint and While Temporal Query Languages