Theory and Practice of Relational Databases