Вопросы по теме 'ctl'
Файл ctl загрузчика SQL - как пропустить столбцы
Скажем, в моей базе данных 4 столбца:
Column1, Column2, Column3, Column4
Мой файл данных - это файл CSV (разделены запятыми, длина столбца неизвестна):
xxx,yyy,zzz,000
a,bb,ccccc,ddddddd
1,2,3,4
CTL будет:
LOAD DATA
INTO...
10084 просмотров
schedule
08.05.2022
Вставить и обновить строки из файла в оракуле
У меня есть файл в linux, файл примерно такой: (у меня миллионы строк)
date number name id state
20131110 1089 name1 123 start
20131110 1080 name2...
1897 просмотров
schedule
30.10.2023
Управление данными и загрузка через SQLLDR
Может кто-нибудь, пожалуйста, помогите мне. Мне нужно загрузить данные из файла .dat в таблицу.
.DAT файл имеет Col1, Col2, Col3
В таблице есть Col1, Col4
Я хочу
Table.Col4 = DAT File Col2*Col3
Как я могу добиться этого с...
2063 просмотров
schedule
22.11.2022
Как бороться с ошибкой, что Nusmv не может проверить свойства ctl с входными переменными (ИВАР)?
МОДУЛЬ основной
IVAR v1: логическое значение;
VAR v2 : логическое значение;
ИМЯ СПЕЦИФИКАЦИИ p1 := AG (v1&v2);
файл ltlerror.smv: строка 8: свойство содержит входные переменные:
128 просмотров
schedule
30.12.2023