<theory> A term describing a function for which there is an effective
algorithm that correctly calculates the function. The algorithm must consist of
a finite sequence of instructions.
EER « E. F. Codd « EFF « effective computable
» effective number of bits » Effort Adjustment
Factor » EFI