Randomized proof-labeling schemes.

Pierre Fraigniaud Boaz Patt-Shamir Mor Perry

Published in: Distributed Comput. (2019)

Keyphrases

labeling scheme
xml documents
transitive closure
xml query processing
insertions and deletions
xml queries
xml data
data mining
efficient processing
machine learning
natural language
knowledge representation
normal form