Алексей КлючниковЦель дать формальное мат описание структуры (например уже существующей), именно реляционной.В указанных вам статьях оно таки дано. Что вам в нём не хватает?

Алексей Ключниковтригеры тоже должны как то вписываться в теорию, иначе как их придумали, просто так?Строго говоря, триггеры не есть часть формальной теории, это часть реализации.

Bogdanov AndreyТаблица это и не множество и не матрица. Это - "отношение" (relation). И именно поэтому соответствующие СУБД называются реляционными. Позволю себе чуть-чуть подправить. Таблица -- это не только не множество и не матрица, но даже и не отношение. В том смысле, что математически понятие таблицы никак не определено (математике оно неизвестно). Поэтому в зависимости от контекста разговоря под таблицей может пониматься много разных вещей. Из-за этого когда говорят о теории на более-менее строгом языке, слово "таблица" стараются не использовать.

Алексей Ключниковпохоже меня не понимают..
Есть у меня три таблички.
Две справочных и одна сводная привязанная клучами к справочным.
и два тригера на удаление и обновление.
Надо написать мат модель, которая например доказывает что нет дублирования данных.Для исключения дублирования данных надо задать потенциальные ключи, триггеры здесь не при чём.
Теперь по поводу попытки описать триггеры моделью. если триггеры содержать процедурный код, то задача мат. описания становится очень сложной. Поищите ради интереса инф-ю по формальному доказательству корректности алгоритмов и программ. Это ж одна из сложнейших теоретических проблем. Предусловия/постусловия, инварианты... Именнно поэтому декларативные ограничения целостности всегда приоритетнее процедурных.

Алексей Ключников mir
Теперь по поводу попытки описать триггеры моделью. если триггеры содержать процедурный код, то задача мат. описания становится очень сложной. Поищите ради интереса инф-ю по формальному доказательству корректности алгоритмов и программ. Это ж одна из сложнейших теоретических проблем. Предусловия/постусловия, инварианты... Именнно поэтому декларативные ограничения целостности всегда приоритетнее процедурных.
Не требуется.. можно просто назвать этот код функцией F1(x,y), где х y принадлежат отношению R.
Например.. боюсь изобрести велосипед..Во-первых, триггер функцией не является (не возвращает значения). Во-вторых, если б и являлся, хоть вы сто раз назовёте его функцией F1(x,y), это нисколько не приблизит вас к доказательству каких-либо его свойств. Увы.

Алексей Ключников mirВо-первых, триггер функцией не является (не возвращает значения). Во-вторых, если б и являлся, хоть вы сто раз назовёте его функцией F1(x,y), это нисколько не приблизит вас к доказательству каких-либо его свойств. Увы.
Вот видно что человек програмист :D, не в обиду.
Я долго в свое время не мог понять, как так функция возвращает?? :)

Тригер возвращает, потому что эту функция в СУБД, иначе зачем ему быть?Можете сформулировать то же самое, но понятно?

P.S. Не понял, при чём здесь моё программирование? Я прикладной математик по образованию, хотя к делу это, конечно, не относится.