Static hashing

Static hashing is a form of hashing where lookups are performed on a finalized dictionary set (all objects in the dictionary are final and not changing).

Since static hashing requires that the database, its objects, and reference remain the same, its applications are limited. Databases which contain information which changes rarely are also eligible as it would only require a full rehash of the entire database on rare occasion. Examples of this include sets of words and definitions of specific languages, sets of significant data for an organization's personnel, etc.^[1]

Perfect hashing is a model of hashing in which any set of n {\displaystyle n} elements can be stored in a hash table of equal size and can have lookups done in constant time. It was specifically discovered and discussed by Fredman, Komlos and Szemeredi (1984) and has therefore been nicknamed "FKS hashing".^[2]

FKS hashing makes use of a hash table with two levels in which the top level contains n {\displaystyle n} buckets which each contain their own hash table. FKS hashing requires that if collisions occur they must do so only on the top level.

The top level contains a randomly created hash function, h ( x ) {\displaystyle h(x)} , which fits within the constraints of a Carter and Wegman hash function from universal hashing. Having done so the top level shall contain n {\displaystyle n} buckets labeled k 1 , k 2 , k 3 , . . . , k n {\displaystyle k_{1},k_{2},k_{3},...,k_{n}} . Following this pattern, all of the buckets hold a hash table of size s i {\displaystyle s_{i}} and a respective hash function h i ( x ) {\displaystyle h_{i}(x)} . The hash function will be decided by setting s i {\displaystyle s_{i}} to k i 2 {\displaystyle k_{i}^{2}} and randomly going through functions until there are no collisions. This can be done in constant time.

Because there are ( n 2 ) {\displaystyle n \choose 2} pairs of elements, of which have a probability of collision equal to 1 / n {\displaystyle 1/n} , FKS hashing can expect to have strictly less than n / 2 {\displaystyle n/2} collisions. Based on this fact and that each h ( x ) {\displaystyle h(x)} was selected so that the number of collisions would be at most n / 2 {\displaystyle n/2} , the size of each table on the lower level will be no greater than 2 n {\displaystyle 2n} .

• Hash function
• Dynamic perfect hashing