Книги по Базам данных и Формальному моделированию?

Question

[thea66ac]

Добрый день. Я студент первого курса и хотел бы подготовиться к следующему семестру по следующим темам:

A) Базы данных:
1)Semantische Datenmodellierung-EER
2)Überführung in das Relationenmodel(Переход в реляционную модель данных)
3)Datenbanksprachen-Query language (Relationale Algebra, Relationaler Tupel/Domänenkalkül, SQL)
4)Relationale Entwurfstheorie (Функциональная зависимость)

B) Формальное моделирование:
1)Aussagenlogik(Логика высказываний)
2)Endliche Automaten(Конечные автоматы)
3)Reguläre Ausdrücke(Регулярные выражения)
4)Petri-Netze(Сети Петри)

Из всех вышеупомянутых тем, я знаком только с "Регулярными выражениями" по книги
Бен Форта - Регулярные выражения(185 стр). Эта книга мне очень понравилась, очень всё понятно объясняется на примерах, доступным языком. По всем остальным темам, я полный 0. Хотелось бы таких книг, которые дали бы мне базовые понятия и подготовили меня к более сложным книгам. Ввели меня в суть дела.

Благодарю за внимание.

Answer 1

[Михаил]

Если интересуют реляционные базы данных( а в вопросе имеется Datenbanksprachen-Query language (Relationale Algebra, Relationaler Tupel/Domänenkalkül, SQL) , то лучший друг Кренке Д(
Теория и практика построения баз данных.

) думаю, а после SQL запросы для простых смертных.
Написанно просто, и как раз для нуля. Сам порою заглядываю.
Но перед этим, думаю стоит узнать что такое множества -подмножества, графы.

Comments

[thea66ac]

Спасибо Михаил, а по фор.моделираванию есть что-нибудь ? ;)

[Михаил]

Так понимаю, про предметную область? Или про само моделирование БД, если первый вариант, гугл в помощь, второй- выше предложенные книги.

[thea66ac]

Формальное моделирование:
1)Aussagenlogik(Логика высказываний)
2)Endliche Automaten(Конечные автоматы)
3)Reguläre Ausdrücke(Регулярные выражения)
4)Petri-Netze(Сети Петри)
Я имею введу по этим темам.