謂詞

1.使用謂詞演算來進行知識的表示和推理，能代表實際應用中的許多問題。

2.容器的鍵值等同性謂詞。

3.直方圖用于計算謂詞的選擇率。

4.謂詞選擇率估計是關系數據庫管理系統查詢優化器決策的重要依據。

5.如果在基于字符串的查詢謂詞周圍使用雙引號，而不是單引號，就會收到語法錯誤。

6.本文借助中介邏輯謂詞演算系統MFM，對不完全信息系統的理論和應用進行了研究。

7.在對授權規則建模時，如果缺省人員謂詞集無法滿足需要，您可以修改現有的謂詞或向謂詞集添加新謂詞。

8.謂詞的工作原理類似于：對于每個節點，引擎使用上下文處理謂詞。

9.在謂詞演算的反駁樹中，被證明的合式公式。

10.討論了三種時間邏輯方法：一階謂詞演算，模態邏輯及具體化邏輯。

11.一個例外是在V8中，由于MQT路由限制，任何查詢謂詞引用的事實表列都必須包括在統計視圖中。

12.謂詞演算與程序語義。

13.換句話說，就是通過引入相應的謂詞，將二元關系的性質用邏輯公式來表示。

14.表示您的組織規則的參數化人員謂詞是作為人工任務模型的一部分存儲的，并將與人工任務或業務流程模型EAR文件一起部署。

15.得到的參數化人員謂詞存儲為人工任務模型的一部分。

16.同語句是一種常見的語言現象,體詞、謂詞、加詞等可以有條件出現在它的主賓位上.

17.主詞，謂詞，受詞都是實體的名稱。實體在真實世界中，可以是具體的或是抽象的。

18.在那個謂詞中，還可以再次向下鉆取，以添加另一個謂詞。

19.所以，為了避免一些繁瑣的重復代碼，本庫定義了一些謂詞用于在比較前應用間接性。

20.另一種選擇是使用小寫希臘字母來表示這種元變量謂詞。