Temporal connectives versus explicit timestamps to query temporal databases
From MaRDI portal
Recommendations
Cites work
- 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?)
- Computing with first-order logic
- Fundamental properties of deterministic and nondeterministic extensions of Datalog
- Temporal logic can be more expressive
- To the memory of Arthur Prior Formal properties of ‘now’
Cited in
(10)- DBMS support for time and totally ordered compound data types
- Fixpoint and While Temporal Query Languages
- First-order expressivity for S5-models: Modal vs. two-sorted languages
- Order Independent Temporal Properties
- Verification of relational transducers for electronic commerce
- Databases and artificial intelligence
- Inadequacy of interval timestamps in temporal databases
- Performance analysis of temporal queries
- Querying ATSQL databases with temporal logic
- Temporal meaning representations in a natural language front-end
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)
