合取查詢是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名:合取查詢
- 外文名:conjunctive query
- 所屬學科: 計算機科學技術
- 公布年度 :2018年

合取查詢是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。
合取查詢是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。定義由基本查詢項和命題連線詞的合取構成的查詢。可看成是受限的一階謂詞邏輯查詢,關係資料庫中的大部分查詢均可用合取...
真值形式p∧q稱為 “合取式”,讀作 “p合取q"或 “p並且q” ,p、q都是p∧q的合取支。其中合取詞“∧”的意義是:當合取式的各個合取支都真時,該合取式為真;只要有一個合取支為假,該合取式為假。於是,有下述真值表:改表的左半部列出了p和q的全部可能的真值組合:p可以取1、 0兩個真值。當...
方法,提出合取查詢、正則路徑查詢、CRPQ查詢和ECRPQ查詢的分散式圖查詢處理算法,利用並行化的“分治+協同”策略和基於圖結構索引的“整體匹配”策略,實現分散式圖查詢的快速求值;提出分散式圖查詢最佳化代價模型,研究包括連線順序最佳化、運行時最佳化和近似查詢與排序在內的一攬子分散式圖查詢最佳化方案;設計分散式圖查詢評測...
第4章 查詢 4.1 訪問字典的方法 訪問數據結構 前端編碼(Front coding)最小完美哈希函式 完美哈希函式的設計 基於磁碟的字典存儲 4.2 部分指定的查詢術語 字元串暴力匹配(Brute-force string matching)用n-gram索引 循環字典(Rotated lexicon)4.3 布爾查詢(BOOLEAN QUERY)合取查詢(conjunctive query)術語...
2.3.2合取查詢的包含 2.3.3合取查詢的並集 2.3.4帶有比較謂詞的合取查詢 2.3.5帶有否定的合取查詢 2.3.6包語義、分組和聚集 2.4基於視圖計算查詢 2.4.1問題定義 2.4.2視圖與查詢計算的相關性 2.4.3查詢重寫的可能長度 2.4.4桶算法和MiruCon算法 2.4.5邏輯方法:逆規則算法 2.4.6算法比較 2...
7.1.5 對數據值的查詢190 7.1.6 過濾器191 7.1.7 結果格式194 7.1.8 修飾符197 7.1.9 SPARQL語義和SPARQL代數199 7.1.10 SPARQL的其他表達特性204 7.2 OWL DL的合取查詢206 7.2.1 OWL的局限206 7.2.2 合取查詢的介紹207 7.2.3 非區分變數208 7.2.4 合取查詢和規則209 7.2.5 合取...
1.5.1關係資料庫的查詢25 1.5.2不等式合取查詢與點代數27 1.5.3二元約束矩陣的變換29 1.5.4不等式合取查詢極小化31 1.5.5二元約束矩陣的全部原始解34 1.6在其他領域的套用36 1.6.1計算機視覺36 1.6.2圖著色39 第2章時態關係模型42 2.1具有複雜對象的時態關係42 2.2實例46 2.3時間模型48 2....
主析取範式是大學數學裡一門名叫離散數學(Discrete mathematics)的課程中的內容,在離散數學的數理邏輯一節中,利用真值表和等值演算法可以化簡或推證一些命題,但是當命題的變元的數目較多時,上述方法都顯得不方便,所以需要給出把命題公式規範的方法,即把命題公式化成主合取範式和主析取範式的方法。內容簡介 析取...
本書從資料庫實現者的角度對資料庫系統實現原理進行了深入闡述。並具體討論了資料庫管理系統的三個主要成分——存儲管理器、查詢處理器和事務管理器的實現技術。作者簡介 加西亞-莫利納(Hector Garcia-Molina)史丹福大學計算機科學與電子工程系的Leonard Bosack和Sandra Lerner教授。他在資料庫系統、分散式系統和數字圖書...
