[发明专利]数据库表的约束满足软件工具

摘要

提供了用于分析约束的技术和解决方案。公开的实施例用于确定表是否包含有效元组，并且如果包含，则确定第一有效元组的最小索引。确定该表是否包含有效元组可以提供约束的集合分别对于正约束和负约束是否被违反或被限定的早期指示。确定第一有效元组的最小索引可以加速后续的约束分析。进一步公开的实施例提供用于从约束的集合中移除重复值和通配符值，这有助于负约束分析。可以诸如通过用户界面来提供约束的集合是否被违反或被限定的指示。软件可以基于所提供的指示来限制可能导致约束违反的值的选择。

主权项

1.存储用于使得计算系统执行约束分析的计算机可执行指令的一个或多个非暂时性计算机可读存储介质，处理包括：接收确定包括域、值、或其组合中的两个或更多个的集合相对于约束的集合是有效还是无效的请求；接收表示所述约束的集合的表，该表包括多个行和多个列，每行具有行ID，每列具有列ID；接收所述多个列中的至少第一列的域，该域包括表示所述至少第一列的有效值的多个值；接收所述多个列中的至少第二列的域或单个值，该域或单个值表示所述至少第二列的一个或多个有效值；顺序分析所述多个列中的第一选定列的行，以确定所述多个行中的具有与第一选定列的值相匹配的值或者在所述第一选定列的域内的值的第一行；将所述表的第一有效元组的假定最小索引设置为所确定的第一行的索引；分析所确定的第一行处的第二选定列的值，以确定该值是否与第二选定列的值相匹配，或者是否在第二选定列的域内；将所述表的第一有效元组的最小索引的值确定为所述多个行中的行的索引，其中该行的列值与相应列的值相匹配或者在相应列的域内，或者确定所述表不包括有效元组；和发送所述约束的集合是否被违反或被限定的指示。