A method and system are provided for determining whether a given path is
an indexed path of XML documents stored in a database management system.
A finite state machine is built using the path subsetting rules specified
by a user. The finite state machine is traversed using the given path. If
any accepting states are reached during the traversal of the finite state
machine, the given path is determined to matching the path subsetting
rules.