Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления

dc.contributor.author	Стадник, Ю.В.
dc.date.accessioned	2008-09-17T12:06:00Z
dc.date.available	2008-09-17T12:06:00Z
dc.date.issued	2004
dc.identifier.citation	Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления / Ю.В. Стадник // Проблеми програмування. — 2004. — N 2,3. — С. 306-311. — Бібліогр.: 5 назв. — рос.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/2286
dc.description.abstract	У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних просторових об’єктів різних сортів. Наведено підхід до опису динаміки предметної області за допомогою алетичної модальної логіки.	en_US
dc.description.abstract	Using of aletic modal logic on the base of semantic of possible “worlds” Kripke for forest fires dynamic modeling is offered. Geometric structure of fire zone as a set of flat and three-dimensional spatial objects is described. The approach to describing of domain area with the help of aletic modal logic is given.	en_US
dc.language.iso	ru	en_US
dc.publisher	Інститут програмних систем НАН України	en_US
dc.subject	Модели и средства инженерии баз данных и знаний	en_US
dc.title	Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	519.767