Login / Signup
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