Искусственный интеллект

последовательностей S = {ecr axcx, axaxaxcx, alataxaxcl, a2a2cx, ахахс2, а2су ага2а2с2\. Сформулируйте свойство отсутствия перехода любого состояния в себя по любому входу. Докажите или опровергнете это свойство. 10. ДЕДУКТИВНЫЕ БАЗЫ ДАННЫХ В настоящей главе рассмотрены некоторые аспекты теории дедуктивных баз данных, запросы к которым удовлетворяются на основе использования исчислений. Современный компьютеризованный мир трудно представить без баз данных, хранящих огромные массивы информации, называемой данными. Эти базы данных постоянно обновляются. К ним непрерывно поступают запросы на поиск информации по определенным признакам и отношениям между данными. Теоретическим и практическим вопросам баз данных посвящено много работ. Базы данных различаются по структуре хранящихся в них данных и бывают иерархическими, сетевыми (графовыми), объектно-ориентированными и реляционными. После появления реляционных баз данных стали публиковаться и теоретические работы, предлагающие строить теорию реляционных баз данных на основе какой-либо формальной системы или исчисления. Запросы к реляционным базам данных или поиск в базах данных в этом случае предлагалось осуществлять как вывод в некотором исчислении. В настоящее время интерес к этому направлению развития баз данных стал особенно ощутим в связи с бурным развитием сетевых технологий и необходимостью работать с распределенными данными различного типа. Именно базам такого типа посвящена настоящая глава. Распространенной точкой зрения на реализацию дедуктивной базы данных является подход, основанный на определенном расширении системы управления данными в реляционной базе. Рассмотрим суть этого подхода.