Классика баз данных - статьи
я его люблю. Этот стандарт
Си. Вот почему я его люблю. Этот стандарт опубликован в виде двух
книг. Первая книга представляет собой формальное описание языка,
включая Бекусовские определения синтаксиса и естественно-язычные
(на английском языке) описания семантики соответствующих языковых
конструкций. Вторая книга (Rational) включает подробные
неформальные разъяснения смысла языковых конструкций, введенных в
первой книге. Идея стандарта состоит в том, что параллельно
читаются обе книги. Основная информация содержится в первом томе,
но как только изложение на (полу)формальном уровне становится
непонятным, можно обратиться к соответствующему месту второго
тома и получить неформальные человеческие пояснения. Кроме
определения языковых конструкций Стандарт Си содержит
спецификации основных библиотек, которые должны поддерживаться в
любой стандартной реализации языка Си. Наличие этих спецификаций
исключительно важно само по себе, поскольку, как известно, язык
Си не содержит конструкций, обеспечивающих связь с внешним миром
(в частности, операторов ввода/вывода). Для этой заметки особенно
важно то, что спецификации библиотечных функций в Стандарте Си
вводятся с использованием ранее определенных конструкций языка
Си. Конечно, эти спецификации носят только синтаксический
характер, а семантика библиотечных функций определяется на
естественном языке.
Вторым по качеству, с моей точки зрения, является стандарт языка
баз данных SQL-92. По моему мнению, этот стандарт является лучшим
в компьютерной истории стандартом языков баз данных.
Синтаксические конструкции языка формально определяются
Бекусовскими формулами. Семантика операторов описывается на
естественном языке, но достаточно подробно и точно. Подобно
стандарту языка Си стандарт SQL-92 содержит дополнительную часть,
в которой средствами языка SQL специфицированы необходимые
таблицы-каталоги, которые должны поддерживаться в любой
SQL-ориентированной базе данных. По своей значимости наличие
стандартизованных спецификаций таблиц-каталогов равносильно
