Где найти определение реляционной мадели с помощью теории множеств и функциональных зависимостей.

(определения на уровне слов. вомт мол модель если бд состоит из табличек, то она релиационная я уже видел . Хотелось бы посмотреть на мат модель.). Может кто сталкивался?

Еще так же интересует вопрос про математическую модель XML.

Может кто знаком с математических аппаратом для описания преобразования реляционной схемы в XML. и вообще для какой математический аппарат можно использовать для описания работы с XML.

Заранее благодарен.