SYSTEM ANALISYS AND CONTROL OF THE CORRECTNESS OF ACCOUNTING DATA BASED ON THE RELATIONAL INTRACTIVE LOGIC

Авторы: 
Дата поступления: 
18.02.2017
Год: 
2017
Номер журнала (Том): 
УДК: 
303.732.4+657.1.011.56
Файл статьи: 
Страницы: 
107
115
Аннотация: 

In this paper, relating to the development of special mathematical and software for system analysis, a number of issues related to the representation, analysis and movement of data in information processing systems is considered. The concept of control of the correctness of accounting data by means of relational interactive logic is developed. Varieties of statements about correct or incorrect data are allocated basing on the organization of data and the trajectories of their movement in "1C: enterprise accounting" software and the requirements of regulatory documents. Requirements for correctness of data are specified in the form of control statements, which are written in the form of logical inequalities, equations and their systems. Control assertions depend on the fields of standard objects of the platform "1C: enterprise" when are documents, accounting registers, accumulation registers, information registers, etc. Control statements are written in the form of logical formulas that are converted into relational queries. The control of the correctness of the data is carried out by executing queries and allows you to extract data for which the control assertions either are not executed or, conversely, are executed. For the configuration of "1C: enterprise accounting 3.0", a software tool is developed that provides for the interactive construction of control statements and their proof over certain fragments of accounting databases.

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