Download free books at BookBooN.com
An Introduction to Relational Database Theory
231
Notes
xxiii
Warning: some texts use this term for irreducible covers.
xxiv
Date gives the algorithm in nine steps, starting with an irreducible cover instead of a minimal cover. The
algorithm given here is reduced to four steps by eliminating the steps needed to obtain a minimal cover.
xxv
In Tutorial D the declared type of a variable can be omitted when an INIT specification is included. The
declared type of the variable is then that of the specified expression.