Logical Introduction to Databases

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 and thorough overview of important concepts and database models. Contrasts mainframe and microcomputer-based database systems and
utilizes 1986 ANSI Language for network databases.