The expressive power of the temporal query language L_ H

MaRDI QIDQ2822943zbMATH OpenFDO

Authors Matei Popovici, Lorina Negreanu

Publication date 5 October 2016

Published in Scientific Bulletin. Series A. Applied Mathematics and Physics. Politehnica University of Bucharest (Search for Journal in Brave)

zbMATH Keywords

Ehrenfeucht-Fraïssé gamesfinite model theoryFOL

Mathematics Subject Classification ID

Logic in computer science (03B70) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1500654
• The power of first-order quantification over states in branching and linear time temporal logics
• scientific article; zbMATH DE number 1222565
• Computational complexity and the expressive power of logics
• scientific article; zbMATH DE number 176244

Cited in

(2)

• HMAP --- a temporal data model managing intervals with different granularities and indeterminacy from natural language sentences
• A homogeneous relational model and query languages for temporal databases

This page was built for publication: The expressive power of the temporal query language \(L_{\mathcal H}\)

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