Размер шрифта: 

В статье рассматривается применение аксиоматического метода для верификации SQL-запросов с использованием многомерных матриц. Аксиоматический метод, разработанный К. А. Р. Хоаром и Э. В. Дейкстрой, позволяет формально описывать программы и доказывать их корректность, что повышает надежность информационных систем. В контексте обработки данных этот подход способствует строгому описанию операций и установлению соответствий между реляционной и многомерно-матричной моделями данных. Использование многомерных матриц облегчает представление сложных структур данных и операций над ними, что особенно актуально при работе с большими объемами информации. Комбинация аксиоматического метода с многомерно-матричной моделью открывает новые возможности для формализации и доказательства эквивалентности операций в разных моделях данных, упрощая верификацию и оптимизацию SQL-запросов. В заключение подчеркивается перспективность дальнейших исследований в области автоматизации процессов верификации и повышения эффективности обработки данных на основе этих методов.