Дедуктивные базы данных Исчисление высказываний. Исчисление предикатов. Доказательно-теоретический подход к базам данных. Экстенсиональная и интенсиональная базы данных. Дедуктивная СУБД. Язык DataLog. Обработка рекурсивных запросов.