Theory of Database Management