Разработка математической модели обработки информационной системы учета автотранспорта

Для построения математической модели обработки учета работы автотранспорта необходимо описать процессы обработки– строк матриц начиная с момента ввода, формирования бухгалтерской проводки до получения оборотно-сальдовой ведомости и баланса, а также для процессов многочисленных выборок, на которых основаны выдача выходных отчетов, свода различных массивов при создании развернутых форм, стыковки выписки и оплаты платежных документов и других важных операций.

В общем случае для ЭИС [8] это можно выполнить:

1. 
   указанием перечня операций, выполнение которых приводит к требуемому результату (процедурный подход);
   
2. 
   описанием свойств, которым должно удовлетворять результирующее отношение (декларативный подход).
   

Опишем процессы обработки отношений в бухгалтерской подсистеме, использующей реляционную модель.

Множество отношений и операций над ними образует реляционную алгебру. Каждая операция реляционной алгебры использует одно или два отношения в качестве операндов и продуцирует в результате некоторое новое отношение. В литературе имеется определение восьми операций [8]. Их подразделяют по Кооду на две группы:

1. 
   традиционные теоретико-множественные операции: объединение; разность; декартово произведение; пересечение;
   
2. 
   специальные реляционные операции: селекция; проекция; соединение; деление.
   

Представим конкретные отношения бухгалтерских проводок и нормативно справочной информации реляционной базы данных ИСУРА среднего и малого бизнеса в виде матрицы, формализуем процессы обработки, обмена и накопления данных с помощью реляционной алгебры, и таким образом построим математическую модель информационной системы учета автотранспорта.

Операции ввода, корректировки (редактирование), поиска и удаления записей в реляционной модели требуют задания имени отношения (матрицы) и формирования значений атрибутов (столбцов) картежей обязательное задание уникального ключа (элемента матрицы или группы элементов).[4]. Аппарат нормализации и установки связей позволяет осуществлять синхронные действия при работе с входной информацией и аналитикой бухгалтерских счетов и соответствующими справочниками.

Первостепенной задачей при рассмотрении вопроса реализации матричной модели ИСУРА в реляционной аналитике является описание технологии бухгалтерского учета, начиная с записи отдельной бухгалтерской проводки и до получения оборотно-сальдового баланса и другой типовой отчетности. Специфицируем некоторые понятия:

Определение 1. Квадратная матрица размером , у которой на пересечении строки, соответствующей счету Х и столбца, соответствующего счету Y, находится единица, а все остальные элементы равны нулю называется матрицей-корреспонденцией [5]

Матрицу-корреспонденцию обозначим , ее элемент, равный единице, (прописная Е – матрица, строчная – ее элемент).

В соответствии с определением все остальные элементы