Дослідження семантики модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань нафтогазової предметної області
| dc.contributor.author | Шекета, В.І. | |
| dc.date.accessioned | 2016-08-08T13:19:13Z | |
| dc.date.available | 2016-08-08T13:19:13Z | |
| dc.date.issued | 2004 | |
| dc.description.abstract | Статья посвящена исследованию вопроса о соотношении формально-логического аппарата модификационных предикатных запросов с классическими теориями логического программирования. В результате введены определения модификационных предикатных запросов для информационных систем на основе баз данных и знаний нефтегазовой предметной области на основе подхода, построенного на семантике стабильных моделей. | uk_UA |
| dc.description.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 . | uk_UA |
| dc.identifier.citation | Шекета, В. І. Дослідження семантики модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань нафтогазової предметної області / В. І. Шекета // Науковий вісник Івано-Франківського національного технічного університету нафти і газу. - 2004. - № 1(7). - С. 54-58. | uk_UA |
| dc.identifier.uri | http://elar.nung.edu.ua/handle/123456789/970 | |
| dc.language.iso | uk | uk_UA |
| dc.publisher | ІФНТУНГ | uk_UA |
| dc.title | Дослідження семантики модифікаційних предикатних запитів для інформаційних систем на основі баз даних і знань нафтогазової предметної області | uk_UA |
| dc.type | Article | uk_UA |