Proof-Labeling Schemes: Broadcast, Unicast and in Between.

Boaz Patt-Shamir Mor Perry

Published in: SSS (2017)

Keyphrases

labeling scheme
transitive closure
xml query processing
xml documents
query processing
xml queries
decision trees
xml data
xml trees
insertions and deletions
index structure
efficient processing
databases
query evaluation
relational database systems
directed acyclic graph