This is a core text for the one term course in database management systems in departments of Computer Science or Information Science at two and four year schools. Over 1500 exercises allow the student to learn the concept from its application. Formal proofs can be bypassed if the instructor wishes. Provides up-to-date coverage of the latest topics including AL and Fifth-Generation computers. Detailed discussion of the way logic is used for databases...