An introduction to database systems