Logical Introduction to Databases

This is a core text for the short course in database management systems in departments of Computer Science and Information Science. 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 AI and Fifth-Generation computers. Detailed discussion of the way logic is used for databases and thorough overview of important concepts and databases models. Contrasts mainframe and microcomputer-based database systems and utilize 1986 ANSI Language for network databases.