Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics.
Ullrich HustadtCláudia NalonClare DixonPublished in: PAAR@FLoC (2018)
Keyphrases
- normal form
- temporal logic
- preprocessing
- model checking
- mazurkiewicz traces
- relational databases
- database design
- modal logic
- functional dependencies
- relational algebra
- satisfiability problem
- nested relations
- concurrent systems
- information content
- verification method
- predicate logic
- temporal knowledge
- belief revision
- boolean expressions
- transition systems
- search algorithm
- data dependencies
- prime implicates
- data mining algorithms
- relational database theory
- optimal solution
- integrity constraints
- xml documents