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:
 Prószyński i S-ka
Spal pracownię matematyczną... i sam sobie wymyśl matematykę

Spal pracownię matematyczną... i sam sobie wymyśl matematykę

54.00zł
40.50zł
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>Nordic walking. I o to chodzi!</b>, <font color="navy">Klaus Schwanbeck</font>, <font color="green"> Wydawnictwo Septem</font>
Nordic walking. I o to chodzi!, Klaus Schwanbeck, Wydawnictwo Septem
<b>Nagrywanie płyt CD to proste</b>, <font color="navy">Krzysztof Daszkiewicz</font>, <font color="green"> Wydawnictwo RM</font>
Nagrywanie płyt CD to proste, Krzysztof Daszkiewicz, Wydawnictwo RM
<b>Suplementy żywnościowe dla sportowców</b>, <font color="navy">Frederic Delavier, Michael Gundill</font>, <font color="green"> Wydawnictwo AHA</font>
Suplementy żywnościowe dla sportowców, Frederic Delavier, Michael Gundill, Wydawnictwo AHA
<b>Microsoft Visual C# 2010 Krok po kroku</b>, <font color="navy">John Sharp</font>, <font color="green"> Wydawnictwo Microsoft Press</font>
Microsoft Visual C# 2010 Krok po kroku, John Sharp, Wydawnictwo Microsoft Press
<b>CSS. Refaktoryzacja kodu</b>, <font color="navy">Steve Lindstrom</font>, <font color="green"> Wydawnictwo HELION</font>
CSS. Refaktoryzacja kodu, Steve Lindstrom, Wydawnictwo HELION
<b>Zarządzanie ryzykiem portfela przez fundusze venture capital oraz private equity</b>, <font color="navy">Piotr Zasępa</font>, <font color="green"> Wydawnictwo CEDEWU</font>
Zarządzanie ryzykiem portfela przez fundusze venture capital oraz private equity, Piotr Zasępa, Wydawnictwo CEDEWU
<b>Genialne NLP Myśl i działaj jak człowiek sukcesu</b>, <font color="navy">David Molden, Pat Hutchinson</font>, <font color="green"> Wydawnictwo Onepress</font>
Genialne NLP Myśl i działaj jak człowiek sukcesu, David Molden, Pat Hutchinson, Wydawnictwo Onepress
<b>Ustawa o informatyzacji działalności podmiotów realizujących zadania publiczne Komentarz</b>, <font color="navy">Czesław Martysz, Grażyna Szpor, Kajetan Wojsyk</font>, <font color="green"> Wydawnictwo Wolters Kluwer</font>
Ustawa o informatyzacji działalności podmiotów realizujących zadania publiczne Komentarz, Czesław Martysz, Grażyna Szpor, Kajetan Wojsyk, Wydawnictwo Wolters Kluwer
<b>Oświetlenie awaryjne w budynkach - wymagania i zasady zasilania Wydanie 2</b>, <font color="navy">Julian Wiatr</font>, <font color="green"> Wydawnictwo DW Medium</font>
Oświetlenie awaryjne w budynkach - wymagania i zasady zasilania Wydanie 2, Julian Wiatr, Wydawnictwo DW Medium
 Koszyk
0 przedmiotów
Producent
Tu można zobaczyć wszystkie książki z wydawnictwa:

Wydawnictwo PJWSTK
 Kategoria:
 Chemia
Obliczenia biochemiczne

Obliczenia biochemiczne

59.00zł
43.66zł
Informacje
Regulamin sklepu.
Koszty wysyłki.
Polityka prywatności.
Jak kupować?
Napisz do Nas.
 Wydawnictwa
 Poradniki
Modelowanie bryłowe w systemie CATIA przykłady i ćwiczenia Marek Wyleżoł HELION
Język UML 2.0 w modelowaniu systemów informatycznych Stanisław Wrycza, Bartosz Marcinkowski, Krzysztof Wyrzykowski HELION
Linux dla programistów i użytkowników Graham Glass, King Ables HELION
CATIA v5 przykłady efektywnego zastosowania systemu w projektowaniu mechanicznym Andrzej Wełyczko HELION
Windows Server 2008 PL Biblia Jeffrey R. Shapiro HELION
Solid Edge Komputerowe wspomaganie projektowania Grzegorz Kazimierczak, Bernard Pacula, Adam Budzyński HELION
UML inżynieria oprogramowania wydanie II Perdita Stevens HELION
SQL optymalizacja Dan Tow HELION
C++ wykorzystaj potęgę aplikacji graficznych Janusz Ganczarski, Mariusz Owczarek HELION

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