В язык SQL
добавлены средства изменения схемы таблиц. Что можно и что нельзя изменять в
описании таблицы? В стандарте SQL2 добавлены достаточно широкие возможности
по модификации уже существующих схем таблиц. Для модификации таблиц используется
оператор ALTER TABLE, который позволяет выполнить следующие операции изменения
для схемы таблицы:
Синтаксис
оператора ALTER TABLE:
<Изменить
описание таблицы>::= ALTER TABLE <имя таблицы> { ADD определение столбца>
|
ALTER <имя
столбца> (SET DEFAULT <значение> DROP DEFAULT } |
DROP <имя столбца>{CASCADE | RESTRICT} |
ADD { <определение первичного ключа>| определение внешнего ключа> |
<условие уникальности данных> |
<условие проверки> } |
DROP CONSTRAINT
имя условия { CASCADE | RESTRICT} }
Одним оператором
ALTER TABLE можно провести только одно из перечисленных изменений, например,
за один раз можно добавить один столбец. Если вам требуется добавить два столбца,
то необходимо применить два оператора.
Давайте рассмотрим
несколько примеров. Чаще всего применяется операция добавления столбца. Предложение
определения нового столбца в операторе ALTER TABLE имеет точно такой же синтаксис,
как и в операторе создания таблицы. Добавим столбец EDUCATION (образовние),
содержащий символьный тип данных, с заданным перечнем значений («начальное»,
«среднее», «неоконченное высшее», «высшее»).
ALTER TABLE
READERS
ADD EDUCATION
varchar (30) DEFAULT NULL
CHECK (EDUCATION
IS NULL OR
EDUCATION= "начальное"
OR
EDUCATION= "среднее
" OR EDUCATION= "неоконченное высшее" OR
EDUCATION= "высшее"
)
В таблицу
READERS будет добавлен столбец EDUCATION, в который по умолчанию будут добавлены
все кортежи неопределенного значения. В дальнейшем эти значения могут быть заменены
на одно из допустимых символьных значений.
Добавим ограничение
на соответствие между датами взятия и возврата книги в таблице EXEMPLAR. Действительно,
если даты введены, то требуется, чтобы дата возврата книги была бы больше на
срок выдачи книги. Считаем, что стандартным сроком являются 2 недели. Теперь
сформулируем оператор изменения таблицы EXEMPLARE:
ALTER TABLE
EXEMPLARE
ADD CONSTRAINT CK_ EXEMPLARE
CHECK ((DATA_IN
IS NULL AND DATA_OUT IS NULL) OR
(DATA_OUT >=
DATAJN +14) )
Здесь мы
применили операцию сложения к календарной дате, которая предполагает, что добавляют
заданное число дней.
Операция
удаления столбца связана с проверкой ссылочной целостности, и поэтому не разрешается
удалять столбцы, связанные с поддержкой ссылочной целостности
таблицы, то есть нельзя удалить столбцы родительской таблицы, входящие в первичный
ключ таблицы, если на них есть ссылки в подчиненных таблицах.
При изменении
первичного ключа таблицы следует быть внимательными. Во-первых, у исходной таблицы
могут быть подчиненные, при этом первичный ключ исходной таблицы является внешним
ключом для подчиненных таблиц, и просто его удалить невозможно, СУБД контролирует
ссылочную целостность и не позволит выполнить операцию удаления первичного ключа
таблицы, если на него имеются ссылки. Следовательно, в этом случае порядок изменения
первичного ключа должен быть таким, как на рис. 8.1:
Рис.
8.1. Алгоритм изменения первичного ключа таблицы
Чаще всего
операция ALTER TABLE применяется в CASE-системах при автоматической генерации
скриптов создания таблиц в базе данных. В этих системах универсальный алгоритм
предполагает сначала создание всех таблиц, которые заданы в даталогической модели,
и только после этого добавляются соответствующие связи. И это понятно — в отличие
от человеческого разума искусственный интеллект CASE-системы будет испытывать
затруднения в определении иерархических взаимосвязей таблиц базы данных, поэтому
он предпочитает использовать универсальный алгоритм, в котором сначала все объекты
определяются, а затем добавляются соответствующие свойства для атрибутов, которые
являются внешними ключами с указанием требуемых ссылок. В этом случае все операции
назначения внешних ключей будут считаться корректными, потому что все объекты
были описаны заранее, и для такого алгоритма порядок создания таблиц безразличен.
Далее приведен скрипт, который был получен при разработке схемы базы данных
«Библиотека» в PowerDesignerG.l. По умолчанию для каждой таблицы
создается индекс по первичному ключу, так что кроме знакомых операций создания
и изменения таблиц мы увидим еще и операцию создания индексов (CREATE INDEX),
после изучения физических моделей в базах данных мы еще вернемся к этой операции,
а пока примем ее на веру. При создании даталогичекой модели в качестве СУБД
был выбран сервер MS SQL Server 6.X, и для этого сервера скрипт был сгенерирован
на встроенном языке этой СУБД, называмом TransactSQL. В нем операция USE <имя
базы дан-ных> соответствует операции открытия базы данных, а команда до означает
переход к выполнению следующей команды.
/* ================================
*/
/* Database name: LIBRARY ' */ /* DBMS name: Microsoft SQL Server 6.x */
/* Created on:
06.10.00 18:56 */
/* ================================
*/
/* Database
name: LIBRARY */
/* ================================
*/
use LIBRARY
go
/* ================================
*/
/* Table: BOOKS
*/
/* ================================
*/
create table BOOKS
(
|
ISBN |
varchar(14) |
not null . |
||
|
TITLE |
varchar(255) |
not null . |
||
|
AUTOR |
varchar(30) |
null. |
||
|
COAUTOR |
varchar(30) |
null. |
||
|
PUBLICHER |
varchar(30) |
null. |
||
WHERE_PUBLICH
varchar(30) null,
YEAR_IZD smallint
not null
constraint CKC_YEAR_IZD_BOOKS check
(
YEAR_PUBL >-
1969 AND YEAR_PUBL <= YEAR(GetDate())).
PAGES smallint
not null
constraint CKC_PAGES_BOOKS check
(
PAGES between
5 and 1000).
constraint PK_BOOKS
primary key (ISBN).
constraint CKT_BOOKS check
(
(AUTOR IS NOT
NULL OR (AUTOR IS NULL AND COAUTOR IS NULL))) ) go
/* Table: READERS
*/
create table READERS
(
NUM_READER intnot
null.
NAME varchar(30)
not null.
BIRTH_DAY datetime
not null
constraint CKC_BIRTH_DAY_READERS check
(
(DateDiffCyear. GetDate().BIRTH_DAY) >=17 )
),
SEX chard) not
null
constraint CKC_SEX_READERS check
(
SEX in СМ'.'1'.'м'.'ж')).
HOME_PHON char(9)
null.
WORK_PHON char(9)
null,
constraint PK_READERS
primary key (NUM_READER).
constraint CKT_READERS check
(
(HOME_PHON IS NOT NULL OR WORK_PHON IS NOT NULL))
)
go
/* Table: CATALOG
*/
/* ================================
*/
create table CATALOG
( KW KOD smallint
not null.
NAME_KW varchar(255) null, constraint PK_CATALOG primary key (KW_KOD)
)
go
/* ================================
*/
/* Table:
EXEMPLAR */
create table
EXEMPLAR
(
|
INVJUMER |
int not |
null. |
||
|
ISBN |
varchar(14) |
not null . |
||
|
NUM_READER |
int |
null. |
||
|
PRESENT |
bit not |
null. |
||
|
DATE_IN |
datetime |
null. |
||
|
DATE OUT |
datetime |
null. |
||
constraint PK_EXEMPLAR
primary key (INVJUMER) )
go
/* ================================ */
/* Index: RELATION_43_FK ' . */ /*
/* ================================
*/
create index
RELATION_43_FK on EXEMPLAR (ISBN) .
go
/* Index: RELATION_44_FK
*/
/* ================================
*/
create index
RELATION_44_FK on EXEMPLAR (NUM_READER) go
/* ================================
*/
/* Table: RELATION_67 */
/* ================================
*/
create table
RELATION_67
(
ISBN varchar(14) not null, KW_KOD smallint not null, constraint
PK_RELATION_67
primary key (ISBN, KW_KOD)
)
go
/* ================================
*/
/* Index: IOIINEONY_E_IAEANOE_CIAIEE_FK
*/
/* ================================
*/
create index
IOIINEONY_E_IAEANOE_CIAIEE_FK on RELATION_67 (ISBN) go
/* ================================
*/
/* Index: I_AANOAAEAIA_A_EIEAAO_FK
*/
create index
I_AANOAAEAIA_A_EIEAAO_FK on RELATION_67 (KW_KOD)
go
alter table
EXEMPLAR
add constraint
FK_EXEMPLAR_RELATION_BOOKS foreign key (ISBN)
references BOOKS
(ISBN)
go
alter table
EXEMPLAR
add constraint
FK_EXEMPLAR_RELATION_READERS foreign key (NUM_READER)
references READERS
(NUM_READER) go alter table RELATION_67
add constraint
FK_RELATION_IOIINEONY_BOOKS foreign key (ISBN)
references BOOKS
(ISBN) go alter table RELATION_67
add constraint
FK_RELATION_I_AANOAAE_CATALOG foreign key (KW_KOD)
references CATALOG
(KW_KOD) go
В языке SQL
присутствует и операция удаления таблиц. Синтаксис этой операции предельно прост:
<Удалить
таблицу>::= DROP TABLE <имя таблицы> [CASCADE | RESTRICT]
Параметр
CASCADE означает, что при удалении таблицы одновременно удаляются и все объекты,
связанные с ней. С таблицей, кроме рассмотренных ранее ограничений, могут быть
связаны также объекты типа триггеров и представления. Понятие представления
будет рассмотрено в следующем подразделе, а триггеров мы коснемся в разделах,
связанных с архитектурой клиент-сервер. Однако операция удаления объектов определяется
еще правами пользователей, что связано с концепцией безопасности в базах данных.
Это значит, что если вы не являетесь владельцем объекта, то вы можете не иметь
прав на его удаление. И в этом случае синтаксически правильный оператор DROP
TABLE не может быть выполнен системой в силу отсутствия прав на удаление связанных
с удаляемой таблицей
объектов. Кроме того, операция удаления таблицы не должна нарушать целостность
базы данных, поэтому удалять таблицу, на которую имеются ссылки других таблиц,
невозможно.
Например,
в нашей схеме, связанной с библиотекой, мы не можем удалить ни таблицу BOOKS,
ни таблицу READERS, ни таблицу CATALOG. У этих таблиц есть связь с подчиненными
таблицами EXEMPLAR и RELATION_67. Поэтому если вы хотите удалить некоторый набор
таблиц, то сначала необходимо грамотно построить последовательность их удаления,
которая не нарушит базовых принципов поддержки целостности вашей схемы БД. В
нашем примере последовательность операторов удаления таблиц может быть следующей:
DROP TABLE EXEMPLAR
DROP TABLE RELATION_67
DROP TABLE CATALOG
DROP TABLE READERS
DROP TABLE BOOKS
Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.
Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").
Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.
Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.
Понятие "мысленный эксперимент" придумано специально спекулянтами - релятивистами для шулерской подмены реальной проверки мысли на практике (эксперимента) своим "честным словом". Подробнее читайте в FAQ по эфирной физике.
|
|
 |
