First-order queries over temporal databases inexpressible in temporal logic

This publication has 16 references indexed in Scilit:

• Implementing temporal integrity constraints using an active DBMS
  IEEE Transactions on Knowledge and Data Engineering, 1995
• Efficient checking of temporal integrity constraints using bounded history encoding
  ACM Transactions on Database Systems, 1995
• On completeness of historical relational query languages
  ACM Transactions on Database Systems, 1994
• Temporal Logic
  Published by Springer Nature ,1994
• On the feasibility of checking temporal integrity constraints
  Published by Association for Computing Machinery (ACM) ,1993
• The declarative past and imperative future
  Published by Springer Nature ,1989
• The historical relational data model (HRDM) and algebra based on lifespans
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Expressive Functional Completeness in Tense Logic (Preliminary report)
  Published by Springer Nature ,1981
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• An application of games to the completeness problem for formalized theories
  Fundamenta Mathematicae, 1960