Искусственный интеллект

База данных — это множество конкретизированных схем отношений или таблиц, называемых также конкретизацией,или состоянием базы. Состояние базы, т.е. ее конкретизация, может изменяться. Множество всех атрибутов базы есть А = {at\i eN}, где N = {l,...,N}, N — количество атрибутов. Подмножество атрибутов множества А, состоящее из /' атрибутов, индексы которых пробегают множество значений /(/), обозначим А(/и)). Будем полагать, что атрибуты всегда упорядочены в соответствии с порядком индексов в множестве /(|), а /(1'упорядочено по возрастанию. Таким образом, A(IU)) = {a \j е /(/)}. Множество Д/(") будем называть основой схемы отношений. В каждом состоянии базы данных каждому атрибуту соответствует один домен d = {а\, о'2, ..., о'п} из некоторого конечного множества всех доменов D. Соответствие между множеством атрибутов а и доменов d в каждом состоянии S базы данных можно выразить в виде функции dom (o(, S): А -> D, отображающей множество атрибутов на множество доменов, т.е. dom (a., S) = = d = {c\, а'2, ..., o'J. Символ состояния базы данных будем, как правило, опускать, имея в виду, что база всегда конкретизирована, т.е. имеет состояние.