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)

ключ-кандидат в отношении, который не используется в качестве внешнего ключа таблицы.

Ансамблирование

метод, комбинирующий различные модели для повышения точности прогнозирования; такой способ дает хорошие результаты в силу того, что точные прогнозы склонны подтверждать друг друга, чего не делают ошибочные.

Ассоциативные правила

метод обучения без учителя, обнаруживающий ассоциации среди элементов данных, например товары, которые часто покупают вместе; есть три типичные ассоциативные метрики: поддержка {X} показывает, как часто появляется X; достоверность {X->Y} показывает, как часто Y появляется в присутствии X; лифт {X->Y} показывает то, как часто X и Y появляются вместе, в сравнении с тем, как часто они появляются по отдельности.

Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

Напиши термин
Выбери определение из предложенных или загрузи свое
Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек

Попробовать тренажер