問題タブ [ctl]

データベースに入力されるデータの行を含む CTL ファイルがある場合に、メモ帳ファイルをプログラムで編集できるかどうか疑問に思っていました。

例：

テキストファイル(私が知っている)を実際にクエリできないので、vb.netを介してこのctlファイルのデータをプログラムで更新できますか?

ありがとう！

Oracleデータベースにデータを挿入するには、csvファイルを含むctlファイルを使用する必要があります。今までは、sqlloader を使用して行われていました。しかし、DBI Oracle CPAN を使用して同じ作業を行いたいのですが、その方法を自問自答しています。

CTL ファイルの例を次に示します。

これはほんの一例です。

私の質問は簡単です: - DBI Oracle CPAN モジュールでは、CTL ファイルで CSV を使用できますか? - または、SQL 要求を生成するには、CSV ファイルと CTL ファイルの両方を書き直す必要がありますか?

私はCSVファイルを持っています。csvファイルの中身を読み込みたいoracle database with SQLLDR.

私のSQLLDRは

私のloader.ctlは

テーブル

私のdata.csv：

行 1、2、3 = 成功しましたが、行 4 と 5 は拒否されました。行 4 と 5 に問題があることはわかっています。4 つの列があります。

1. この問題を解決するには？
2. ロード中に「合計」フィールドの後に現在の日付を挿入できますか?

より多くのフィールドを含む次のようなテーブルがありますが、すべてではありません。

テーブル：

フィールドと他のすべての人にデータを挿入するctlがありid_date_suscriptionますが、別のファイルにnulid_date_unsuscriptionフィールドを残してフィールドを更新するための情報がありますid_date_unsuscriptionが、ctlでできるかどうか、または別の方法でそれを行うことはできません。

Linuxにファイルがあります。ファイルは次のようなものです:(何百万もの行があります)

そして、私はOracleに次のフィールドを持つテーブルを持っています:

問題は、データを , で挿入できることを読んだことですsqlloader(何百万もの行があり、挿入するテンポラルテーブルを作成し、後でトリガーを使用して他のテーブルを更新することはできません) 問題は、ユーザーがいるということです開始日 X、たとえば、番号 1089 の開始日は 20131110 で、このユーザーの end_date は 20131114 です。最初にテーブルに start_date を挿入し、後で end_date を見つけたら、その番号のテーブルを更新する必要があります。私が挿入しているのは、私の例では 1089 で、終了日は 20131114 です。

どうすればctlや他のものでそれを行うことができますか.

誰が私を助けることができます。ありがとう

NuSMV でモデル チェック用の有効な CTL または LTL 式を作成しようとしています。

ゲーム内に変数があり、アクターがお互いを捕まえようとして走り回っています。変数は State_Of_Game : {Win,Lose,Playing}

そして、すべての開始状態から、ゲームは勝ったり負けたりする可能性があることを表現したいと思います。

では、これを CTL または LTL でどのように実装すればよいでしょうか?

AG (S_O_G = Win | S_O_G = Lose) のようなものを考えていましたが、すべての開始状態から見られるように実装する方法がわかりません。

NuSMV プログラムがあり、プログラム (ゲーム) が 5 タイム ステップ未満で勝てないことを CTL または LTL で指定する必要があります。またはより形式的: ゲームに勝つためには、少なくとも 5 つのタイム ステップが必要です。

私は明示的な時間変数を持っていないので、検証用に作成したくありません。すでに行われた移行の量を数える方法はありますか? 訪問した州の数、そのようなものですか？

現時点で私はこれを持っています：

次の CTL 式は同等ではないと言われています。しかし、一方が真で他方が真でないモデルを見つけることができません。CTL は計算時相論理です。

フォーミュラ 1: AF p OR AF q
フォーミュラ 2: AF( p OR q )

1 つ目は、begin 状態から始まるすべてのパスには、p が保持される未来がある、または begin 状態から始まるすべてのパスには、q が保持される未来があるということです。

2 番目: 開始状態から始まるすべてのパスには、p OR q が成立する未来があります。

csv ファイルには、次のように異なる形式の日付の列があります。

2014/02/03 00:10
2014/1/02 7:25:00
2013/7/03 8:30:00 午後

SQL-LOADER で CTL ファイルに適切な日付を設定するには?
column1 "to_date(:column1, 'DD/MM/YYYY HH24:MI:SS')"