On Testing Satisfiability of Tree Pattern Queries.

Laks V. S. Lakshmanan Ganesh Ramesh Wendy Hui Wang Zheng (Jessica) Zhao

Published in: VLDB (2004)

Keyphrases

tree pattern queries
decision procedures
satisfiability problem
computational complexity
special case
np complete
tree patterns