跳到主要內容
:::

教育百科logo

::: 判定敘述 - 教育百科
國家教育研究院辭書
基本資料
英文: assertion statement
日期: 2003年6月
出處: 資訊與通信術語辭典
辭書內容
名詞解釋:

(一)指進行程式正確性證明時,在程式中引進的述詞,如0≦r≦dd,0≦r≦d且a≡r.mod(d)等。只要能證明在程式執行過程中,判定恆真,即可證明程式的正確性。
(二)用於資料庫系統,規定對數據的校驗。例如規定:月薪<2000000,18<員工年齡<70,…資料庫系統即可以拒不執行違反這些判定敘述的更新指令,從而防止由於操作錯誤而破壞資料庫。
資料來源: 國家教育研究院_判定敘述
授權資訊: 資料採「 創用CC-姓名標示- 禁止改作 臺灣3.0版授權條款」釋出
貓頭鷹博士
你喜歡貓頭鷹博士嗎

針對貓頭鷹博士的服務你會給幾顆星呢

回到頁面頂端圖示