A constraint of the form cC that in

A constraint of the form cC that involves conditions C that are a Boolean
combination of conditions involving only components of tuples and constants is
denoted by:

ผลลัพธ์ (ไทย) 2:

ข้อ จำกัด ของ cC รูปแบบที่เกี่ยวข้องกับเงื่อนไข C ที่มีบูลีน
รวมกันของเงื่อนไขที่เกี่ยวข้องกับชิ้นส่วนเดียวของ tuples และค่าคงที่มีการ
แสดงโดย:

ผลลัพธ์ (ไทย) 3:

ข้อจำกัดของรูปแบบ CC ที่เกี่ยวข้องกับเงื่อนไข C ที่มีการรวมกันของเงื่อนไขที่เกี่ยวข้องกับตรรกะ
เฉพาะส่วนของทูเปิลและค่าคงที่คือ
แทน โดย :