Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Forms.

Vladimir A. Zakharov

Published in: LFCS (1997)

Keyphrases

normal form
database design
functional dependencies
formal definitions
nested relations
disjunctive normal form
relational databases
relational algebra
relational database theory
database theory
model checking
databases
data dependencies
prime implicates
case study
boolean expressions