Slides for Deductive Database Systems for Computer science's students