Администратор БД (АБД)
человек или группа лиц, которые принимают решения; основные функции АБД: участие в разработке БД; контроль правильности функционирования БД.
Datatype ( Тип данных )
Предмет
Базы данных
Разместил
🤓 ritulya-ivanova-1990
👍 Проверено Автор24
вид хранимой информации в сервере и вид переменных в PL/SQL процедурах; в типе данных указывается какую информацию можно сохранить в поле базы данных.
Научные статьи на тему «Datatype ( Тип данных )»
Создание хранимых процедур в mysql
С помощью хранимых процедур можно управлять способом доступа к данным....
в MySQL.
datatype(size) – тип переменной, которая используется, и ее размер....
Переменные в MySQL могут принимать значения любого типа данных, например DATETIME, VARCHAR, INT и др....
Для создания переменной total_sale, в которой будет храниться список покупок типа INT, и которая по умолчанию...
будет равна 0, запишем код:
Для декларирования нескольких переменных одного типа можно записать код
Статья от экспертов
Объектные теории над списочными надстройками
В работе исследуются возможности использования методов семантического программирования, основанных на теории наследственно-конечных списочных надстроек (GES), для логического моделирования объектно-ориентированного подхода в программировании. На основе GES нами строится формальная система, аналогичная объектной дескриптивной логике OODL, которая позволяет, в отличие от OODL, естественным образом моделироватьт акие важные понятия программирования как упорядоченные структуры данных (например, списки и массивы). Формальная система, которая определяется и исследуется в данной работе, может служитьдля построения логических семантик языков программирования, в частности, объектно-ориентированного языка Libretto
Creative Commons
Научный журнал
Дедуктивная верификация и реализация предикатной программы инвертирования списков
Представлен метод предикатного программирования в применении к известной программе инвертирования односвязных списков. Данная программа признана крайне трудной для дедуктивной верификации (verification challenge). Описываются построение и дедуктивная верификация предикатной программы инвертирования списка как объекта алгебраического типа. Эффективная императивная программа получена применением оптимизирующих трансформаций. Дедуктивная верификация предикатной программы на порядок проще верификации аналогичной императивной программы, использующей указатели.The simple predicate program of reversing a list as datatype object is presented. Deductive verification of this program is simple. The imperative program of reversing a linked list is obtained by the set of program transformations for the predicate program.
Creative Commons
Научный журнал
Еще термины по предмету «Базы данных»
Внешнее событие (EXTERNAL EVENT)
событие, происходящее в среде или проблемной области информационной системы.
Запись переменной длины
логическая запись, длина которой определяется значением одного из ее полей.
- Тип данных (data type, datatype)
- Тип данных
- Тип данного
- Примитивные типы данных
- Агрегатные типы (данных)
- Составной тип данных
- Ссылочные типы данных
- Символьный тип данных
- Строковый тип данных
- Абстрактный тип данных (АТД)
- Тип
- Дань
- Дан
- Том данных
- Дания
- Данные
- Дана
- Фары типа В и типа F3
- Тип почвы
- Тип яровизации
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
