Побудова логічної мережі для опису процесу кореспонденції балансових рахунків обліку депозитів суб’єктів господарської діяльності та фізичних осіб

Анотація

Статтю присвячено дослідженню інструментарія алгебри скінченних предикатів для формалізації процесів бухгалтерського обліку, зокрема процесу кореспонденції балансових рахунків обліку депозитів суб’єктів
господарської діяльності та фізичних осіб. Бухгалтерський облік банку є складовою інформаційної системи
банку та включає облік операцій за відповідними рахунками на підставі автоматизованих та ручних проводок, складання агрегованих та детальних звітів. План рахунків бухгалтерського обліку банків України – це систематизований перелік рахунків бухгалтерського обліку, який використовується для детальної та повної реєстрації всіх банківських операцій. Введення предикату впізнавання предметів на вказаній предметній області дозволило формально описати дані будь-якого типу, а застосований метод побудови логічних мереж забезпечує підвищення швидкості обробки інформації за рахунок розпаралелювання процесів обробки. Таким чином, складне багатомісцеве відношення було розбито на композицію бінарних відношень, що описуються мовою алгебри предикатів з урахуванням деталізованого системного аналізу предметної області. Математична модель процесу кореспонденції рахунків обліку депозитів суб’єктів господарської діяльності та фізичних осіб подано предикатом, що залежить від одинадцяти змінних. Цей предикат характеризується системою одинадцяти бінарних відношень, які в статті представлено дводольними графами та формулами відповідних предикатів. Предикат моделі має вигляд кон’юнкції усіх побудованих вище бінарних предикатів. Побудована логічна мережа процесу кореспонденції балансових рахунків працює ітераційно до тих пір, поки не отримає сталі результати на двох кроках підряд та дозволяє розв’язувати задачі аналізу та синтезу інформаційної системи банку та включає облік операцій за відповідними рахунками.