49. Представляемые и порождаемые таблицы в sql. Агрегатные и кванторные функции.

Представляемая таблица – представление таблице, которое можно использовать в операторе выборки наряду с базовыми таблицами

(table_reference ::= table_primary).

оператор создания представления в общем случае определяется следующими синтаксическими правилами (простой вид):

create_view ::= CREATE VIEW table_name

[ column_name_comma_list ]

AS query_expression - запрос

Имя таблицы, задаваемое в определении представления, существует в том же пространстве имен, что и имена базовых таблиц, и, следовательно, должно отличаться от всех имен таблиц (базовых и представляемых), созданных тем же пользователем.

Если имя представления встречается в разделе FROM какого-либо оператора выборки, то вычисляется выражение запроса, указанное в разделе AS, и оператор выборки работает с результирующей таблицей этого выражения запроса.

Порождаемая таблица derived_table задается выражением запроса, заключенным в круглые скобки:

derived_table ::= (query_expression)

Агрегатные и кванторные функции

агрегатные:

Всё это функции над мультимножеством строк (сгруппированных, если GROUP BY, или всей таблицей). На осн. м/множества строк производятся множества значений

COUNT – количество значений

MAX

MIN

AVG – среднее значение

SUM

COUNT (*) – количество строк (всегда считаются различными)

--------------------

(аргументы следующих квантроных функций – СУТЬ логические выражения)

EVERY: true , если лог. выр. True для всех строк

SOME (ANY): true , если лог. выр. True для хотя бы одной строки

DISTINCT – удаление дубликатов строк из результата.

Если на входе пустое множество, то

СOUNT = 0 EVERY = true MAX, MIN, AVG, SUM = NULL

50. Предикаты языка sql.

Логич. выражение – булево выражение, которое строится на основе предикатов с исп.операторов AND, OR, NOT И ()

S – скал.произведение

R – строк.табл

|R| - значение в строке

T – таблица

Предикат позволяет специфицировать усл-е, результатом которого может быть true, false или unknown.

Для любых аргументов предикатов правила:

1. совместимости типов

2. равенство степеней строк. операндов |Rx| = |Ry|

3. для люб. предик. есть обратный NOT pred = NOT (pred)

Предикаты:

1. Предикат сравнения: Rx comp-op Ry

2. Предикат between: условие вх-я в диап. Значений (Rx between Ry and Rz)

3. Предикат is null: является неопр.значением аргумента

4. Предикат in: условие вхождения в указ.множество

5. Предикат like: string LIKE pattern ESCAPE symbol

в pattern - любой одиноч.символ, % - произв. п/строка

6. Предикат similar

7. Предикат exists: получили ли пустую таблицу (TRUE  | Т_рез |>0 , иначе FALSE)

8. Предикат unique: = TRUE, когда в Т_рез отсут. 2 одинак. стр

9. Предикат overlaps: пересечение по времени 2х событий

10. Предикат сравнения с квантором:

Rx comp_op ALL T (квантор всеобщности)

Rx comp_op SOME T (квантор существования)

11. Предикат match: соответствие подстроки рез-ту 2/л запросу

12. Предикат is distinct: Rx IS DISTINCT FROM Ry = TRUE  Rx и Ry - дубликаты