Normal Form Expressions of Propositional Projection Temporal Logic.
Zhenhua DuanCong TianNan ZhangPublished in: COCOON (2014)
Keyphrases
- temporal logic
- normal form
- prime implicates
- model checking
- multi valued
- modal logic
- propositional formulas
- boolean expressions
- knowledge compilation
- database design
- functional dependencies
- relational databases
- satisfiability problem
- relational algebra
- disjunctive normal form
- nested relations
- default logic
- propositional logic
- verification method
- linear temporal logic
- data dependencies
- belief revision
- computation tree logic
- predicate logic
- conjunctive normal form
- database systems
- databases