Cтраница 2
СУБД общего назначения - это сложные программные комплексы, предназначенные для выполнения всей совокупности функций, связанных с созданием и эксплуатацией базы данных информационной системы. Они позволяют определить структуру создаваемой базы данных, инициализировать ее и произвести начальную загрузку данных. Системные механизмы выполняют также функции управления ресурсами среды хранения, обеспечения логической и физической независимости данных, предоставления доступа пользователям к базе данных, защиты логической целостности базы данных, обеспечения ее физической целостности - защиты от разрушений. [16]
При вводе новых записей в журнал расчетов методами Новая и Записать записи вводятся как есть. Система не выполняет правила перерасчетов, а также правила взаимного вытеснения видов расчета. При использовании этих методов следует внимательно следить за логической целостностью журнала расчетов. [17]
При решении этой задачи руководствуются критерием минимизации сетевого трафика. Учитываются также ограничения на производительность системы. Иногда оказывается целесообразным создание дублирующих копий некоторых фрагментов базы данных в разных узлах сети, несмотря на возникающие здесь проблемы, связанные с сохранением логической целостности данных. [18]
Простейшей рубрикой является абзац - отступ вправо в начале первой строки каждой части текста. Абзац, как известно, не имеет особой грамматической формы. Поэтому его чаще всего рассматривают как композиционный прием, используемый для объединения ряда предложений, имеющих общий предмет изложения. Абзацы делаются для того, чтобы мысли выступали более зримо, а их изложение носило более завершенный характер. Логическая целостность высказывания, присущая абзацу, облегчает восприятие текста. Именно понятие единой темы, объединяющей абзац со всем текстом, есть то качественно новое, что несет с собой абзац по сравнению с чисто синтаксической единицей высказывания - предложением. Поэтому правильная разбивка текста диссертационной работы на абзацы существенно облегчает ее чтение и осмысление. [19]
Организация параллельного доступа пользователей к базе данных является довольно сложной задачей. Здесь нужно исключать коллизии, связанные с одновременным обновлением данных разными пользователями, с возможностью чтения одним пользователем объекта базы данных, который успел лишь частично обновить другой пользователь. Для их предотвращения в СУБД предусматривается техника транзакций и блокирования ресурсов данных. Транзакцией называют последовательность операций пользователя над базой данных, которая сохраняет ее логическую целостность. Если, например, из базы данных нужно удалить сведения о некотором поставщике в связи с тем, что он прекращает дальнейшие поставки, то вслед за этим необходимо удалить и сведения о запланированных этим поставщиком поставках продукции. [20]
Можно воспользоваться другим подходом, который в отношении вопроса правильности программ является не аналитическим, а синтетическим. Шаги программы, согласно этому подходу, выводятся логически из спецификации. Тем самым будет гарантирована их логическая правильность, несмотря на то что всякий выбор между альтернативными шагами в выводе будет определяться исходя из рассмотрения поведения программы в период ее исполнения. Приоритет здесь отдается получению первоначальной версии программы, которая с необходимостью дает правильные решения, в то время как усовершенствования, касающиеся эффективности, могут быть сделаны потом с помощью сохраняющих правильность преобразований. Спецификация играет теперь активную, определяющую роль на протяжении всего процесса создания программы. Она вынуждает каждый вновь создаваемый шаг выполнять некоторое логически необходимое требование, и, таким образом, общая цель постоянно находится в центре внимания программиста. В современной методологии программирования отдается предпочтение именно этому подходу, требующему поддержания логической целостности программы с самого начала ее разработки. [21]