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:
 PWN
Programowanie obrabiarek CNC + CD Wydanie 3

Programowanie obrabiarek CNC + CD Wydanie 3

69.00zł
51.75zł
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>Algorytmy bez tajemnic</b>, <font color="navy">Thomas H. Cormen</font>, <font color="green"> Wydawnictwo HELION</font>
Algorytmy bez tajemnic, Thomas H. Cormen, Wydawnictwo HELION
<b>Java EE. Zaawansowane wzorce projektowe</b>, <font color="navy">Murat Yener, Alex Theedom</font>, <font color="green"> Wydawnictwo HELION</font>
Java EE. Zaawansowane wzorce projektowe, Murat Yener, Alex Theedom, Wydawnictwo HELION
<b>Biblia Windows Server 2012 Podręcznik Administratora</b>, <font color="navy">Wołk Krzysztof</font>, <font color="green"> Wydawnictwo Psychoskok</font>
Biblia Windows Server 2012 Podręcznik Administratora, Wołk Krzysztof, Wydawnictwo Psychoskok
<b>Układy zasilania gazem propan-butan</b>, <font color="navy">Adam Majerczyk, Sławomir Taubert</font>, <font color="green"> Wydawnictwo WKiŁ</font>
Układy zasilania gazem propan-butan, Adam Majerczyk, Sławomir Taubert, Wydawnictwo WKiŁ
<b>Elementy aikido</b>, <font color="navy">Bartosz Łuniewski</font>, <font color="green"> Wydawnictwo AHA</font>
Elementy aikido, Bartosz Łuniewski, Wydawnictwo AHA
<b>Mikrokontrolery AVR dla początkujących Przykłady w języku Bascom</b>, <font color="navy">Robert Wołgajew</font>, <font color="green"> Wydawnictwo BTC</font>
Mikrokontrolery AVR dla początkujących Przykłady w języku Bascom, Robert Wołgajew, Wydawnictwo BTC
<b>Struktura magii Kształtowanie ludzkiej psychiki, czyli więcej niż NLP Część 2</b>, <font color="navy">Richard Bandler, John Grinder</font>, <font color="green"> Wydawnictwo Onepress</font>
Struktura magii Kształtowanie ludzkiej psychiki, czyli więcej niż NLP Część 2, Richard Bandler, John Grinder, Wydawnictwo Onepress
<b>Komputerowe wspomaganie zarządzania przedsiębiorstwem</b>, <font color="navy">Ryszard Knosala</font>, <font color="green"> Wydawnictwo PWE</font>
Komputerowe wspomaganie zarządzania przedsiębiorstwem, Ryszard Knosala, Wydawnictwo PWE
<b>Crowdfunding. Zrealizuj swój pomysł ze wsparciem cyfrowego Tłumu</b>, <font color="navy">Bartosz Filip Malinowski, Marcin Giełzak</font>, <font color="green"> Wydawnictwo Onepress</font>
Crowdfunding. Zrealizuj swój pomysł ze wsparciem cyfrowego Tłumu, Bartosz Filip Malinowski, Marcin Giełzak, Wydawnictwo Onepress
 Koszyk
0 przedmiotów
Producent
Tu można zobaczyć wszystkie książki z wydawnictwa:

Wydawnictwo PJWSTK
 Kategoria:
 Informatyczne systemy zarzadzania
Nawigator Modelu Biznesowego. 55 modeli, które zrewolucjonizują Twój biznes

Nawigator Modelu Biznesowego. 55 modeli, które zrewolucjonizują Twój biznes

69.00zł
20.70zł
Informacje
Regulamin sklepu.
Koszty wysyłki.
Polityka prywatności.
Jak kupować?
Napisz do Nas.
 Wydawnictwa
 Poradniki
Solid Edge Komputerowe wspomaganie projektowania Grzegorz Kazimierczak, Bernard Pacula, Adam Budzyński HELION
Jądro Linuksa Przewodnik programisty Robert Love HELION
Analiza i prezentacja danych w Microsoft Excel Vademecum Walkenbacha Wydanie II John Walkenbach, Michael Alexander HELION
AVR Praktyczne projekty Tomasz Francuz HELION
Blender Podstawy modelowania Bogdan Bociek HELION
Podstawy fizyki Tom 2 Wydanie 2 David Halliday, Robert Resnick, Jearl Walker Naukowe PWN
Windows Server 2008 PL Biblia Jeffrey R. Shapiro HELION
Systemy uczące się Rozpoznawanie wzorców analiza skupień i redukcja wymiarowości Mirosław Krzyśko, Waldemar Wołyński, Tomasz Górecki, Michał Skorzybut WNT
Chłodnictwo Technologia w piekarni Klaus Losche Naukowe PWN

piątek, 19 kwiecień 2019   Mapa strony |  Nowości |  Dzisiejsze promocje |  Koszty wysyłki |  Kontakt z nami