Актуальная информационная база (ACTUAL INFORMATION BASE)
информационная база, существующая в указанный момент или период времени, который квалифицируется как «сейчас», и отражающая дополнительные высказывания, отличные от необходимых.
Datatype ( Тип данных )
Предмет
Базы данных
👍 Проверено
Автор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
Научный журнал
Еще термины по предмету «Базы данных»
Альтернативный ключ (alternate key)
ключ-кандидат в отношении, который не используется в качестве внешнего ключа таблицы.
Select ( Выбор )
выбор строки данных из одной или нескольких таблиц .
- Тип данных (data type, datatype)
- Тип данных
- Тип данного
- Примитивные типы данных
- Агрегатные типы (данных)
- Составной тип данных
- Ссылочные типы данных
- Символьный тип данных
- Строковый тип данных
- Абстрактный тип данных (АТД)
- Тип
- Дань
- Дан
- Том данных
- Дания
- Данные
- Дана
- Фары типа В и типа F3
- Тип почвы
- Тип яровизации
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
