数据库表的约束满足软件工具

摘要

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