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

okładka

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

Produkt jest aktualnie niedostępny

Kliknij tutaj, jeśli chcesz otrzymać maila, gdy produkt stanie się ponownie dostępny

OPIS

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. Kontrola typów zwiększa zatem niezawodność oprogramowania. Wyliczono, że system typów wykrywa do 80% pojęciowych i semantycznych usterek w oprogramowaniu.

Chociaż mocna kontroloa 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 mocnej kontroli typów adekwatnie do obecnych technologii.

W książce "Półmocna kontrola typów w językach programowania baz danych" 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, aktualizowalne perspektywy itd.

Rozdziały:

Część I. Wprowadzenie

- wstęp

- podejście stosowe do języków zapytań

Część II. Zewnętrzny system typów

- przegląd zewnętrznych systemów typów

- zewnętrzny system typów o żądanych cechach

Część III. Wewnętrzny system typów

- schemat bazy danych i metabaza

- sygnatury

- tablice decyzyjne wyprowadzania typów

- aparat statycznej kontroli typów

- kontrola operatorów imperatywnych

- kontrola podprogramów i perspektyw

- mocna kontrola typów a optymalizacja zapytań

- zakończenie

DODATKOWE INFORMACJE

  • ISBN-13:9788389244505
  • Numer katalogowy:111925

RECENZJEjak działają recenzje?

Lista recenzji jest pusta

DOSTAWA

DARMOWA dostawa powyżej 299 zł!

Realizacja dostaw poprzez:

  • ups
  • paczkomaty
  • ruch
  • poczta

OPINIE

Nasza strona używa plików cookies, w celu ułatwienia Ci zakupów. Więcej informacji znajdziesz w polityce prywatności

© 2006-2024 Gildia Internet Services Sp. z o.o. and 2017-2024 Prószyński Media Sp z o.o. PgSearcher