Lecture Notes: High-level database models