On the Relationship between LTL Normal Forms and Buechi Automata

Jianwen Li Geguang Pu Lijun Zhang Zheng Wang Jifeng He Kim G. Larsen

Published in: CoRR (2012)

Keyphrases

normal form
deterministic automata
finite automata
model checking
database design
nested relations
functional dependencies

relational algebra
finite state
relational databases
temporal logic
bounded model checking
database theory
regular expressions

tree automata
finite state machines
data dependencies
formal definitions
information content
linear temporal logic
prime implicates

multi valued
linear time temporal logic
grammatical inference
relational database theory
relational model
object oriented