Exploiting Functional Dependencies in Finite State Machine Verification.
C. A. J. van EijkJochen A. G. JessPublished in: ED&TC (1996)
Keyphrases
- functional dependencies
- finite state machines
- model checking
- relational databases
- database design
- normal form
- integrity constraints
- relational model
- temporal logic
- conflict free
- finite state automata
- database schemes
- universal relation
- cardinality constraints
- data dependencies
- inclusion dependencies
- database schema
- formal specification
- user defined
- approximate functional dependencies
- xml documents
- database
- database technology
- inductive logic programming
- hidden markov models
- knowledge representation
- multivalued dependencies
- logical implication
- relational database theory
- database applications