Temporal connectives versus explicit timestamps to query temporal databases
From MaRDI portal
Recommendations
Cites work
- Computing with first-order logic
- Fundamental properties of deterministic and nondeterministic extensions of Datalog
- scientific article; zbMATH DE number 3888913 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 1142311 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1536573 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- scientific article; zbMATH DE number 3311755 (Why is no real title available?)
- Temporal logic can be more expressive
- To the memory of Arthur Prior Formal properties of ‘now’
Cited in
(11)- Verification of relational transducers for electronic commerce
- Temporal meaning representations in a natural language front-end
- Querying ATSQL databases with temporal logic
- Fixpoint and While Temporal Query Languages
- scientific article; zbMATH DE number 1500654 (Why is no real title available?)
- Order Independent Temporal Properties
- First-order expressivity for S5-models: Modal vs. two-sorted languages
- Databases and artificial intelligence
- DBMS support for time and totally ordered compound data types
- Inadequacy of interval timestamps in temporal databases
- Performance analysis of temporal queries
This page was built for publication: Temporal connectives versus explicit timestamps to query temporal databases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1305921)
