Koszyk 0
Sale!
IMG_6553

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

Krzysztof Stencel

  • Rok wydania: 2006
  • Oprawa: miękka
  • Objętość: 207 stron
  • ISBN: 9788389244500
  • Seria: Monografie naukowe
  • Tom: 2

28,00  5,00 

ID produktu: 2343 Kategorie: , .

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.

Napisz pierwszą recenzję “PÓŁMOCNA KONTROLA TYPÓW W JĘZYKACH PROGRAMOWANIA BAZ DANYCH”