An Introduction to Database Systems