问题标签 [ctl]

我只是想知道是否可以以编程方式编辑记事本文件，其中我有一个 CTL 文件，其中包含输入数据库的数据行。

例子：

由于我无法真正查询文本文件（我知道），无论如何我可以通过 vb.net 以编程方式更新此 ctl 文件上的数据吗？

谢谢！

我必须使用一些带有 csv 文件的 ctl 文件将数据插入到 oracle 数据库中。到目前为止，它已经通过使用 sqlloader 完成。但是，我想使用 DBI Oracle CPAN 来做同样的工作，我问自己该怎么做。

这里有一个 CTL 文件的例子

这只是一个例子。

我的问题很简单： - 使用 DBI Oracle CPAN 模块，我可以将 CSV 与 CTL 文件一起使用吗？- 或者，我必须重新编写 CSV 和 CTL 文件来生成 SQL 请求？

我有 CSV 文件。我想将 csv 文件的内容加载到oracle database with SQLLDR.

我的 SQLLDR 是

我的 loader.ctl 是

桌子

我的 data.csv ：

第 1、2、3 行 = 成功，但第 4 行和第 5 行被拒绝。我知道问题出在第 4 行和第 5 行有四列。

1. 如何解决这个问题呢？
2. 在加载过程中，我可以在“总计”字段之后插入当前日期吗？

我有一个如下表，其中包含更多字段，但没有全部放完。

桌子：

我有一个 ctl 插入数据id_date_suscription填充该字段和其他所有人，但将 nulid_date_unsuscription字段留在另一个文件中我有更新该字段的信息id_date_unsuscription，但如果我可以做一个 ctl，或者另一个没有办法做到这一点。

我在 linux 中有一个文件，该文件类似于：（我有数百万行）

我在 Oracle 中有一个包含以下文件的表：

问题是我读到我可以使用 a 插入数据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 程序，我需要在 CTL 或 LTL 中指定程序（这是一个游戏）不能在少于 5 个时间步长内获胜。或更正式：赢得比赛至少需要 5 个时间步长。

我没有明确的时间变量，也不想为验证做一个。有什么方法可以计算已经进行的转换数量吗？访问状态的数量，诸如此类？

目前我有这个：

我被告知以下 CTL 公式不等价。但是，我找不到一个模型是正确的，而另一个不是。CTL 是一种计算时间逻辑。

公式 1： AF p OR AF q
公式 2： AF( p OR q )

第一个说：对于从开始状态开始的所有路径，都有一个 p 成立的未来，或者对于从开始状态开始的所有路径，都有一个 q 成立的未来。

第二：对于从开始状态开始的所有路径，都有一个 p OR q 成立的未来。

在 csv 文件中，我有列，其中具有不同格式的日期如下：

2014 年 2 月 3 日00:10
2014 年 1 月 2 日 7:25:00 2013 年 7 月 3 日
8:30:00 下午

如何在 SQL-LOADER 中为 CTL 文件设置正确的日期？
column1 "to_date(:column1, 'DD/MM/YYYY HH24:MI:SS')"

我目前正在写我的硕士论文，并面临着在时间逻辑中指定和验证我的方法。

在我的情况下，哪种时间逻辑最适合使用？我真的很想得到一些关于我的方法以及如何进行的反馈

我的模型由参与者组成，这些参与者将同时执行。对于每个参与者，可以注册规则。它们看起来像这样：

例如

这意味着 c 必须收到来自 b 的消息和来自 c 的消息，才能被允许向 d 发送消息。

在其中一个参与者发送或接收消息之前，我的原型会检查参与者是否被允许执行该操作。到目前为止，我想验证该算法是否执行以下操作：

1. 如果不存在其条件成立的规则：禁止该操作

2. 如果存在条件成立且禁止该操作的规则：禁止该操作

3. 如果存在条件成立的规则，则它允许该操作，并且不存在其条件成立且禁止该操作的其他规则：允许该操作