Андрей Леонидович, не могли бы Вы уточнить определения терминов:
определения, помеченные [ТС] взяты из В.И.Першиков, В.М.Савинков. Толковый словарь по информатике. М.:Финансы и статистика, 1991
Семантика - наличие в модели явных определений связей?
[ТС] смысловое содержание данных (в отличие от синтаксиса данных, рассматривающего только формы их представления)
Идентификация -
[ЧАЛ] наличие у каждого объекта идентификатора, отделенного от характеристик объекта.
[ТС] процесс отождествления объекта с одним из известных системе объектов;
идентификатор (entity identifier) - элемент данных, однозначно определяющий объект внутри системы
Навигация -
[ЧАЛ] перебор (т.е. рассмотрение ПО ОДНОМУ, ОДНОГО ЗА ДРУГИМ?) элементов в определенном порядке.
[ТС] автоматическая Н. - выбор рационального пути поиска записей в БД, выполняемой СУБД автоматически
Н. в БД - процесс продвижения по логически связанным данным в иерарх. и сетевой БД с целью поиска
требуемой записи. Маршрут задается пользователем либо определяется алгоритмами,
встроенными в СУБД.
Что есть "объектный навигатор" - средство задания и выполнения маршрутов поиска данных в БД,
выполнение включает также перебор характеристик и связей объектов ?
---/Идентификация и роль ключей/---
"а) кортежи базовых переменных отношений представляют сущности реального мира;
б) сущности реального мира всегда должны допускать возможность их идентификации (по определению);
в) следовательно, их аналоги в базе данных также должны допускать возможность идентификации;
г) в базе данных значения первичного ключа используются в качестве идентификаторов..."
По пунктам:
a) инфа об одной "сущности реального мира" может быть разнесена по нескольким отношениям (например, в NF6),
да и "There's certainly nothing like a one-to-one correspondence between entities and tuples." [C.J.Date]
б,в) перекликается с "entity integrity" - смысл которой, как я понимаю : каждая сущность должна быть однозначно
идентифицирована, поэтому запрет NULL в primary key, т.к. NULL влечет неоднозначность.
C.J.Date
The Information Principle
The database contains nothing but relvars; equivalently, the entire information content of the
database (at any given time) is represented in one and only one way—namely, as explicit values in
attribute positions in tuples in relations.
....
The Principle of Identity of Indiscernibles
Let a and b be any two things (any two "entities," if you prefer); then, if there's no way whatsoever
of distinguishing between a and b, there aren't two things but only one.
NOTE
... It can alternatively be stated thus: Every entity has its own unique identity. In the relational
model, such identities are represented in the same way as everything else — namely, by means of
attribute values (see The Information Principle, earlier in this list) -- and numerous benefits accrue
from this simple fact.
г) вот собственно и роль первичных ключей - идентификация сущностей. (Другое дело, что на практике большинство использует суррогаты, генерируемые системой именно и только для идентификации. Корни - "The need for unique and permanent identifiers for database entities such as employees, suppliers, parts, etc., is clear." [Codd 1979])
Кстати, о ролях внешних ключей:
1) хранение инфо о связях между сущностями, через ссылки на первичные ключи
2) сокращение для ограничений типа CONSTRAINT C SP{SNO} IS_SUBSET_OF S{SNO}
3) семантическая оптимизация запросов
4) "Empty foreign keys make sense, too; the referential constraint will be violated
if and only if the target relvar is empty and the referencing relvar is not." [C.J.Date]
5) связь по альтернативным ключам - при слиянии схем и данных различных БД, использовавших
различные структуры и методы идентификации (по-моему, такое утверждение было [Кодд 1979])
6) задание правил CASCADE/RESTRICT при изменении/удалении записей
Я все применения перечислил или что-то забыл ? :)
(О проблемах использования ключей спорить, думаю, не стоит)
И еще по поводу "entity integrity":
C.J.Date
The following concepts aren't part of the model, so far as I know: entities,
relationships between entities... (It's true that the original model had a rule
called "entity integrity," but that name was only a name, and in any case I don't
believe in the rule.) Note: Of course, it's possible to put some charitable
interpretations on all of these terms, but the statements that result from
such interpretations are usually wrong. For example, relations do not always
represent "entities" (what "entity" is represented by the projection of suppliers on
STATUS and CITY?).
Так что, Андрей Леонидович, Вы не совсем правы, утверждая, что кортеж отношения представляет экземпляр объекта(сущности).
Цитаты Дейта - по "Database In Depth"(2005)
---/ Object-QL :) /---
Нда, конечно, заманчиво было бы программить примерно так:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
-- модель
Товар <--Хранится на --- Хранит--> Склад
. . . . . . . Количество
. . . . . . . Сумма
-- задание схемы
DESCRIBE OBJECT Goods AS (
ArtNo ARTNO,
Description TEXT
);
CONSTRAINT UNIQUE Goods(Article);
DESCRIBE OBJECT Warehouse AS (
City TEXT,
Address TEXT
);
CONSTRAINT UNIQUE Warehouse(City, Address);
DESCRIBE LINK Goods_Warehouse BETWEEN Goods (StoredIn) AND Warehouse (Stores) AS (
Amount NATURAL,
TotalPrice MONEY
);
-- типа отчет - инфа о содержимом складов в Bobruyske, где хранится товар с артикулом A002345,
-- и общая сумма на этом складе > $20000
SELECT Goods INCLUDING StoredIn
WHERE
Goods.StoredIn.City = 'Bobruysk' AND
Goods.StoredIn.Stores.ArtNo = ARTNO('A002345') AND
SUM(Goods.StoredIn@TotalPrice BY Goods.StoredIn) > MONEY('$20000') ;
---/MUMPS/---
MUMPS, первое впечаление от текстов программ - M-программистов 70х годов, похоже, штрафовали за каждый лишний символ. :)
Андрей Леонидович, неужели за 35 лет нельзя было, сохранив технологию, изменить грамматику языка на более читабельную? Или у Вас нет проблем с отладкой и поддержкой M-кода, написанного другими или своего собственного годичной давности?
(Будет больше свободного времени- буду руками шшупать MUMPS, чтобы хоть иметь более практическое представление об этой технологии )
