| Subject | English | Korean |
| stat. | chance constraint | 우연조건제약 |
| math. | chance constraint | 우연조건 (제약) |
| comp., MS | CHECK constraint | CHECK 제약 조건 (A constraint that allows for business rules that span multiple tables. For example, the Order table could have a CHECK constraint that would prevent orders for a customer from exceeding a credit limit defined for the customer in the Customer table) |
| comp., MS | column-level constraint | 열 수준 제약 조건 (A constraint definition that is specified within a column definition when a table is created or altered) |
| comp., MS | Constraint Service | 제약 조건 서비스 (A service responsible for answering HWS constraints-related querying by evaluating constraint clauses that are based on facts provided by the fact store manager and the relevant fact retrievers) |
| comp., MS | 2-element constraint | 2-요소 제약 조건 (A constraint that applies to two elements, such as two classes or two associations. The constraint is shown as a dashed arrow from one element to the other, labeled by the constraint string in braces ({ })) |
| comp., MS | flexible constraint | 유연성 있는 제한 (A constraint that does not tie a task to a single date. Flexible constraints are As Soon As Possible, As Late As Possible, Finish No Earlier Than, Finish No Later Than, Start No Earlier Than, and Start No Later Than) |
| comp., MS | generic type parameter constraint | 제네릭 형식 매개 변수 제약 조건 (A way of limiting the types that can be specified for a generic type parameter. For example, types substituted for the type parameter can be constrained to inherit from a particular type, to implement a specific interface, to provide a parameterless constructor, and so on) |
| comp., MS | inflexible constraint | 고정적인 제한 (A constraint that ties a task to a date. The inflexible constraints are Must Finish On and Must Start On) |
| comp., MS | integrity constraint | 무결성 제약 조건 (A property defined on a table that prevents data modifications that would create invalid data) |
| math. | linear constraint | 선형제약 |
| comp., MS | mandatory constraint | 필수 제약 조건 (A constraint that requires every instance of an object type's population to play that role. With a disjunctive mandatory role constraint, each member of the object type's population must play at least one of the roles indicated) |
| comp., MS | OR constraint | OR 제약 조건 (An indicator of a situation in which any instance of a class can participate in only one association at one time. The constraint is shown as a dashed line connecting two or more associations, which must have a class in common) |
| comp., MS | parameterless constructor constraint | 매개 변수가 없는 생성자 제약 조건 (A restriction on a generic type parameter, such that types substituted for that type parameter must provide a parameterless or default constructor) |
| comp., MS | precedence constraint | 선행 제약 조건 (A control flow element that connects tasks and containers into a sequenced workflow) |
| comp., MS | project constraint | 프로젝트 제한 (A factor that will limit the project management team's options. For example, a predefined budget is a constraint that may limit the team's scope, staffing, and schedule options) |
| comp., MS | referential constraint | 참조 제약 조건 (An element of an SSDL schema that specifies the direction of an association with FromRole and ToRole attributes. A referential constraint corresponds to a CSDL navigation property) |
| comp., MS | uniqueness constraint | 고유성 제약 조건 (A constraint that prohibits repetition of individual data or combinations of data) |