On the Relationship between LTL Normal Forms and Büchi Automata.
Jianwen LiGeguang PuLijun ZhangZheng WangJifeng HeKim Guldstrand LarsenPublished in: Theories of Programming and Formal Methods (2013)
Keyphrases
- normal form
- deterministic automata
- finite automata
- model checking
- relational databases
- database design
- database theory
- temporal logic
- finite state machines
- finite state
- relational algebra
- linear temporal logic
- functional dependencies
- nested relations
- bounded model checking
- prime implicates
- information content
- tree automata
- regular expressions
- formal definitions
- data dependencies
- databases
- relational database theory
- multi valued
- linear time temporal logic
- database
- grammatical inference
- desirable properties
- relational model
- data management
- object oriented
- management system
- data model