Locally Restricted Proof Labeling Schemes (Full Version).

Yuval Emek Yuval Gil Shay Kutten

Published in: CoRR (2022)

Keyphrases

labeling scheme
xml documents
insertions and deletions
xml queries
xml query processing
databases
metadata
data sources
information access