Фактически, берем любую таблицу (отношение), и удаляем один столбец

3) Переименование. Пусть s обозначает результат операции r <RENAME> (A, B). Для обеспечения возможности выполнения операции требуется, чтобы существовал некоторый тип T, такой, что <A, T> Hr, и чтобы не существовал такой тип T, что <B, T> H r. (Другими словами, в схеме отношения r должен присутствовать атрибут A и не должен присутствовать атрибут B.) Тогда:

· H s = (H r minus {<A, T>}) union {<B, T>}, т. е. в схеме результата B заменяет A;

· B s = {t s: exists t r exists v (t r B r and v T and <A, T, v> t r and t s = (t r minus {<A, T, v>}) union {<B, T, v>})}, т. е. в кортежах тела результата имя значений атрибута A меняется на B.

Поиск по сайту: