The Automation of Syllogistic I. Syllogistic Normal Forms.

Domenico Cantone Susanna Ghelfo Eugenio G. Omodeo

Published in: J. Symb. Comput. (1988)

Keyphrases

normal form
mental models
database design
functional dependencies
database theory
formal definitions
relational algebra
nested relations
information content
prime implicates
relational databases
multi valued
data dependencies
model checking
management system
database schemes
function symbols