Twenty-Two New Approximate Proof Labeling Schemes.

Yuval Emek Yuval Gil

Published in: CoRR (2020)

Keyphrases

labeling scheme
xml documents
xml query processing
relational databases
transitive closure
insertions and deletions
xml data
data integration