Издател: УИ "Св. Климент Охридски"
Доминиращият модел за представянето на данните в информационните системи е релационният модел. Този модел в продължение на три десетилетия от появата си е развиван и изследванията по него са обобщавани от Код. Едва в края на миналия век чисто релационните проблеми станаха обектно-релационни. Интересно е да се отбележи, че плавният преход към обектно-релационен модел се дължи на задълбоченото изследване и на идеите, свързани с релационния модел. Затова целта на настоящия труд е да се проследят и обобщят идеите, свързани с еволюцията и развитието на този модел. Посочената цел най-добре може да се постигне чрез формализация на идеите. За нотация е избрана Z-нотацията, която след многогодишна еволюция достигна нивото си на зрелост до международно приет стандарт. Освен това релационният модел и Z-нотацията са здраво обосновани в математика и по-точно в теорията на множествата. Вследствие на тази общност са добрите възможности за спецификация на релационния модел. Може да се каже, че ако една спецификация е тромава и неразбираема, това най-често се дължи на лош подход в моделирането. Понякога се случва проблемът да е в самата концепция, а не в самото моделиране. Това създава добри възможности за изследване на самите концепции на релационния модел.
Бележки..................................................................................................................7
Въведение...............................................................................................................9
1. Начална версия на релационния модел.............................................................11
1.1. Определение на релация.........................................................................11
1.2. Екземпляр, първичен ключ, външен ключ................................................14
1.3. Нормални форми.....................................................................................18
1.4. Език за заявки..........................................................................................20
1.5. Видове релации.......................................................................................22
1.6. Операции върху релациите......................................................................23
1.6.1. Излишества....................................................................................37
1.6.2. Цялостност.....................................................................................40
2. Версия 1 на релационния модел........................................................................42
2.1. Структури.................................................................................................42
2.2. Релационна алгебра (без NULL стойности)................................................48
2.3. Разширение на алгебрата с NULL стойности..............................................56
2.4. Връзка с предикатната логика..................................................................65
3. Версия 2 на релационния модел........................................................................67
3.1. Структури.................................................................................................67
3.2. Ключове и правила за цялостност............................................................69
3.3. Релационна алгебра.................................................................................71
Заключение 82
Използвана литература 83
Приложение: Z-нотация 84
[затвори съдържанието]