Book:An Introduction to Relational Database Theory