The Theory of Relational Database