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:
 MsPress
Programowanie Microsoft SQL Server 2012

Programowanie Microsoft SQL Server 2012

166.95zł
125.21zł
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>Maya 2011 Wprowadzenie</b>, <font color="navy">Dariush Derakhshani</font>, <font color="green"> Wydawnictwo HELION</font>
Maya 2011 Wprowadzenie, Dariush Derakhshani, Wydawnictwo HELION
<b>Zastosowanie metod ilościowych w finansach i ubezpieczeniach</b>, <font color="navy">Stefan Forlicz</font>, <font color="green"> Wydawnictwo CEDEWU</font>
Zastosowanie metod ilościowych w finansach i ubezpieczeniach, Stefan Forlicz, Wydawnictwo CEDEWU
<b>ABC systemu Windows 10 PL</b>, <font color="navy">Danuta Mendrala, Marcin Szeliga</font>, <font color="green"> Wydawnictwo HELION</font>
ABC systemu Windows 10 PL, Danuta Mendrala, Marcin Szeliga, Wydawnictwo HELION
<b>Mozaiki</b>, <font color="navy">Massey Peter, Slater Alison</font>, <font color="green"> Wydawnictwo RM</font>
Mozaiki, Massey Peter, Slater Alison, Wydawnictwo RM
<b>Mechanika ogólna w ujęciu wektorowym i tensorowym Statyka przykłady i zadania</b>, <font color="navy">Ryszard Buczkowski, Andrzej Banaszek</font>, <font color="green"> Wydawnictwo Naukowe PWN</font>
Mechanika ogólna w ujęciu wektorowym i tensorowym Statyka przykłady i zadania, Ryszard Buczkowski, Andrzej Banaszek, Wydawnictwo Naukowe PWN
<b>C# 7.0. Leksykon kieszonkowy</b>, <font color="navy">Joseph Albahari, Ben Albahari</font>, <font color="green"> Wydawnictwo HELION</font>
C# 7.0. Leksykon kieszonkowy, Joseph Albahari, Ben Albahari, Wydawnictwo HELION
<b>Probabilistyka Statystyka matematyczna Procesy stochastyczne Rachunek prawdopodobieństwa</b>, <font color="navy">Agnieszka Plucińska , Edmund Pluciński</font>, <font color="green"> Wydawnictwo Naukowe PWN</font>
Probabilistyka Statystyka matematyczna Procesy stochastyczne Rachunek prawdopodobieństwa, Agnieszka Plucińska , Edmund Pluciński, Wydawnictwo Naukowe PWN
<b>Nowoczesna dietetyczna książka kucharska</b>, <font color="navy">Zofia Wieczorek-Chełmińska</font>, <font color="green"> Wydawnictwo PZWL</font>
Nowoczesna dietetyczna książka kucharska, Zofia Wieczorek-Chełmińska, Wydawnictwo PZWL
<b>W sieci Jak sieci społeczne kształtują nasze życie</b>, <font color="navy">Nicholas A. Christakis, James H. Fowler</font>, <font color="green"> Wydawnictwo SAW Smak Słowa</font>
W sieci Jak sieci społeczne kształtują nasze życie, Nicholas A. Christakis, James H. Fowler, Wydawnictwo SAW Smak Słowa
 Koszyk
0 przedmiotów
Producent
Tu można zobaczyć wszystkie książki z wydawnictwa:

Wydawnictwo PJWSTK
 Kategoria:
 Układy cyfrowe
Mikrokontrolery AVR w praktyce Wydanie II

Mikrokontrolery AVR w praktyce Wydanie II

63.00zł
50.40zł
Informacje
Regulamin sklepu.
Koszty wysyłki.
Polityka prywatności.
Jak kupować?
Napisz do Nas.
 Wydawnictwa
 Poradniki
Serwer SQL 2008 Administracja i programowanie Danuta Mendrala, Paweł Potasiński, Marcin Szeliga, Damian Widera HELION
Android Programowanie aplikacji Rusz głową Dawn Griffiths, David Griffiths HELION
Modelowanie bryłowe w systemie CATIA przykłady i ćwiczenia Marek Wyleżoł HELION
RTLinux System czasu rzeczywistego Kazimierz Lal, Tomasz Rak, Krzysztof Orkisz HELION
Arytmetyka komputerów w praktyce + CD Sławomir Gryś Naukowe PWN
Jak zdać egzamin zawodowy w technikum informatycznym? Kwalifikacje E.12, E.13, E.14 Tomasz Kowalski HELION
Head First Ajax Edycja polska (Rusz głową) Rebecca Riordan HELION
Visual Studio .NET: .NET Framework czarna księga Julian Templeman, David Vitter HELION
101 zabezpieczeń przed atakami w sieci komputerowej Maciej Szmit, Marek Gusta, Mariusz Tomaszewski HELION

sobota, 19 styczeń 2019   Mapa strony |  Nowości |  Dzisiejsze promocje |  Koszty wysyłki |  Kontakt z nami