魔术六角不能限制自己
我试图解决Prolog中的 Magic Hexagon 问题，在维度5中，现在（？）。我首先通过使用2D列表创建布局。然后，我尝试约束每个元素的列表（这实际上是一个列表）。 然而，我不能让它工作，这里是我的代码，之后的所有更新： code>： - use_module（library（clpfd））。 求解（Dim）： - 长度（L，5），％define 5对角线 偏移量为Di
..
其他数据库
F＃成员对元组的约束
我通常有一个“哦是”的时刻写F＃，当我意识到我需要一个额外的价值。这通常通过向被传递的元组添加另一个值来容易地完成。然而，这意味着各种地图/排序/收集/等。需要更新，特别是函数fst / snd只处理长度为2的元组。 这不是一个大问题，但在探索式开发过程中我会写一个帮助来缓解烦恼： let inline get2（t：^ a）=成员get_Item2：unit - > string
..
将来自另一个表的数据放入检查约束中
我有表说table1与colum说checkColumn， 现在我想把一个检查约束到字段checkColumn，这将只允许在那里的数据另一个表说某些条件的表2， 我试过这样， ALTER TABLE table1 ADD CHECK（checkColumn =（从table2选择field1，其中field2 ='ABC'））//选择不是标量 但是我意识到它
..
错误：“密钥...不存在于表”
我有一个表中有一个字符变化（12）字段，它是它的PRIMARY KEY。我运行此查询 SELECT * FROM bg WHERE bg_id ='470370111002' 从表中选择一行。所有看起来不错。然后尝试。 INSERT INTO csapp_center_bgs（bg_id，center_id）VALUES（'470370111002'，2）
..
跨多个列的排列的唯一postgres约束
在Postgres数据库中给出以下三列：first，second，third;如何创建一个约束，使排列是唯一的？ 例如。如果db，（'bar'，'shiz'，'foo'）中存在（'foo'，'bar'，'shiz'） ）将被排除为非唯一索引。 解决方案 您可以使用hstore创建唯一索引： CREATE UNIQUE INDEX hidx ON test使用BTREE（hst
..
SWI-Prolog和约束，库CLP（FD）
我使用clpfd库在（swi）prolog中约束。 我试图识别一组约束封装或包含其他，例如X 运算符给我想要的结果，所以我诉诸使用不（Co1＃/ \＃\Co2）其中Co1和Co2是约束。这对于个体约束是很好的，但是我想将约束的连接传递给Co1和Co2。 现在这里是rub。当我尝试 X＃
..
PostgreSQL：是否可以为PRIMARY KEY或UNIQUE提供自定义名称？
当我写： CREATE TABLE accounts（ username varchar ， 我获得名为的主键： accounts_pkey 可以分配自己的自定义名称，例如“accounts_primary_key”？ UNIQUE 的相同故事。 我在PostgreSQL文档中找不到它。 提前感谢。
..
如何对外键引用字段设置数据库完整性检查
我有四个数据库表，如下所示： 预订 ID_Book | ID_Company |说明 BookExtension ID_BookExtension | ID_Book | ID_Discount 折扣 ID_Discount |说明| ID_Company 公司 ID_Company |描述 任何 BookExtension 通过外键记录间接指
..
在违反约束时显示自定义消息PL / SQL
我正在写一个pl / sql过程。我有一个约束不允许值低于0和500以上的列。如果违反此约束，我需要显示一个自定义消息（例如“ID超出范围”）。目前这是异常，也是获取的输出。有另一个过程输出错误，因此使用raise_applcation_error。 异常 当VALUE_ERROR然后 raise_application_error（-20002，'客户ID超出范围'）;
..
PostgreSQL中的约束和断言
我试图创建一个简单的数据库，其中有一个客户数据表和一个订单数据表。我试图写一个约束，使得客户不能在给定日期订购超过特定数量的项目。这是我有的： CREATE TABLE CUSTOMER （ CUSTOMER_NUM CHAR（3）PRIMARY KEY， CUSTOMER_NAME CHAR（35）NOT NULL， STREET CHAR（15）， CITY CHAR（15）
..
多重整数线性规划中的约束
我正在研究一些代码在R优化我的幻想足球阵容，但我有一些约束的困难。 名单必须包括： 1 QB 2 RB 2 WR 1 TE 1 FLEX（RB，WR或TE） $ 200以下的总成本 我的问题是，我的代码想选择FLEX位置作为已经选择为WR，RB或TE的播放器。这里是我使用的代码，我有一个表，我导入与播放器，位置，点和成本的列。在表中，任何RB，WR或TE都与位置复制为F
..
Magento数据库错误：完整性约束违例：1452无法添加或更新子行：外键约束失败
现在我正在为magento产品，类别和属性集编写自定义importscript。我知道这是坏的做法，使用裸mysql和php，但这是它的目前的方式。 在创建一个产品与我的自定义函数，这个错误，第一个产品： 致命错误：未捕获异常'PDOException'，消息'SQLSTATE [23000]： 完整性约束违反：1452无法添加或更新子行： a外键 约束失败（`shopname`.`c
..
任意约束的R优化
我在Excel中做过，但需要在R中运行一个适当的模拟。 我需要最小化函数 F / code>（ x 是向量），同时具有 sum（x）= 1 x 中的值是 [0,1] ，另一个函数 G（x） G_0 。 我尝试过 optim 和 constrOptim 。他们没有给你这个选择。 解决方案 您所指的问题是（假设）使用非线性约束的非线性优化。这是最一般的优化问题之一。 我用于这
..
DBUnit Sybase无法CLEAN_INSERT
根据DBUnit文档链接，它应该支持在使用DatabaseSequenceFilter时使用CLEAN_INSERT 。 com时，我得到以下异常。 sybase.jdbc2.jdbc.SybSQLException：引用完整性约束中的依赖外键约束违例。 dbname ='my_db'，table name ='tbl_child'，constraint name ='fk_tbl_chi
..
CHECK CONSTRAINT文本由SQL Server更改。如何避免或解决此问题？
当我在表上定义 CHECK CONSTRAINT 时，我发现存储的条件子句可能与我输入的不同。 示例： 更改表T1添加约束C1 CHECK（field1 in（1,2,3）） 查看存储内容： select cc.Definition from sys.check_constraints cc inner join sys.objects o on o.ob
..
在SQL Server中删除之前，我可以检查约束吗？
我有以下情况。主表和许多其他表与外键链接在一起。现在，当我想删除主表中的一行时，会发生ConstraintsViolation，这是意图和好的。现在我想要能够检查ConstraintsViolation将在我触发删除行事件之前发生。 这是否可能？ 解决方案 If Exists（Select * From OtherTable 其中OtherTableFKColumn = Main
..
投影解决方案
是否有可能告诉MiniZinc在变量集的子集上项目解决方案？或者是否有任何其他方法来枚举所有的解决方案是唯一的wrt到一些变量的子集的评估？ 我试图在MiniZinc中直接使用FlatZinc注释，但它不工作，因为平展过程添加了更多的definitions_var注释，我的注释被忽略。 解决方案 我在MiniZinc 2.0中尝试了以下模型（ https://www.minizinc
..
如何找到崩溃的约束？
有时我会收到类似这样的错误 - 没有任何提示TextView或Button的含义： 无法同时满足约束。 以下列表中的至少一个约束可能是您不想要的约束。尝试这样：（1）查看每个约束，并尝试找出你不期望的; （2）找到添加了不需要的约束或约束并修复它的代码。 （注意：如果你看到NSAutoresizingMaskLayoutConstraints，你不明白，请参阅UIView属性的文档翻译au
..
是否可以使用SQL约束来防止在条件成立时更改特定值？
我知道SQL约束可以强制数据满足有效性标准。然而，如“学生的成绩只能在”完成“标志为假时更新的标准怎么样？这种更新标准必须由应用程序处理？ 解决方案 简单的答案：不，SQL约束本身不能阻止更改“ 几种SQL约束：CHECK，DEFAULT，NOT NULL，UNIQUE，Primary Key和Foreign Key。 每个都可以单独或组合地限制或影响列的值，但不能阻止UPDATE到
..
返回自定义验证器错误Grails
我只获得默认验证器消息。我做错了什么？ class Questao { static hasMany = [alternativas ：Alternativa] static constraints = { alternativas（validator：{val，obj - > if（val.size（）
..