Zaawansowane wyszukiwanie
  Strona Główna » Sklep » Bazy danych » Teoria baz danych » Moje Konto  |  Zawartość Koszyka  |  Do Kasy   
 Wybierz kategorię
Algorytmy Wzorce UML
Bazy danych
  Access
  Big Data
  MySQL PostgreSQL
  Oracle
  SQL
  Teoria baz danych
Bezpieczeństwo
Bioinformatyka
Biznes Ekonomia Firma
Chemia
DTP Design
E-biznes
Ekonometria
Elektronika Elektrotechnika
Energetyka
Fizyka
GIS
Grafika użytkowa
Hardware
Informatyczne systemy zarządzania
Informatyka w szkole
Internet
Języki programowania
Matematyka
Multimedia
Obsługa komputera
Office
Poradniki
Programowanie gier
Programy inżynierskie
Programy matematyczne
Serwery
Sieci Firewalle Protokoły
Słowniki
Systemy operacyjne
Technika
Telekomunikacja
Tworzenie stron WWW

Zobacz pełny katalog »
 Wydawnictwo:
 WKiŁ
Mosty zintegrowane

Mosty zintegrowane

49.35zł
37.01zł
Półmocna kontrola typów w językach programowania baz danych 35.00zł
Półmocna kontrola typów w językach programowania baz danych

Autor: Krzysztof Stencel

ISBN: 83-89244-50-0

Ilość stron: 210

Data wydania: 06/2006

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

Półmocna kontrola typów w językach programowania baz danych
--- Pozycja niedostępna.---
Klienci, którzy kupili „Półmocna kontrola typów w językach programowania baz danych”, kupili także:
<b>Osiąganie celów 10 zasad skutecznego działania</b>, <font color="navy">Anna Wieczorek</font>, <font color="green"> Wydawnictwo Onepress</font>
Osiąganie celów 10 zasad skutecznego działania, Anna Wieczorek, Wydawnictwo Onepress
<b>Kurs prawa jazdy kategorii B z płytą CD</b>, <font color="navy">Marek Tomaszewski, Michał Krasnodębski</font>, <font color="green"> Wydawnictwo RM</font>
Kurs prawa jazdy kategorii B z płytą CD, Marek Tomaszewski, Michał Krasnodębski, Wydawnictwo RM
<b>Certyfikacja energetyczna budynków mieszkalnych z przykładami</b>, <font color="navy">Karolina Kurtz, Dariusz Gawin</font>, <font color="green"> Wydawnictwo Atla 2</font>
Certyfikacja energetyczna budynków mieszkalnych z przykładami, Karolina Kurtz, Dariusz Gawin, Wydawnictwo Atla 2
<b>Flash CS3 Professional PL Techniki zaawansowane Klatka po klatce</b>, <font color="navy">Russell Chun</font>, <font color="green"> Wydawnictwo HELION</font>
Flash CS3 Professional PL Techniki zaawansowane Klatka po klatce, Russell Chun, Wydawnictwo HELION
<b>Visual Basic .NET w praktyce Błyskawiczne tworzenie aplikacji</b>, <font color="navy">Jacek Matulewski</font>, <font color="green"> Wydawnictwo HELION</font>
Visual Basic .NET w praktyce Błyskawiczne tworzenie aplikacji, Jacek Matulewski, Wydawnictwo HELION
<b>Pakiet: Trening umysłu dla bystrzaków + Czysta krew i filozofia. Wampiry stają się naprawdę niegrzeczne</b>, <font color="navy">Tracy Packiam Alloway - William Irwin, George A. Dunn, Rebecca Housel</font>, <font color="green"> Wydawnictwo Septem</font>
Pakiet: Trening umysłu dla bystrzaków + Czysta krew i filozofia. Wampiry stają się naprawdę niegrzeczne, Tracy Packiam Alloway - William Irwin, George A. Dunn, Rebecca Housel, Wydawnictwo Septem
<b>Materiały budowlane w mostownictwie</b>, <font color="navy">Kazimierz Furtak, Jacek Śliwiński</font>, <font color="green"> Wydawnictwo WKiŁ</font>
Materiały budowlane w mostownictwie, Kazimierz Furtak, Jacek Śliwiński, Wydawnictwo WKiŁ
<b>Poradnik tokarza Wydanie XII</b>, <font color="navy">Karol Dudik, Eugeniusz Górski</font>, <font color="green"> Wydawnictwo Naukowe PWN</font>
Poradnik tokarza Wydanie XII, Karol Dudik, Eugeniusz Górski, Wydawnictwo Naukowe PWN
<b>Microsoft Windows Server 2003 vademecum administratora Wydanie 2</b>, <font color="navy">William R. Stanek</font>, <font color="green"> Wydawnictwo Microsoft Press</font>
Microsoft Windows Server 2003 vademecum administratora Wydanie 2, William R. Stanek, Wydawnictwo Microsoft Press
 Koszyk
1 x Excel 2013 PL Programowanie w VBA Vademecum Walkenbacha
70.29zł
Producent
Tu można zobaczyć wszystkie książki z wydawnictwa:

Wydawnictwo PJWSTK
 Kategoria:
 Fizyka
Fizyka i filozofia

Fizyka i filozofia

59.00zł
47.20zł
Informacje
Regulamin sklepu.
Koszty wysyłki.
Polityka prywatności.
Jak kupować?
Napisz do Nas.
 Wydawnictwa
 Poradniki
Kwalifikacja EE.08. Montaż i eksploatacja systemów komputerowych, urządzeń peryferyjnych i sieci. Część 2. Systemy opera Tomasz Kowalski, Tomasz Orkisz HELION
Solid Edge 17 Podstawy Grzegorz Kazimierczak HELION
RTLinux System czasu rzeczywistego Kazimierz Lal, Tomasz Rak, Krzysztof Orkisz HELION
Bezpieczeństwo sieci w Linuksie. Wykrywanie ataków i obrona przed nimi za pomocą iptables, psad i fwsnort Michael Rash HELION
Przewodnik audytora systemów informatycznych Marian Molski, Małgorzata Łacheta HELION
Mathcad ćwiczenia wydanie II Jacek Pietraszek HELION
C++. 50 efektywnych sposobów na udoskonalenie Twoich programów Scott Meyers HELION
Podstawy fizyki powierzchni półprzewodników Anna Szaynok, Stanisław Kuźmiński WNT
Modelowanie bryłowe w systemie CATIA przykłady i ćwiczenia Marek Wyleżoł HELION

wtorek, 25 wrzesień 2018   Mapa strony |  Nowości |  Dzisiejsze promocje |  Koszty wysyłki |  Kontakt z nami