Cтраница 4
В новом издании текст был полностью переработан, и в него было включено более тысячи новых упражнений, более сотни новых рисунков и десятки новых программ. Кроме того, ко всем рисункам и программам были добавлены подробные комментарии. Этот новый материал охватывает как новые темы, так и более полно поясняет многие классические алгоритмы. Большее внимание, уделенное в книге абстрактным типам данных, расширяет сферу применения приведенных программ и делает их более пригодными для современных сред программ рова-ния. [46]
Поскольку иерархическая структура является фиксированной, то фиксированными являются и все структурные отношения в ней и, следовательно, области определения термов. Поскольку функция fc ( xi / / X / / ( xi / / X ] определена на множестве частей объекта, заданного переменной xi, то она не зависит непосредственно от переменной xi / / X. Ьзш, если х есть аз, и на которую заменяется переменная XQ в классическом алгоритме сколемизации, если она связана квантором 3 и стоит на первом месте в префиксе. [47]
Операция теоретико-множественного объединения проиллюстрирована на рис. 8.2 и соответствует хорошо известной операции слияния файлов. Если известно, что файлы не пересекаются, и если порядок записей не играет роли, то достаточно скопировать один файл в конце другого. Однако, как правило, файлы поддерживаются в порядке первичных ключей, и тогда используются классические алгоритмы слияния, считывающие поочередно записи из каждого файла в зависимости от того, в каком из файлов запись имеет ключ с меньшим значением полей, так что в новый файл записи также будут помешаться в порядке первичных ключей. [48]