Lecture notes for Deductive Database Systems for Computer science's students