SMS dit: Logical introduction to databases /