6 Mathematical foundations

The lattice of database states is based on several related concepts from order theory. This chapter introduces partially ordered sets, infima and suprema, Hasse diagrams, and lattices before applying them to database states.