Interval-based temporal functional dependencies: specification and verification.
Carlo CombiPietro SalaPublished in: Ann. Math. Artif. Intell. (2014)
Keyphrases
- functional dependencies
- temporal constraints
- temporal reasoning
- approximate functional dependencies
- temporal relations
- temporal information
- relational databases
- database design
- integrity constraints
- normal form
- relational model
- user defined
- conflict free
- dynamic constraints
- database schemes
- database schema
- data dependencies
- universal relation
- entity relationship
- inclusion dependencies
- logical implication
- model checking
- relational database theory
- temporal data
- xml documents
- temporal dimension
- relational algebra
- set of functional dependencies
- information content
- databases