First-Order Queries over Temporal Databases Inexpressible in Temporal Logic.
David TomanDamian NiwinskiPublished in: EDBT (1996)
Keyphrases
- temporal logic
- temporal databases
- linear temporal logic
- mazurkiewicz traces
- temporal queries
- model checking
- temporal data
- database
- modal logic
- databases
- query language
- query processing
- database systems
- verification method
- query evaluation
- relational databases
- complex queries
- temporal dimension
- computation tree logic
- data sources
- aggregate queries
- first order logic
- belief revision