Relational Data Management Theory