A computer program for discovering and proving recognition rules for Backus Normal Form grammars.

Ralph L. London

Published in: ACM National Conference (1964)

Keyphrases

normal form
computer programs
relational databases
relational algebra
functional dependencies
database design
boolean expressions
nested relations
grammar rules
information content
prime implicates
association rules
data dependencies
classification rules
relational database systems
disjunctive normal form