database theoretical thingy