Provides a thorough coverage of both the theoretical underpinnings and practice of deductive databases, offering clear motivation for the integration of declarative rules into relational database systems. Paper.