Читать онлайн «Логическое программирование и базы данных»

СЧери. ПГотлобДТанка ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ И БАЗЫ ДАННЫХ Издательство«Мир» S. Ceri, G. Gottlob, L. Tanka Logic Programming and Databases Springer-Verlag Berlin Heidelberg New York London Paris Tokio Hong Kong СЧери, ГГотлоб, Л. Танка ЛОГИЧЕСКОЕ РОГРАММИРОВАНИЕ И БАЗЫ ДАННЫХ Перевод с английского под редакцией Л. А. КАЛИНИЧЕНКО МОСКВА "МИР" 1992 ББК 22. 19 447 УДК 681. 3. 06 Чери С, Готлоб Г. , Танка Л. 447 Логическое программирование и базы данных: Пер. с англ. - М. : Мир, 1992. - 352 с, ил. ISBN 5-03-002472-7 В книге известных итальянских и австрийских специалистов систематически изложены подходы к построению дедуктивных баз данных, которые были разработаны с их участием в рамках европейских проектов по созданию новых поколений вычислительных систем. Особенность книги - удачное сочетание теоретических основ и технологии построения основных компонентов дедуктивных баз данных. зав. редакцией Э. Н. Баднков. Ведущий редактор И. М. Андреева. Художник А. В. Захаров. Художественные редакторы HAI. Иванов, ОЛ. Адаскина. Корректор В. И. Киселева. ИБ N* 7891 Оригинал-макет подготовлен на персональном компьютере и распечатан на лазерном принтере в издательстве "Мир" Подписано к печати 19. 02. 92. Формат 60x90/16. Бумага офсетная Nal. Печать офсетная. Гарнитура тайме. Объем 11. 00 бумл. Усл. печл. 22,00. Усл. кр. -отт. 22. 25. Уч. -издл. 20. 25. Изд. N* 6/8170. Тираж 8 000 экз. Зак. 1417. С 040 Издательство "Мир" 129820, ГСП, Москва, 1-й Рижский пер. , 2 Московская типография № 7 Министерства печати м ииформации Российской Федерации. 103001, Москва, Трехпрудный пер. , 9 ISBN 5-03-002472-7 (русск. ) © by Springer-Verlag Berlin Neidelberg ISBN 3-540-51728-6 (англ. ) 1990. All Rights Reserved Autorized translation from language edition published by Springer-Verlag Berlin Heidelberg New York Tokio © перевод на русский язык, Белоу- Белоусов Н. Н. , Буланже Д. Ю. , Задорож- ный В. И. , Калиниченко Л. А. , 1992 ПРЕДИСЛОВИЕ РЕДАКТОРА ПЕРЕВОДА Методы построения дедуктивных баз данных, требую- требующих соединения независимо разрабатывавшихся методов управления базами данных и методов логического прог- программирования, были разработаны за очень короткий срок (в течение 5-6 последних лет) в рамках проектов, связанных с созданием новых информационных техно- технологий и вычислительных систем пятого поколения (стратегические программы США и Японии, стратеги- стратегическая программа стран Европейского сообщества). В предлагаемой книге изложены новые методы, которые уже зарекомендовали себя и находят практичес- практическое применение. Эта книга в очередной раз свидетельствует о том, что эйфория от языка Пролог уже давно сменилась поисками новых языков, которые отражали бы послед- последние достижения в области вычислительной алгебры, теории объектно-ориентированных структурированных ти- типов данных, представления знаний, а также новых мето- методов вычисления логических программ.