A Relational Model for Temporal Logic.
Burghard von KargerRudolf BerghammerPublished in: Log. J. IGPL (1998)
Keyphrases
- relational model
- temporal logic
- relational databases
- data model
- model checking
- relational algebra
- database technology
- modal logic
- functional dependencies
- incomplete information
- complex objects
- belief revision
- computation tree logic
- conceptual model
- spatial databases
- dynamic constraints
- database design
- object oriented
- verification method
- linear temporal logic
- database management systems
- databases
- data integration
- relational models
- xml schema
- domain specific
- knowledge representation
- video sequences
- database