Оптимизация и управление специализированной медицинской помощью населению региона на основе информационных технологий тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Корелина, Татьяна Валерьевна

• Корелина, Татьяна Валерьевна
• кандидат технических наук
• 2004

Оглавление диссертации кандидат технических наук Корелина, Татьяна Валерьевна

ВВЕДЕНИЕ

1.АНАЛИЗ СОВРЕМЕННОГО СОСТОЯНИЯ СПЕЦИАЛИЗИРОВАННОЙ МЕДИЦИНСКОЙ ПОМОЩИ

1.1. Основные особенности организации специализированной медицинской помощи

1.2. Обзор состояния специализированного медицинского обслуживания населения в областной клинической больнице и её структурных элементах

1.3. Анализ современного состояния медицинской помощи населению в областных специализированных центрах и районных медицинских учреждениях

1.4. Особенности информационного обеспечения специализированной медицинской помощи населению региона

1.5. Цель и задачи исследования

2.СТРУКТУРНАЯ ОПТИМИЗАЦИЯ ПРОЦЕССОВ ВЗА-ИМДЕЙСТВИЯ СЛУЖБ ОКАЗАНИЯ СПЕЦИАЛИЗИРОВАННОЙ МЕДИЦИНСКОЙ ПОМОЩИ

2.1. Выбор структуры обслуживания

2.2. Эффективность и качество функционирования разновидностей СМО

2.3. Определение параметров системы с очередями

2.4. Анализ методов приоритетного доступа.

2.4.1. Алгоритм децентрализованного пространственно-временного управления со сменой приоритетов после каждой передачи по каналу (ДПВУ КП).

2.4.2. Алгоритм децентрализованного пространственно-временного управления со сменой приоритетов при отсутствии станций на более высоком уровне приоритетов (ДПВУ ОУ).

2.5. Алгоритмы расчета надежности сети.

2.5.1. Расчет физической надежности сети.

2.5.2. Расчет функциональной надежности сети. 64 3.ПРИМЕНЕНИЕ МЕТОДОВ СТАТИСТИЧЕСКОГО

АНАЛИЗА ДЛЯ ОЦЕНКИ СОСТОЯНИЯ И ФУНКЦИОНИРОВАНИЯ СИСТЕМЫ СПЕЦИАЛИЗИРОВАННОЙ МЕДИЦИНСКОЙ ПОМОЩИ

3.1. Корреляционный анализ статистических связей между исследуемыми показателями

3.2. Формирование оптимального признакового пространства на основе метода дискретных корреляционных плеяд

3.3. Моделирование взаимосвязи состояния здоровья населения с деятельностью системы здравоохранения на основе построения интегрированного показателя общественного здоровья населения региона

3.4. Оптимизация распределения количества пациентов между элементами системы оказания специализированной медицинской помощи населению 81 4.АЛГОРИТМЫ ПЛАНИРОВАНИЯ ОКАЗАНИЯ СПЕЦИАЛИЗИРОВАННОЙ МЕДИЦИНСКОЙ ПОМОЩИ НА

БАЗЕ ГИС-ТЕХНОЛОГИЙ

4.1. Обоснование целесообразности использования информационных технологий для рационального управления оказанием специализированной медицинской помощи населению

4.2. Возможности ГИС для оптимизации управления специализированной медицинской помощью

4.3. Электронные карты в системах оценки качества специализированной медицинской помощи

4.4. Компоненты ГИС

4.5. Выбор ГИС для визуализации информации оценки качества специализированной медицинской помощи

4.6. Пример тематической карты интегрального показателя здоровья

Введение диссертации (часть автореферата) на тему «Оптимизация и управление специализированной медицинской помощью населению региона на основе информационных технологий»

Актуальность темы. В условиях социально-экономического кризиса в РФ существенно снизился уровень материального благополучия и социально-психологической устойчивости населения, уменьшились возможности получения гражданами необходимого объема и качества лечебно-профилактической помощи. Спад производства и другие негативные явления существенно снизили уровень оказания специализированной медицинской помощи населению региона, что, в свою очередь, повлекло за собой снижение продолжительности жизни населения, увеличило число нетрудоспособного населения по различным заболевания.

Издержки децентрализации управления, несбалансированность регионального и территориального планирования, формирования различных организационных моделей здравоохранения в условиях местного самоуправления, изменение объемов и потоков финансирования, введение обязательного медицинского страхования и частного предпринимательства в обеспечении медицинских услуг, недостаточно эффективное использование имеющихся материальных и кадровых ресурсов обусловило необходимость организации более тесного информационного взаимодействия различных служб, связанных с управлением и оказанием специализированной и лечебно-профилактической помощи населению региона, расчету интегрального показателя здоровья, с целью оценки состояния здоровья населения региона, визуализация полученной информации о состоянии здоровья населения на базе ГИС-технологий, для применения в процессе принятия управленческих решений об оказании профилактических мероприятий, с целью улучшения состояния здоровья населения региона.

Работа выполнена в соответствии с межвузовской научно-технической программой 12.11 «Перспективные информационные технологии в высшей школе» и в рамках одного из основных научных направлений Воронежского государственного технического университета «Биомедкибер-нентика, компьютеризация в медицине».

Целью работы является анализ состояния специализированной медицинской помощи населения региона на основе визуализации медицинской информации о состоянии здоровья населения региона для рационального планирования лечебно-профилактических мероприятий и управлением специализированной помощью.

Для достижения поставленной цели необходимо решить следующие задачи:

Провести анализ взаимодействия различных служб специализированной медицинской помощи населению региона; разработать схему информационного взаимодействия служб специализированной медицинской помощи населению региона; предложить структуру службы информационного обслуживания процессов оказания специализированной медицинской помощи населению; предложить схему сетевого взаимодействия служб оказания специализированной медицинской помощи и алгоритмы расчета её функциональной и физической надежности; разработать информационное и предложить к использованию программное обеспечение для оптимального планирования ресурсов оказания специализированной медицинской помощи на базе информационных технологий; внедрить результаты исследования в процесс специализированного медицинского обслуживания населения региона.

Методы исследования. Для решения поставленных задач применялись методы теории систем массового обслуживания, использовались алгоритмы децентрализованного пространственно-временного управления, методы статистического отбора и анализа, оптимизационная модель, методы визуализации на основе ГИС-технологий.

Научная новизна работы. В диссертации получены следующие результаты, характеризующиеся научной новизной: функциональная модель взаимодействия различны служб специализированной медицинской помощи населению региона, позволяющая оптимизировать процесс управления специализированными службами региона; модель информационного взаимодействия служб специализированной медицинской помощи населению региона, учитывающая специфику и необходимость приоритетного обслуживания при оказании специализированной помощи; оптимизационная модель оценки качества оказания специализированной медицинской помощи населению региона, использующая интегральный показатель здоровья населения региона; технология обработки информационных потоков медицинских данных на базе ГИС - технологий и использование тематических карт для визуализации пространственных данных состояния здоровья населения.

Практическая ценность и реализация результатов работы. Практическая ценность работы заключается в следующем: проведен анализ перспективных направлений в компьютерных информационных технологиях, ориентированных на управление специализированной медицинской помощью населению; проведен анализ информационного взаимодействия различных служб специализированной медицинской помощи населению региона; предложена структура информационного взаимодействия служб оказания специализированной медицинской помощи населению региона; предложены алгоритмы пространственно-временного управления доступом к каналу при приоритетном обслуживании; выявлена взаимосвязь показателей, характеризующих здоровье населения с качеством оказания специализированной медицинской помощи населению; сформирована оптимизационная модель обеспечения специализированной медицинской помощью населению в форме интегрированного показателя здоровья населения региона; разработано информационное обеспечение для планирования оказания специализированной медицинской помощи на базе ГИС - технологий, созданы тематические карты, отражающие состояние здоровья населения в регионе и предложено программное обеспечение для его реализации.

Предложенная схема информационного взаимодействия служб специализированной медицинской помощи населению региона позволяет реализовать информационное взаимодействие этих служб, а используемые алгоритмы определить приоритеты доступа к каналу.

Использование тематических карт позволяет визуализировать пространственные медицинские данные и с их помощью определить состояние здоровья населения по отдельно взятым регионам, чтобы определить их приоритет в обслуживании.

Результаты работы внедрены в учебный процесс кафедр: Системного анализа и управления в медицинских и педагогических системах Воронежского государственного технического университета и Информационных систем Воронежского института высоких технологий, Вычислительной техники Воронежской государственной лесо-технической академии.

Апробация работы. Основные положения и научные результаты диссертационной работы докладывались и обсуждались на научно-практических конференциях и семинарах Воронежского государственного технического университета (2001-2002) ; Всероссийской конференции «Интеллектуальные информационные системы» (2002).

Публикации. Основное содержание работы отражено в 9 научных работах. В работах, опубликованных в соавторстве и приведенных в конце автореферата, соискателем проведен анализ состояния служб специализированной медицинской помощи населению региона и лечебно-профилактических учреждений [1,2]; ,исследована схема сетевого информационного взаимодействия служб специализированной медицинской помощи населению региона [3]; предложены методы приоритетного обслуживания пациентов [5,7]; предложены методы визуализации медицинских данных [4,6,8,9,10].

Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения, списка литературы, включающего 83 наименования. Основная часть изложена на 118 страницах машинописного текста, содержит 11 рисунков и 8 таблиц.

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Корелина, Татьяна Валерьевна

Выводы четвертой главы

Проведенные исследования позволяют сформулировать следующие основные положения, совокупность которых представляет собой научную концепцию медико-географического анализа.

Медико-географический анализ базируется на принципах превентивно-сти, презумпции медико-экологической опасности, междисциплинарности, комплексности и системности, неопределенности и конструктивности, которые определяют актуальность проводимых исследований и способствуют решению широкого комплекса научных и практических проблем в системе "человек - окружающая среда".

Медико-географический анализ природных ландшафтов заключается в оценке окружающей среды с точки зрения возможности существования при-родно-очаговых и природно-эндемических болезней и исследовании территориальной организации нозоэкологических систем. Он служит научно-методологической базой для проведения пространственно дифференцированных профилактических и оздоровительных мероприятий.

Медико-географическая оценка качества окружающей среды должна основываться на использовании показателей здоровья населения, которое является специфическим индикатором социально-биологического благополучия людей и может рассматриваться как комплексный экологический критерий.

Методология медико-экологического регионального мониторинга базируется на учете взаимосвязей здоровья и географической среды, что позволяет осуществлять его, опираясь на статистическую и картографическую информацию, на основе тематических карт, автоматических методов их создания и использования.

ЗАКЛЮЧЕНИЕ

Проведение медико-географического анализа и осуществление антропологической оценки качества окружающей среды способствует правильному планированию природоохранных мероприятий и дает возможность административным органам влиять на условия жизнедеятельности населения. При разработке политики и планов экономического развития стран и регионов по-прежнему недостаточное внимание уделяется влиянию окружающей среды на здоровье, отсутствует постоянно обновляемая информация, необходимая для принятия эффективных решений. Совершенствования информационного обеспечения медико-географических исследований позволит выработать рекомендации для оптимизации природопользования.

Разработанные и созданные серии электронных медико-географических карт оценочно-прогнозного содержания могут способствовать решению практических задач по профилактике заболеваемости населения в исследованных регионах о определить территории, где необходимо проведение специальных целенаправленных работ для сбора дополнительных материалов. Их развитие и практическая реализация связаны с преодолением ведомственной разобщенности и интеграцией научных знаний, что будет способствовать дальнейшему превращению медицинской географии в науку конструктивную и все более социальную направленную.

Ill

Список литературы диссертационного исследования кандидат технических наук Корелина, Татьяна Валерьевна, 2004 год

1. Андерсон В.H. Геоинформационное моделирование: к новой методологической парадигме //Изв. Рос. Ан. Сер. Геогр.-1996.-№ 2.-е 124-130.

2. Ансофф И. Стратегическое управление. М.: Экономика, 1989.

3. Айламазян А.К., Осимов Г.С. Проблемы создания интегрированных средств поддержки лечебно- диагностического процесса. // Интегрированные технологии, № Ю. 1997. С. 34-39.

4. Атре Ш. Структурный подход к организации баз данных. М.: Финансы и статистика, 1983. - 320 с.

5. Архангельский Н.Е., Валуев С.А., Половников В.А. и др. Экспертные оценки и методология их использования. М.: МЭСИ, 1974. 125 с.

6. Баевский P.M. Принципы построения автоматизированных комплексов для оценки состояния здоровья в системе всеобщей диспансеризации населения // Вопросы медицинской электроники. Таганрог, 1986. № 6. С. 1216.

7. Бандурин O.E., Горкова A.A. Исследование нормативов в планировании, финансировании и стимулировании деятельности учреждений здравоохранения // Сов. мед. № 1. 1990. С. 44-47.

8. Белов С.Б. Распознавание условных знаков // Информационные технологии №7, 2000. с. 37-42.

9. Беляков С.Л. Нечеткие знания и вывод в геоинформационной системе // Информационные технологии №12, 2001. с. 16-19.

10. Ю.Берлянт A.M. Виртуальные геоизображения М.: Научный мир, 2001.52 с.

11. Берлянт A.M. Геоизображения и геоиконика М.: Знание, 1990, 48с.

12. Берлянт A.M. Геоиконика М.: фирма "Астрея", 1996, 208с.

13. Берлянт A.M. Геоинформационное картографирование М.: Геоиз-дат, 1997,64 с.

14. Н.Бобков В.А., Белов С.Б., Векторизация растровых изображений // Информационные технологии, №7,1998. с. 7-11.

15. Бочаров П.П., Печинкин А.В. Теория массового обслуживания М.: Российский университет дружбы народов, 1995, 525 с.

16. Востокова А.В., Кошель С.М., Ушакова JI.A. Оформление карт. Компьютерный дизайн. М.: Аспект пресс, 2002.

17. Гаспарян С.А. Моделирование и информационное обеспечение в решении проблем профилактики // Роль, организационных и медицинских АСУ в диспансеризации населения. М., 1985. С. 3-16.

18. Гаспарян С.А. Опыт моделирования в решении задач управления здравоохранением // В междунар. сб. ком. по системному анализу при Президиуме АН СССР. 1983. Вып. 38. № 7. С. 38-54.

19. Гаспарян С.А., Тимонин В. М. Основы концепции информатизации здравоохранения // Информатизация в деятельности мед. служб. 4.1. М., 1992. С. 3-28.

20. Голяченко А. М. Управление многопрофильной больницей. Киев: Здоровье, 1984.-63 с.

21. Гохман О.Г. Экспертное оценивание: Учебное пособие. Воронеж: ВГУ, 1990. 200 с.

22. Дженнингс P. Microsoft Access 97 в подлиннике. Том II: Пер. с англ. СПб: BHV Санкт-Петербург, 1997.

23. Диго С.М. Проектирование и использование баз данных: Учебник. -М.: Финансы и статистика, 1995. 208 с.

24. Жуков В.Т., Новаковский Б.А., Чумаченко А.Н. Компьютерное геоэкологическое картографирование М.: Научный мир, 1999, 80 с.

25. Журкин И.Г. Выбор критерия и пространства свойств для оценки эффективности инструментально-программных средств ГИС // Информационные технологии №3,1999. с. 28-32.

26. Иванов Ю.В. Алгоритмы принятия решений и структурный синтез в информационных технологиях мониторинга, контроля и управления по энергетическим характеристика акустических волновых полей 4.1. // Информационные технологии №10, 1999. с. 29-40.

27. Иванов Ю.В. Алгоритмы принятия решений и структурный синтез в информационных технологиях мониторинга, контроля и управления по энергетическим характеристика акустических волновых полей 4.2. // Информационные технологии №11, 1999. с. 44-48.

28. Ивченко Г.И., Каштанов В.А., Коваленко И.Н. Теория массового обслуживания М.: Высшая школа, 1982, 255 с.

29. Информатизация процессов охраны здоровья населения. // ВНИИ проблем вычислительной техники и информатизации. 1995г. С. 148.

30. Картография. Геоинформационные системы /Сост. Берлянт A.M., Тикунов B.C. М.: Геоиздат, 1994, - вып. 4.-350 с.

31. Клементьев A.A. Разработка количественных моделей для решения задач управления в здравоохранении. М.: Наука, 1985. 125 с.

32. Козлов Ю. С., Минаков Э. В. Организация и управление специализированной медицинской помощью территории в условиях экономического кризиса // Высокие технологии в технике, медицине и образовании. Воронеж: Изд-во ВГТУ, 1998. - 204 с.

33. Комаров Ю.М., Ермаков С.П. Системный анализ в планировании и управлении здравоохранением. М.: ЦОЛИУВ, 1980. 18 с.

34. Концепция оценки качества и эффективности медицинской помощи (Методические материалы). М.: НИИСГЭ и УЭ им. H.A. Семашко, 1989. 12 с.

35. Кузнецов O.JL, Черемисина E.H. Интегрированный системный анализ многоуровневой разнородной геоинформации // Геоинформатика. 1999, №3.-с. 3-6.

36. Корелина Т.В., Львович И.Я. Применение ГИС технологий для визуализации медицинских данных. //Управление в социальных и экономических системах, 4.2, Межвуз. сб. науч. тр. Воронеж: ВГТУ, 2001. С 167-173.

37. Корелина Т.В., Львович И.Я. Анализ методов приоритетного доступа в процессе управления специализированной помощью. // Прикладные задачи моделирования и оптимизации, 4.1: Межвуз. сб. науч. тр. Воронеж: ВГТУ, 2002.

38. Корелина Т.В. Агоритмы планирования оказания специализированной медицинской помощи населению региона, // Материалы 1-ой отчетной научной конференции ВИВТ 2003-2004 г.г. Воронеж: Ворон, инс-т. выс. тех., «Научная книга» 2004.

39. Корелина Т.В. Анализ методов приоритетного доступа в процессе управления специализированной помощью. // Труды всероссийской кофе-ренции «Интеллектуальные информационные системы», 4.1:. Воронеж: ВГТУ, 2002.

40. Кулыгин М. Технологии корпоративных сетей. СПб: Питер, 2000.

41. Лауныя А.Я. Опыт оптимизации работы поликлиник в Львовской области // Сов. здравохран. 1989. № 4. С. 58-60.

42. Линденбратен А.Л. Об оценке качества и эффективности медицинской помощи // Сов. здравоохран. 1990. № 3. С. 32-34.

43. Логвиненко И. А., Топка В. П. Специализированная медицинская помощь сельскому населению. Киев: Здоровье, 1984. - 104 с.

44. Львович И.Я., Ролдугин Г.Н., Корелина Т.В. Оптимизация распределения финансово-материальных ресурсов в структуре государственномуниципального ЛПУ // Прикладные задачи моделирования и оптимизации: Межвуз сб. научн. тр. Воронеж. ВГТУ, 1999.

45. Львович И.Я., Корелина Т.В. Моделирование системы массового обслуживания для улучшения качества обслуживания населения в ЛПУ // Прикладные задачи моделирования и оптимизации: Межвуз сб. научн. тр. Воронеж. ВГТУ, 2001

46. Львович И.Я., Некравцева Т.А., Корелина Т.В. САПР по областям применения Воронеж: Ворон, гос. тех.ун-т, 2003, 108 с.

47. Львович И.Я., Некравцева Т.А., Кострова В.Н., Корелина Т.В. Управление данными в различных областях деятельности Воронеж: Ворон, инс-т. выс. тех., «Научная книга» 2004, 128 с.

48. Львович И.Я., Некравцева Т.А., Корелина Т.В. Геоинформационные системы Воронеж: Ворон, инс-т. выс. тех., «Научная книга» 2004, 148 с.

49. Львович Я.Е., Фролов М.В. Моделирование биотехнических и медицинских систем: Учеб. пособ. Воронеж: ВГТУ, 1994. 194 с.

50. Малхазова С.М. Медико-географический анализ теорий: картографирование, оценка, прогноз. М.: Научный мир, 2001, - 239 с.

51. Мартин Дж. Организация баз данных в вычислительных системах. Пер. с англ. М.: Мир,. 1980.

52. Мартыненко А. И., Бугаевский Ю. Л., Шибалов С.Н. Основы ГИС, теория и практика., Москва, 1995- 232 с.

53. Максимей И.В. Имитационное моделирование на ЭВМ. Москва: Радио и связь 1998 г. 217 с.

54. Максимов Ю.Г., Шарапова О.В. Здравоохранение и рынок // Научно практические аспекты управления и концепции развития здравоохранения вусловиях обязательного медицинского страхования. Материалы региональной конференции. Чебоксары, 1994. С. 10-13.

55. Материалы конференции ВОЗ. Программа «Здоровье для всех к 2000 г.» М.: Медицина, 1978, 34 с.

56. Михалевич П.Н. Медицинские учреждения должны оборудоваться из экономических расчетов // Здравоохран. Белоруссии. 1989. №9. С. 29-30.

57. Организация и развитие платных услуг, оказываемых населению учреждениями здравоохранения. Методические рекомендации. Воронеж, 1997г. С. 96.

58. Организация статистических данных о функционировании системы здравоохранения района для получения комплексных оценок: метод, рекомендации /В.И. Брезин, Н.В. Воскресенская, A.B. Белов. Ярославль, 1988. 16с.

59. Организация статистических данных о функционировании системы здравоохранения района для получения комплексных оценок: метод, рекомендации /В.И. Брезин, Н.В. Воскресенская, A.B. Белов. Ярославль, 1988, 16 с.

60. Пашкина Е.С., Гаспарян С.А., Бояджан В.А. Информационное моделирование истории болезни // Моделирование в управлении здравоохранением. М., 1990. С. 148-178.

61. Рауншебах Г.В., Филиппов О.В. Экспертные оценки в медицине: Науч. обзор. М.: ВНИИМИ, 1983. 80 с

62. Реализация концепции информационно- справочного обеспечения клинической деятельности медицины, критических состояний. В.Г. Васильков, А.И. Сафонов, B.C. Щукин, Ф.М. Берщатский.// Информационные технологии, № 5 1998 г. С. 35-38.

63. Ролдугин Г.Н., Корелина Т.В., Федотов А.Я. Структурное моделирование многоканальной системы ресурсного обеспечения государственно-муниципальных ЛГГУ7/ Прикладные задачи моделирования и оптимизации: Межвуз сб. научн. тр. Воронеж. ВГТУ, 1999.

64. Создание электронных карт: Обзорная информация. М.: ЦНИИ-ГАиК, 1994.- 59с.

65. Специализированная медицинская помощь в крупной многопрофильной больнице и пути её совершенствования: Сборник научных трудов. -М.: ВИНИТИ, 1982. 134 с.

66. Стационарная медицинская помощь / Е. А. Логиновой. М.: Медицина, 2000.

67. Трахтенгерц Г.В. Организация поддержки принятия управленческих решений. М.: Финансы и статистика, 2000.

68. Уолрэнд Дж. Введение в теорию сетей массового обслуживания. Пер. с англ. М.: Мир, 1993, 235 с.

69. Фу К. Структурные методы распознавания образов. М.: Мир, 1997.320 с.

70. Хансен Г. Базы данных: разработка и управление: Пер. с англ. / Хансен Г., Хансен Д. М.: ЗАО «Издательство БИНОМ», 1999.

71. Хаббард Дж. Автоматизированное проектирование баз данных. -М.: Мир, 1984. 294 с.

72. Холюшкин Ю.П., Воронин В.Т., Штабной К.В., Воробьев В.В. Перспективы развития информационных технологий в ИАиЭ СО РАН//Информационные технологии в гуманитарных исследованиях. Сб. трудов. Новосибирск: Издательство НИИ МИОО НГУ, 1998, 96 с.

73. Цветков В .Я. Геоинформационные системы и технологии. М.: Финансы и статистика, 1998. с. 230-263.

74. Цветков В.Я. Геоинформационное моделирование // Информационные технологии №3, 1999. с. 23-34.

75. Шайтура C.B. Обзор технологий создания геоинформационной продукции // Информационные технологии №9, 2001. с. 27-32.

76. Шелобаев С.И. Математические методы и модели в экономике, финансах, бизнесе. М.: ЮНИТИ-ДАНА, 2000.

77. Шиган E.H. Методы прогнозирования и моделирования в социально-гигиенических исследованиях. М.: Медицина, 1986. 208 с.

78. Щербаткин Д.Д., Эльгиян P.A. Применение автоматизированных систем в практических условиях врача // Кардиология. 1989. № 10. С. 22-26.

79. Map Info Professional Руководство пользователя. Map Info Corporation New York. 1998.

80. Stonebraker M. Introduction to "Integration of Knowledge and Data Management" // M. Stonebraker (ed.). Readings in Database System. San Mateo, Calif.: Morgan Kaufmann, 1988.

81. Ceri S. Logic Programming and Databases / Ceri S., Gottlob G., Tanca L. New York, N.Y. Springer-Verlag, 1990.