Prenex Normal Form theorems in Semi-Classical Arithmetic.

Makoto Fujiwara Taishi Kurahashi

Published in: J. Symb. Log. (2021)

Keyphrases

normal form
database design
relational databases
functional dependencies
relational algebra
nested relations
data dependencies
multi valued
information content
boolean expressions
object oriented
prime implicates
relational database theory
knowledge compilation
relational data model
propositional formulas