Логічне видалення даних

Для посилення підтримки цілісності даних багато розробників перешкоджають фізичній видаленню інформації – вони замінюють його логічним видаленням Найбільш поширеним методом є створення спеціального бітового стовпця прапора видалення Коли користувач видаляє деякий рядок з клієнтського застосування, тригер маркує її як віддалену, встановлюючи прапор в значення true Прапор логічного видалення може бути реалізований декількома способами

Логічні шрифти. Функції виводу тексту і зміни колірних характеристик

Додатки працюють не з фізичними, а з логічними шрифтами Логічний шрифт це обєкт GDI, що містить вимоги до шрифту з боку додатки Ці вимоги аналізуються підсистемою GDI, і з допомогою драйверів шрифтів підбираються відповідні зареєстровані в системі фізичні шрифти Логічний шрифт має дескриптор За умовчанням в контекст пристрою завантажений растровий шрифт з символами змінної ширини […]

Численні висловів

У цьому і наступному розділах наведено дуже короткий вступ до деяких з основних понять логіки У справжньому розділі розглядається числення висловів, а в наступному – числення предикатів Але слід відразу ж зазначити, що з точки зору розглянутої теми числення висловів в кінцевому результаті не має надто великого значення головна основне завдання поточного розділу насправді полягає […]

РОБОТА З послідовний файл

Між читанням послідовного файлу і діями оператора READ (див розд 44), що читає послідовний список елементів даних, ранених в операторах DATA, існує чимала схожість У разі файлу замість оператора READ використовується розширений варіант оператора INPUT, а елементи даних зникають з поля зору і запамятовуються аналогічним чином в послідовному файлі

Автоматні проектування програм. Алгоритмізація і програмування задач логічного керування

А. А. Шалит Федеральний науково-виробничий центр ГУП “НВО” Аврора “” Санкт-Петербурзький державний інститут точної механіки й оптики (Технічний університет) SoftCraft Викладаються основи технології алгоритмізації та програмування задач логічного керування, що забезпечує підвищення “безпеки” програмного забезпечення. Описувана технологія може бути названа технологією станів або, більш точно, автоматною технологією, а відповідна область програмування – автоматним програмуванням.