堆棧內存溢出
cost 137 ms
在jsonb中尋找json鍵的值

[英]look for json key's value in jsonb

我正在使用jpa的criteriabuilder，並且我想在jsonb列中查找json字段的值。 jsonb看起來像這樣： 我開始創建謂詞，但出現錯誤。 我得到的錯誤是 org.postgresql.util.PSQLException：錯誤：函數json_extra ...

XSLT：使用謂詞和 <xsl:if> 聲明

[英]XSLT: Difference between using predicates and <xsl:if> statement

我試圖了解使用謂詞和使用&lt;xsl:if&gt;之間是否有任何區別？ 從性能的角度來看，謂詞的使用會更好嗎？ 謂詞是否也遍歷xml樹中的每個節點以根據過濾條件識別節點？ ...

在 Spring 路由定義中使用謂詞不起作用

[英]Using predicates in Spring route definition does not work

我正在嘗試使用 Spring 的 WebFlux 模塊定義路由。 這是我的路線定義： 我的意圖是定義一個具有特定路徑的 GET 端點，並且客戶端必須提供名為“clientId”的請求 header。 當我調用 endPoint 時，此定義不起作用。 但是，如果我去掉 header() 部分，調用就會 ...

Prolog遞歸謂詞

[英]Prolog Recursive Predicates

在Prolog中給出遞歸定義：僅當X為列表且X的長度為奇數時，定義一個包含參數X的謂詞。 我一直試圖解決這個問題。 我只是想自己學習ProLog，並在一本書中發現了這個問題。 我已經嘗試過了，但是它可能只適用於偶數長度的列表。 誰能幫幫我嗎？ ...

查找循環不變式-Hoare Triple

[英]Finding a loop invariant - Hoare Triple

從下面的代碼中，我需要推論/選擇一個循環不變式。 給出的解決方案為 s =（x-1）* x / 2∧（x≤n +1） 我不太了解它是如何達到上述解決方案的。 請幫助我如何從代碼中得出這樣的解決方案或其他循環不變性。 ...

Java過濾器，如何擴展過濾器？

[英]Java filters, how to extend the filter?

Java流的過濾器使用Predicate來允許或拒絕流中的元素。 感謝.compose或。 .andThen可以限制過濾器。 然而，如果我想根據一些旗幟讓它更寬松呢？ 例如，我可能希望用戶參數化地設置isAppleAllowed和isPearAllowed 。 使用.fi ...

語義謂詞如何使用ANTLR 4使用來自偵聽器的早期信息？

[英]How can semantic predicates use early information from listeners with ANTLR 4?

我有一個基於ANTLR 4的解析器，使用的是偵聽器，而不是訪問器。 它已經識別並存儲了函數，變量等的聲明。 我正在嘗試使用語義謂詞解決一些語法歧義，例如在解析VHDL源代碼時將函數調用與數組/向量訪問分開。 為了避免整個語法的進一步復雜化，這一點很重要。 在以下示例中： ...

Coq中的證明-謂詞邏輯

[英]Proof in coq - Predicate logic

嘗試證明以下問題：證明通用量詞分布在合點上∀x∈A，P x∧Qx⇐⇒（∀x∈A，P x）∧（∀x∈A，Qx） 到目前為止，我的證明 我試圖分裂，破壞和引入新的假設，但我似乎無法超越這一點。 任何建議將不勝感激。 ...

帶有謂詞的XQuery表達式

[英]XQuery expression with predicates

我正在嘗試使用帶有謂詞的表達式來顯示每個父節點的子節點（該練習看起來很愚蠢，因為這是測試數據：最終的解決方案必須從其他xml文件中提取數據）。 數據樣本如下： 查詢如下： 出現錯誤，顯示與第8行有關的“期望的節點，找到了數組”。我嘗試了一個for循環，並簡單地將一個表達式放 ...

Oracle 11與視圖連接成本很高

[英]Oracle 11 joining with view has high cost

將視圖連接到另一個表時遇到一些困難。 這是在運行11.2的Oracle RAC系統上 我將嘗試提供盡可能多的細節，而不必使用我的公司不希望使用的特定表結構。 你們都知道這是如何工作的。 “嘿，您能編寫一些非常丑陋的軟件來實施我們的瘋狂想法嗎？” 他們要我做什么的想法是，查看 ...

Spring數據規范-如何通過多個屬性過濾對象

[英]Spring Data Specifications - how can I filter objects by mulitple attributes

我正在嘗試通過多個屬性來實現用戶搜索。 假設我的“人”具有“姓名”和“姓氏”。 我要輸入“ Michael Doe”並列出所有具有此名稱和姓氏的人。 當我只鍵入“ Michael”時，我想要所有Michaels，依此類推。 我試圖通過使用謂詞來使其成為可能： 但是，當我搜索“ ...

JAVA 8將謂詞提取為字段或方法？

[英]JAVA 8 Extract predicates as fields or methods?

提取具有多種用途的謂詞的更干凈方法是什么？ 方法或類字段？ 這兩個例子： 1.班級領域 2.方法 對我來說，野外工作的方法看起來更好一些，但這是正確的方法嗎？ 我有疑問 ...

謂詞在Where &lt;&gt;查詢中未命中？

[英]Predicate inside a Where<> query not hit?

我需要為列表中的每個項目調用該方法。 因此，我使用Where&lt;&gt;查詢如下， 但是在以上情況下，沒有CheckName() 。 如果我使用FirstOrDefault&lt;&gt;則會觸發相同的方法。 我不知道這是一個框架中斷還是我走錯了路。 作為附加信息，我正在 ...

Objectivec中核心數據中的謂詞

[英]Predicates in coredata in objectivec

我在coredata Details和person中有兩個表。 Person具有兩個字段ID和Code： ID代碼IAS RT IAS TP IAS IP 現在，詳細說明兩個字段，代碼和名稱 代號RT Rataz TP Tranzps IP Irrz 現在我想使用謂詞， ...

合金-計算其他原子使用的原子

[英]Alloy - Count atoms used by other atoms

我試圖注意到與其他原子的原子關系發生了變化。 使用以下簽名： 然后我用一個謂語，顯示當您添加一個新的關系到發生了什么Dictionary由有另一個Dictionary是相同的，但多一個關系。 要查看第一個Dictionary使用的Word原子數量是否增加，我可以使用以下方法僅顯 ...

合金-檢查謂詞是否正確？

[英]Alloy - Check predicate is correct?

我目前正在使用Alloy中的謂詞。 我知道我可以使用assert和check語句來確認我的模型可以正常工作。 但是，有什么方法可以檢查我創建的謂詞是否達到了我的期望？ 還是只需要顯示實例並手動搜索它們？ ...

謂詞的多重性

[英]Multiplicity with Predicates

所以我有以下幾點： 我的想法是，我希望在那里有3個人，他們都是彼此的朋友。 但是我希望是這樣的，存在一個至少有3個或更多都是朋友的人的集合。 有人可以解釋如何用Alloy做到這一點嗎？ ...


排序:
質量:
 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM