Autor: Krzysztof Stencel

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

Krzysztof Stencel | Bazy danych, Teoria baz danych

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...

Systemy operacyjne

Krzysztof Stencel | Systemy operacyjne, Systemy operacyjne OS

Miękka oprawa Książka "Systemy operacyjne" zawiera podstawowy materiał na temat systemów operacyjnych. System operacyjny jest istotną częścią wszystkich systemów komputerowych. Istnieje wiele definicji systemów operacyjnych. Każda z definicji charakteryzuje system operacyjny z innej perspektywy. System operacyjny: pośredniczy między użytkownikiem a sprzętem komputerowym udostepnia programom maszynę wirtualną przydziela sprzętowe zasoby systemu komputerowego programom nadzoruje pracę programów tworzy wygodne i bezpieczne środowisko pracy dla użytkowników przechowuje dla użytkowników rozmaite informacje Rozdziały: wstęp, historia i zadania systemów operacyjnych interpreter poleceń struktura systemów komputerowych i operacyjnych procesy i zarządznie nimi synchronizacja procesów zakleszczenia zarządznie pamięcią pamięć wirtualna system plików system wejścia/wyjścia zarządzanie dyskiem rozproszone systemy plikó

Systemy baz danych Wykłady i ćwiczenia

Lech Banachowski, Elżbieta Mrówka-Matejewska, Krzysztof Stencel | Bazy danych, Teoria baz danych

Książka "Systemy baz danych Wykłady i ćwiczenia" zawiera podstawowy materiał na temat programowania i architektury systemów baz danych. Głównie położono w niej nacisk na aspekty praktyczne dotyczące przygotowania baz danych i całej aplikacji baz danych po stronie serwera bazy danych. Książka składa się z czterech części. W pierwszej części książki "Systemy baz danych Wykłady i ćwiczenia" znajduje się materiał poświęcony prezentacji podstawowego języka baz danych SQL. Oprócz jego podstaw zaprezentowano rozszerzenia stosowane na serwerze Oracle dotyczące języka PL/SQL, wyzwalaczy, dużych obiektów binarnych oraz typów obiektowych. W drugiej części książki znajduje się materiał poświęcony architekturze relacyjnych i obiektowo-relacyjnych baz danych. W szczególności pokazano, jak ogólne zasady i protokoły są stosowane w konkretnym systemie zarządzania bazą danych na przykładzie serwera Oracle. Trzecia część ksiązki "Systemy baz danych Wykłady i ćwiczenia" zawiera materiał dotyczący trzech...