Proof labeling schemes.

Amos Korman Shay Kutten David Peleg

Published in: Distributed Comput. (2010)

Keyphrases

labeling scheme
xml query processing
xml documents
transitive closure
xml data
insertions and deletions
xml queries
multi dimensional
directed acyclic graph
efficient processing
xml trees