Том 321 № 5 (2012): Управление, вычислительная техника и информатика
Диагностика моделей баз данных на основе продукционной системы
Представлена логическая структура и механизм работы проектируемой автоматизированной системы проверки моделей баз данных. Приведена формализация базы знаний продукционной системы искусственного интеллекта, используемая в синтаксическом анализе моделей баз данных. Рассмотрены примеры логического вывода на основе знаний, представленных в формализованной базе знаний продукционной системы искусственного интеллекта.
Ключевые слова:
базы данных, данные, синтаксические ошибки, семантические ошибки, логические модели, метаданные, продукционные системы, базы знаний, системы искусственного интеллекта


