On Verification of Database Temporal Constraints.
David Chenho KungPublished in: SIGMOD Conference (1985)
Keyphrases
- temporal constraints
- database
- temporal reasoning
- database systems
- temporal constraint networks
- resource constraints
- constraint propagation
- simple temporal
- constraint reasoning
- temporal information
- consistency checking
- database management systems
- databases
- relational databases
- query language
- data management
- temporal patterns
- workflow systems
- metadata
- data model
- incremental algorithms
- temporal planning
- clinical guidelines
- temporal aspects
- temporal events
- special case
- model checking
- constraint satisfaction problems
- database applications
- qualitative and quantitative
- functional dependencies
- database design