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

• Datum: 2004
• 1. Verfasser: Стадник, Ю.В.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут програмних систем НАН України 2004
• Schlagworte: Модели и средства инженерии баз данных и знаний
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/2286
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления / Ю.В. Стадник // Проблеми програмування. — 2004. — N 2,3. — С. 306-311. — Бібліогр.: 5 назв. — рос.

У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних просторових об’єктів різних сортів. Наведено підхід до опису динамі...