Temporal normal form for Linear Temporal Logic formulae.
Hui-Xian ShiYong-Ming LiPublished in: J. Intell. Fuzzy Syst. (2016)
Keyphrases
- normal form
- linear temporal logic
- temporal logic
- database design
- model checking
- functional dependencies
- relational databases
- relational algebra
- nested relations
- bounded model checking
- information content
- relational database theory
- databases
- data dependencies
- prime implicates
- evaluation function
- integrity constraints
- object oriented
- database systems