Шекета В.І.
Модіфікаційні предикатні запити , як множина логічних PROLOG- програм з обмеженнями
|
УДК: 681.3+622.276
Автори: Шекета В.І.
Джерело:
Радіоелектроніка. Інформатика. Управління
Номер журнала: № 1(11)
Рік видання: 2004
Мова:
Українська
Вид документа:
Стаття періодики
| Анотація: |
У роботі показано, що кожний модифікаційний предикатний запит є еквівалентним деякій Prolog-програмі, із заданою множиною обмежень. Запропоновано формальнологічне визначення для процедури відображення множини модифікаційних предикатних запитів на множину логічних Prolog-програм в рамках підходу на основі семантики стабільних моделей
|
| Ключові слова: |
логічне программування, логическое программирование, бази даних, базы данных, бази знань, базы знаний, семантика |
|
|
Файл документа доступний читачам бібліотеки: увійдіть або зареєструйтесь.
|
Copyright © 2008 - 2026, Електронна бібліотека НУ "Запорізька політехніка", All rights reserved