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

说明书

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

技术领域

本公开一般涉及分析约束，诸如可以以表格(tabular form)形式表达的约束。具体实施方式涉及确定负约束表或正约束表的第一行有效值。进一步的实施方式涉及从负约束表中移除重复值和通配符值，以有助于其分析。

背景技术

在许多情景中，可以使用多种特性来建模或分析对象。然而，仅允许某些特性值的组合。例如，在建模汽车时，可以有有限数量的颜色可用于汽车。虽然理论上也许汽车可以是任何颜色的，但是在制造情景中，不是可用颜色值之一的颜色值表示汽车的无效规范(invalid specification)。

类似地，对象的特性可以是相互关联的。继续汽车的示例，如果选择了“标准变速器”的汽车类型，则可以将其它传动系选择缩小到最初当变速器类型尚未被选择时是可用的传动系组件的子集，包括单个值。类似地，如果选择“离合器踏板”作为汽车的一个组件，则可以为汽车选择的唯一变速器类型可能是“标准变速器”。

因此，特性可以具有值的范围或域。然而，只有某些特性值的组合可以是有效的，即使这些值在初始域内。对于复杂的对象，诸如汽车，可能有大量的组件用于生产汽车，每个组件可以具有值的范围或域，以及与其它组件的各种相互关系。

当用户实例化对象(例如，设计新汽车或订购新汽车)时，用户的选择表示有效的选择是很重要的。否则，可能会出现问题，诸如无法组装汽车，或工程故障，这可能导致生命、财产和潜在责任的损失。

根据约束分析配置值以例如确定一组值是否有效或识别可能可用的值的典型系统，可能会遇到许多问题。例如，特别是当存在大量特性或约束时，处理时间可能相对较长，这对用户来说可能不方便或不切实际。在一些情况下，分析系统可能无法执行分析，直到为所有特性分配了值。如果选择约束值花费了大量的时间，那么用户得知他们的选择是无效时会感到沮丧。此外，可能不会向用户提供针对约束违反的来源的反馈，这无助于用户补救问题。配置分析系统也可能会经受错误的确定，包括某些情景下的假正性结果或假负性结果。配置分析系统可能不能够正确处理某些类型的约束、约束值或约束规范(例如，包括通配符值、负约束或重复约束规范的约束)。因此，在分析约束(包括可以以表格形式指定的约束)方面存在改进的空间。

发明内容

提供本发明内容是为了以简化的形式介绍一些概念，这些概念将在下面的具体实施方式中进一步描述。本发明内容不旨在限定所要求保护的主题的关键特征或必要特征，也不旨在用于限制所要求保护的主题的范围。

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

根据一个方面，提供了用于确定表示约束的集合的表的第一有效元组的最小索引的方法。接收请求以确定包括域、值、或其组合中的两个或更多个的集合相对于约束的集合是有效的还是无效的。值或域可以表示与特定对象类型相关联的特性的值或域，并且可以包括通过用户输入或响应于API调用而提供的值。