PÓŁMOCNA KONTROLA TYPÓW W JĘZYKACH PROGRAMOWANIA BAZ DANYCH

Półmocna kontrola typów w językach programowania baz danych – Streszczenie

Mocna kontrola typów jest bardzo istotnym udogodnieniem oferowanym przez języki programowania. Chroni programistów przed ich własnymi błędami, powodując wykrycie bardzo wielu błędów koncepcyjnych i zwyczajnych pomyłek już na etapie kompilacji programów. Chociaż mocna kontrola typów ma już długą historię, pewne jej zagadnienia nie są dostatecznie dopracowane. W ostatnich latach nastąpiły dość radykalne zmiany w technologiach baz danych m.in. poprzez zwiększenie nacisku na obiektowość języków zapytań oraz dane półstrukturalne. To powoduje konieczność rozpatrzenia kwestii systemów mocnej kontroli typów adekwatnie do obecnych technologii. W niniejszej książce zaproponowaliśmy nowe podejście do mocnej kontroli typów. Nazwaliśmy je półmocną kontrolą typów. Nazwę wzorowaliśmy na półstrukturalnym modelu danych. Zbieżność nazw nie jest przypadkowa. W modelu półstrukturalnym, w którym typy są z definicji rozluźnione, kontrola typów może być tylko półmocna. Zaprezentowane podejście do mocnej kontroli typów jest całościowe i może być stosowane dla każdego modelu danych, również wtedy, gdy dane są nieregularne lub gdy język zapytań jest rozszerzony poprzez abstrakcje programistyczne i bazodanowe, takie jak procedury, funkcje, metody, aktualizowane perspektywy itd.

Skrócony spis treści

Część I Wprowadzenie
1. Wstęp
2. Podejście stosowe do języków zapytań

Część II Zewnętrzny system typów
3. Przegląd zewnętrznych systemów typów
4. Zewnętrzny system typów o żądanych cechach

Część III Wewnętrzny system typów
5. Schemat bazy danych i metabaza
6. Sygnatury
7. Tablice decyzyjne wyprowadzania typów
8. Aparat statycznej kontroli typów
9. Kontrola operatorów imperatywnych
10. Kontrola podprogramów i perspektyw
11. Mocna kontrola typów a optymalizacja zapytań
12. Zakończenie

Krzysztof Stencel – Notka biograficzna

Dr Krzysztof Stencel jest adiunktem w Instytucie Informatyki Uniwersytetu Warszawskiego. Prowadzi także zajęcia dydaktyczne oraz badania naukowe w Polsko-Japońskiej Wyższej Szkole Technik Komputerowych. Jego zainteresowania obejmują bazy danych, inżynierię oprogramowania, systemy operacyjne, systemy rozproszone i technologie internetowe. Jest autorem trzech podręczników do baz danych i jednego podręcznika do systemów operacyjnych oraz tłumaczem książek z zakresu inżynierii oprogramowania. Jest także jurorem i współorganizatorem licznych konkursów i olimpiad informatycznych.