Дослідження семантики модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань нафтогазової предметної області

Abstract

Статья посвящена исследованию вопроса о соотношении формально-логического аппарата модификационных предикатных запросов с классическими теориями логического программирования. В результате введены определения модификационных предикатных запросов для информационных систем на основе баз данных и знаний нефтегазовой предметной области на основе подхода, построенного на семантике стабильных моделей.Given paper is dealing with an exploration of parity between the formal - logic apparatus of modification predicate queries and classical theories of logic programming. As a result definitions of modification predicate queries for information systems on the basis of databases and knowledge bases of an oil-and-gas subject domain are given , from the point of view of an approach constructed on stable models semantics .