BL A fundamental review of logic theory for database and knowledge systemsThe Data and Knowledge Base systems of the future will require stronger data modelling capabilities, more powerful query languages, and new concepts of query answers. This book uses the approach of non-classical logic to formalize new queries and answers.