14.1. Структуры данных
14.1.0. Общая часть
До сих пор не достигнуто единство взглядов по поводу того, какой способ организации данных для „понимающих" программ самый лучший, и вряд ли это когда-нибудь произойдет. Причины здесь чисто прагматические. Для чего людям требуется прежде всего „разумная" вычислительная система? Мы видим две причины: для решения сложной задачи информационного поиска и для демонстрации какого-то алгоритма вывода. Если пользователь собирается решать задачу, то с ней, несомненно, связана большая база данных, а
иначе вряд ли стоит прибегать к помощи ЭВМ. Хотя пользователь, вероятно, хочет иметь систему, достаточно гибкую, чтобы оправдать название „понимающая", он, как правило, может указать какие-то ограничения на тип вопросов, которые ей будут задаваться. В конце концов система, проектируемая им, должна будет работать на имеющемся у него оборудовании. Пользователь, естественно, выберет ту структуру данных, которая отражает логику его базы данных и особенности его оборудования. Неудивительно, что полученная таким образом система, скорее всего, обладает лишь ограниченной общностью. Фактически степень полезности системы для своего прямого назначения может быть связана обратной зависимостью со степенью, в которой ее решение интересно для других. Здесь кроется опасность предпочтения подхода, ориентированного исключительно на то или иное приложение.
Чисто исследовательский подход страдает недостатком как раз противоположного рода. Здесь основное внимание уделяется общности: демонстрируется, что некоторые алгоритмы правильно ответят на широкий круг вопросов. Но, когда это уже показано, не слишком интересно проводить такую демонстрацию вновь, поэтому в большой базе данных обычно нет нужды. (В большинстве наших примеров в этой главе базы данных будут очень небольшими.) А поскольку база данных мала и, кроме того, эффективность работы не является решающим критерием, на структурирование базы данных можно практически не обращать внимания. В некоторых экспериментальных системах просто принято, что в программном языке выбора уже предусмотрен метод, не зависящий от содержания памяти. Полученная в результате программа часто является лишь элегантной демонстрацией логики, но не практическим инструментом обработки данных, и, что еще хуже, ее трудно перестроить в такую практическую программу.
Эти две проблемы связаны друг с другом. Очевидно, методы организации данных для „понимающих" программ все-таки существуют. В оставшейся части главы мы обсудим некоторые методы, применявшиеся для решения характерных задач. Они выбирались для иллюстрации методов, а не как наиболее современные программы из тех, что можно себе представить. Обзоры „состояния дел“ периодически публикуются профессиональными журналами по вычислительной технике.
