約束語言（constraint language）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：約束語言
- 外文名：constraint language
- 所屬學科： 計算機科學技術
- 公布時間：2018年
- 出處：計算機科學技術名詞
定義,出處,
定義
描述變數以及變數之間關係的一種形式化語言。
出處
《計算機科學技術名詞 》第三版
約束語言
相關詞條
- 約束語言
約束語言（constraint language）是2018年公布的計算機科學技術名詞。定義描述變數以及變數之間關係的一種形式化語言。1出處《計算機科學技術名詞 》第三版...
- 約束(結構化查詢語言)
約束類型 主鍵約束（Primary Key constraint）：要求主鍵列數據唯一，並且不允許為空。唯一約束（Unique constraint）：要求該列唯一，允許為空，但只能出現一個空值。檢查約束（Check constraint）：某列取值範圍限制，格式限制等，如有關年齡、信箱（必須有@）的約束。默認約束（Default constraint）：某列的默認值，如...
- 語境有關語言
對象約束語言（OCL）是一種語境有關語言，用於編寫導航表達式、布爾表達式和其他查詢語句。它可用於構建約束表達式、監護條件、動作、前置條件和後置條件、斷言以及其他UML表達式。技術簡介 對象約束語言是一種形式化語言，它主要用於表示UML中模型上的約束。UML的圖形如類圖，通常不可能詳細地表達系統的各個細節，為了表達...
- restrict(C語言中的一種類型限定符)
restrict，C語言中的一種類型限定符（Type Qualifiers），用於告訴編譯器，對象已經被指針所引用，不能通過除該指針外所有其他直接或間接的方式修改該對象的內容。簡介 restrict是c99標準引入的，它只可以用於限定和約束指針，並表明指針是訪問一個數據對象的唯一且初始的方式.即它告訴編譯器，所有修改該指針所指向記憶體中...
- 語言規範化
但是文藝家們為了藝術的需要，為了塑造人物的典型，會選擇使用生活中常見的、或有可能發生的不合乎規範的語言現象，甚至於故意不正確地使用詞語和語法，尤其是在喜劇和相聲的語言中表現得更為突出。不能把這種現象看作是新生的，有發展前途的，只能把它當作一種藝術手段。規範並不是約束和限制語言的發展，而是促進語言...
- 約束(數學邏輯函式名詞)
約束（資訊理論）；約束算法，如SHAKE或LINCS。其他用途 生物制約因素使得人群抵抗進化變化，例如，運營商的約束，制約理論，企業管理；裝載量規或結構量規，工程約束；限於文學，文學；例如，Oulipian約束；最優性理論，在語言學中，一種基於約束的理論，其主要在語音學中具有影響力。
- Alter(資料庫語言)
Alter是資料庫SQL語言的修改語句，可以用來修改基本表，其一般表示格式為：ALTER TABLE[改變方式]基本介紹 資料庫SQL語言的修改語句，可以用來修改基本表，其一般表示格式為：ALTER TABLE[改變方式]改變方式：· 加一個欄位: ADD "欄位 1" "欄位 1 資料種類"· 刪去一個欄位: DROP "欄位 1"· 改變欄位名稱...
- 聲明式編程語言
一些邏輯編程語言（如Prolog）和資料庫查詢語言（如SQL）雖然原則上是聲明性的，但也支持程式式編程風格。編程 聲明性編程是一個總括性術語，包括許多更為人熟知的編程範例。約束編程 約束編程以指定目標解決方案屬性的約束形式表示變數之間的關係。通過給每個變數賦予一個值來解決這組約束，以便解決方案與約束的最大數目...
- 約束(漢語詞語)
約束是一個漢語詞語，讀音：yuē shù，意思是指有纏縛，束縛，限制，管束，處罰等意思。古有盟約之意，如《戰國策·燕策》：“堅明約束。”中約束一詞。釋義 1、[Bind;Commit] 束纏。2、[Check;Restrain;Control;Restrict] 限制管束使不超越範圍。3、[Oath (treaty) of alliance] 盟約,規約 堅明約束。——...
- 邏輯式語言中非線性約束求解技術與系統的研究
《邏輯式語言中非線性約束求解技術與系統的研究》是依託北京工業大學，由劉椿年擔任項目負責人的面上項目。項目摘要 綜合資源規劃(IRP)和需求方管理(DSM)技術是當前國際上倡導的一種先進的資源規劃方法和管理技術,反映了20世紀90年代以來電源規劃和用電管理的新思維,它適合市場經濟運行機制,當前比較成熟的是套用在電力...
- Attribute(計算機語言)
使用該屬性可以使得變數或者結構體成員使用最小的對齊方式，即對變數是一位元組對齊，對域（field）是位對齊。使用該屬性對struct或者union類型進行定義，設定其類型的每一個變數的記憶體約束。當用在enum類型定義時，暗示了應該使用最小完整的類型 （it indicates that the smallest integral type should be used）。下面...
- interface(面向對象編程語言中接口操作的關鍵字)
interface是面向對象編程語言中接口操作的關鍵字，功能是把所需成員組合起來，用來封裝一定功能的集合。它好比一個模板，在其中定義了對象必須實現的成員，通過類或結構來實現它。接口不能直接實例化，即ICount ic=new iCount()是錯的。接口不能包含成員的任何代碼，只定義成員本身。接口成員的具體代碼由實現接口的類...
- 約束變數
量化一個合式公式中的某個變數所得到的表達式也是合式公式。如果一個合式公式中某個變數是經過量化的，就把這個變數叫做約束變數，否則就叫它為自由變數。在合式公式中，感興趣的主要是所有變數都是受約束的。定義 在數學和其他涉及形式語言的學科中，包括數理邏輯和計算機科學，自由變數是在表達式中用於表示一個...
- 約束(リリィ,さよなら.演唱的歌曲)
《約束》是リリィ、さよなら.演唱的歌曲，由村上ヒロキ填詞，村上ヒロキ譜曲，收錄在專輯《リリィ、さよなら。》中。簡介 約束（Bonus track）是リリィ、さよなら。演唱的日語歌曲，於2015年2月25日發行 歌曲歌詞 日語歌詞 約束(Bonus track) - リリィ、さよなら。詞：村上ヒロキ 曲：村上ヒロキ 「...
- Schema(資料庫中的Schema)
語言中有很多例外，如元素的限制（restriction）不同於屬性的限制。表達能力的實踐限制 XSD對無序內容提供了極少支持 XSD不能要求提供root element(因而要求額外的信息來驗證即使最簡單的文檔).在描述mixed content, 沒有任何方式約束字元內容(甚至沒辦法指定一個有效字元集).內容與屬性聲明不能依賴於元素或屬性上下文(...
- C#
和面向對象思想一樣，泛型思想也是一種已經成熟的編程思想，但依然是沒有哪一種主流開發語言能夠支持完備的泛型概念。這主要是因為泛型的概念在一定程度上對面向對象概念進行衝擊，同時，由於在編譯期間對類型參數的完全檢測很難做到，很多問題會被遺留到運行時。C# 2.0別出心裁，對泛型類型參數提出了“約束”的新...
- 聲明式編程
聲明式語言包包括資料庫查詢語言（SQL，XQuery），正則表達式，邏輯編程，函式式編程和組態管理系統。聲明式編程透過函式、推論規則或項重寫（term-rewriting）規則，來描述變數之間的關係。它的語言運行器（編譯器或解釋器）採用了一個固定的算法，以從這些關係產生結果。聲明式程式語言通常用作解決人工智慧和約束滿足問題...
- Alter table
Alter table，網路程式及編程中所用的術語。通過更改、添加、除去列和約束，或者通過啟用或禁用約束和觸發器來更改表的定義。資料庫語言 編輯本義項 求助編輯 Alter 資料庫SQL語言的修改語句，可以用來修改基本表，其一般表示格式為：ALTER TABLE[改變方式]改變方式：· 加一個欄位: ADD "欄位 1" "欄位 1 資料...
- 自律警示
自律警示，含義是不斷反省自己，用警示性語言暗示自己，自我約束。例如在電腦桌面放一些激勵的話，每天需要做的事。在書本上寫的名人警句。自律警示是成功者必要地條件，只有通過嚴格的自我約束，形成良好的習慣，積極進取，最終走向成功。自律警示不足會導致為人散漫，不思進取，很難形成良好的行為習慣，每一個偉人，...
- C++
C++（c plus plus）是一種計算機高級程式設計語言，由C語言擴展升級而產生 ，最早於1979年由本賈尼·史特勞斯特盧普在AT&T貝爾工作室研發。C++既可以進行C語言的過程化程式設計，又可以進行以抽象數據類型為特點的基於對象的程式設計，還可以進行以繼承和多態為特點的面向對象的程式設計。C++擅長面向對象程式設計的同時，...
- ArkTS
ArkTS是HarmonyOS套用開發語言。它在保持TypeScript（簡稱TS）基本語法風格的基礎上，對TS的動態類型特性施加更嚴格的約束，引入靜態類型。同時，提供了聲明式UI、狀態管理等相應的能力，讓開發者可以以更簡潔、更自然的方式開發高性能套用。產生背景 面向萬物互聯時代，華為提出一次開發多端部署、可分可合自由流轉、統一...
- Nuva
Nuva 語言的設計目的就是用於基於模板的代碼生成，語言要有如下特點：語法簡單靈活;動態的，無類型約束;支持面向對象;自動垃圾回收;內置 O/R Mapping 支持;模版專用的語言元素。發展歷程 Nuva語言的設計目的是用於基於模板的代碼生成。除了用於代碼生成領域外，Nuva語言也能用於開發應用程式，如文本和數據處理、GUI套用...
- Verilog HDL
某些電子設計自動化工具，會識別出代碼中以特殊格式書寫、含有某些預先約定關鍵字的注釋，並從這些注釋所提取有用的信息。這些注釋不是供人閱讀，而是向第三方工具提供有關設計項目的額外信息。例如，某些邏輯綜合工具可以從注釋中讀取綜合的約束信息。大小寫敏感性 Verilog是一種大小寫敏感的硬體描述語言。其中，它的...
