В данной работе, относящейся к области разработки специального математического и программного обеспечения системного анализа, рассматривается ряд вопросов, связанных с представлением, анализом и движением данных в системах обработки информации. Разработана концепция контроля корректности бухгалтерских данных средствами реляционной интерактивной логики. Разновидности утверждений о корректных или некорректных данных выделены исходя из организации данных и траекторий их движения в программном комплексе«1С: Бухгалтерия предприятия» и требований нормативных документов. Требования к корректности данных задаются в виде контрольных утверждений, которые записываются в виде логических неравенств, уравнений и их систем. Контрольные утверждения зависят от полей стандартных объектов платформы «1С: Предприятие» − документов, регистров бухгалтерии, регистров накопления, регистров сведений и др. Контрольные утверждения записываются в виде логических формул, которые преобразуются в реляционные запросы. Контроль корректности данных осуществляется исполнением запросов и позволяет выделить данные, для которых контрольные утверждения либо не выполняются, либо, наоборот, выполняются. Для конфигурации «1С: Бухгалтерия предприятия 3.0» разработано программное средство, которое обеспечивает диалоговое конструирование контрольных утверждений и их доказательство над теми или иными фрагментами баз данных бухгалтерского учета.
- Когаловский М.Р. Энциклопедия технологий баз данных. М. : Финансы и статистика, 2002. 800 с.
- Курганский В.И. Реляционная интерактивная логика. От логических уравнений и неравенств к ответам на мудрёные вопросы. Saarbrücken: Lambert Academic Publishing, 2014. 124 c.
- Кузьмин О.В. Введение в перечислительную комбинаторику. Иркутск : Изд-во ИГУ, 1995. 112 с.
- Кузьмин О.В. Комбинаторные методы решения логических задач. М. : Дрофа, 2006. 192 с.
- Фридл Дж. Регулярные выражения. М. : Символ-Плюс, 2008. 608 с.
- The World Wide Web Consortium (W3C) [Электронный ресурс] // URL: https://www.w3.org/standards/xml/schema (дата обращения 15.02.17).
- Хрусталева E.Ю. Язык запросов «1С: Предприятия 8». М. : 1С-Паблишинг, 2013. 369 с.
- Профессиональная разработка в системе 1С: Предприятие 8. Том 1 / В.А. Ажеронок, А.П. Габец, Д.И. Гончаров и др. М. : 1С-Паблишинг, 2012. 690 с.
- Об утверждении Положения по бухгалтерскому учету «Учет расчетов по налогу на прибыль организаций" ПБУ 18/02» (с изменениями и дополнениями) : приказ Минфина РФ от 19 ноября 2002. № 114н // Информационно-правовая система "Гарант" URL: http://base.garant.ru/12129425/ (дата обращения: 02.05.2017).
- Экспресс-проверка ведения учета ПБУ 18/02 для программы "1С: БП 2.0" // Информационно-аналитический центр по автоматизации учета и управления URL: http://infostart.ru/public/322278/ (дата обращения: 02.05.2017).
- Налоговый кодекс Российской Федерации (часть вторая) : текст с изм. и доп. на 04.05.2017. Статья 346.16 // СПС «КонсультантПлюс» URL: http://www.consultant.ru/document/cons_doc_LAW_28165/2428f19fbea7040de23... (дата обращения: 02.05.2017).
- Об утверждении Плана счетов бухгалтерского учета финансово-хозяйственной деятельности организаций и Инструкции по его применению : приказ Минфина РФ от 31.10.2000 N 94н : в ред. от 08.11.2010 // СПС «КонсультантПлюс» URL: http://www.consultant.ru/document/cons_doc_LAW_29165/41dd7561da3faf75bb6... (дата обращения: 02.05.2017).
- Транзитивное замыкание запросом [Электронный ресурс] // Информационно-аналитический центр по автоматизации учета и управления URL: http://infostart.ru/public/158512/ (дата обращения: 02.05.2017).
- Кузьмин О.В. Обобщенные пирамиды Паскаля и их приложения. Новосибирск : Наука, 2000. 294 с.
- Кузьмин О.В., Оркина К.П. Построение кодов, исправляющих ошибки, с помощью треугольника типа Паскаля // Вестник Бурят. гос. ун-та. 2006. № 13. С. 32–39.
- Лебедев В.Б., Паршина Е.В., Песошин В.А. Эффективная модель анализа данных на основе линейных векторных решеток // Изв. высш. учеб. заведений. Поволжский регион. Сер.: Технические науки. 2011. № 4 (20). С. 19–25.
- Лебедев В.Б., Федотов Е.А. Моделирование данных информационных систем методами теории решеток // Изв. высш. учеб. заведений. Поволжский регион. Сер.: Технические науки. 2015. № 3 (35). С. 104–110.