A temporal negative normal form which preserves implicants and implicates.

Inman P. de Guzmán Manuel Enciso Pablo Cordero

Published in: J. Appl. Non Class. Logics (2000)

Keyphrases

normal form
prime implicates
database design
relational databases
functional dependencies
relational algebra
nested relations
information content
data dependencies
temporal data
relational calculus
database systems
object oriented
database applications
disjunctive normal form