THEORY OF DATABASE