Sign in
Proving Query Equivalence Using Linear Integer Arithmetic.
Haoran Ding
Zhaoguo Wang
Yicun Yang
Dexin Zhang
Zhenglin Xu
Haibo Chen
Ruzica Piskac
Jinyang Li
Published in:
Proc. ACM Manag. Data (2023)
Keyphrases
</>
integer arithmetic
euclidean distance transform
relevance feedback
query processing
query evaluation
data structure
range queries
binary images
fault tolerant