SystemVerilog дозволяє користувачам вказувати обмеження в компактному декларативному вигляді, які потім обробляються внутрішнім розв’язувачем для генерації випадкових значень, які задовольняють усі умови. В основному обмеження – це не що інше, як спосіб, який дозволяє нам визначити, які юридичні значення мають бути призначені випадковим змінним.
виклик функції всередині обмеження називається функцією в обмеженнях.
- Функція буде записана поза блоком обмежень.
- Логіка обмежень повинна бути записана всередині функції, оскільки визначення функції та виклик функції повинні бути розміщені всередині блоку обмежень.
Під час визначення стану обмеження унікального або первинного ключа ви можете вкажіть індекс для Oracle, який буде використовуватися для примусового виконання обмеження, або ви можете наказати Oracle створити індекс, який використовується для примусового дотримання обмеження. Ви можете вказати using_index_clause, лише коли ввімкнено обмеження унікального або первинного ключа.
З’єднання двох або більше обмежень можна формалізувати за допомогою оператора &&. Ми можемо просто поставити оператор && між двома обмеженнями, щоб сформувати кон’юнкцію. Як ми знаємо, як працює оператор &&. Він поверне true, якщо обидва обмеження задоволені, інакше ми отримаємо false.
Використовуються обмеження щоб обмежити тип даних, які можуть входити в таблицю. Це забезпечує точність і достовірність даних у таблиці. Якщо існує будь-яке порушення між обмеженням і дією з даними, дія переривається. Обмеження можуть бути на рівні стовпця або таблиці.