制約とは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ 制約

制約

せいやく

(1)制限や条件をつけて，自由に活動させないこと。

「時間に～される」「～を受ける」

(2)物事の成立に必要な条件や規定。

Từ điển Nhật - Nhật

Các từ liên quan tới 制約

CHECK制約

CHECK制約（チェックせいやく、英: Check Constraint）とは、データベースにおいてデータを追加、更新する際の有効なデータを定義する規則のことをいう。チェック制約はテーブルの１つの列に複数つけることができ、条件に合う（True）かもしくは合わない(False)のいずれかの値を取る式でなければならない。

制約プログラミング

制約プログラミングにおける制約は様々である。制約充足問題での制約やシンプレックス法における制約などがある。制約は通常、プログラミング言語に埋め込まれているか別個のライブラリで提供される。制約プログラミングは制約を論理プログラミングに埋め込んだ制約論理プログラミングが起源である。1987年、Jaffer

締約強制

締約強制（ていやくきょうせい）とは、契約を締結することが法令により義務づけられることをいう。契約自由の原則の例外であり、例えば一定の生活に必要な商品・役務（電気やガスや水道や鉄道や道路運送）を提供する業者に対して、消費者からの契約の申込みに対しては拒否をできないこととされる。締約強制とは - コトバンク

NOT NULL制約

NOT NULL制約（NOT NULLせいやく、Not Null Constraint）とは、データベースにおいてデータを追加、更新する際の、列に対する制約の一つで、その列に必ず意味のある値が設定されることを要求する。例えば、「従業員」テーブルにおいて、従業員氏名の定義を EMPNAME VARCHAR(20)

並行制約プログラミング

すでに追加された制約と整合性のある制約のみしかシステムに追加できない。一度追加された制約は永久にシステムにとどまる。これは制約の追加と観測の安定性につながる。制約は型である型(データタイプ)を集合ととらえれば、型は単一の制約である。さらに洗練された型システムは継承、特殊化やクラス化ができる。型を制約として見るとらえ方は、複数の制約

一意性制約

[・・・列名n 列nデータ型,] CONSTRAINT 制約名 UNIQUE (列名1,列名2,・・) ); 「CONSTRAINT 制約名」の指定は任意である。 ALTER TABLEステートメントを使うこともできる。実体完全性候補キースーパーキー主キー NOT NULL制約 CHECK制約

氷河制約説

説を裏付けるものであった。したがって、サンゴ礁そのものの成因としては、沈降説が有力である。しかしながら、100mより浅い部分では、氷河制約説が事実に合っているという。また、サンゴ礁以外にも、海水面低下を示す証拠が世界各地に見つかっている。現代に最も近い氷河期は約

制約論理プログラミング

）も先頭要素と残りの要素の2つの引数からなる項の特別な表現方法と見なすことができる。制約論理プログラミング言語のProlog Ⅲは無限木の等号制約と不等号制約を扱うことができる。有限領域（Finite Domains）は、有限集合について制約を扱う領域である。多くの制約充足問題はこの領域で表現することができる。変数の値として有