Normal forms for algebraic specifications of reusable Ada packages.

Robert Steigerwald Valdis Berzins

Published in: TRI-Ada (1991)

Keyphrases

normal form
database designer
database design
relational databases
database theory
functional dependencies
relational algebra
nested relations
relational database theory
data dependencies
software components
formal definitions
information content
prime implicates
database schema
incomplete information
user defined