We use local information expressed in the form of path inclusions in the optimization of path queries. We call these inclusions RW-path inclusions.
E is to decide whether the answer to p is included in the answer to a finite path query.
Regular path queries with constraints . In Proc. of ACM Symposium on Principles of Database Systems, 1997. Querying semi-structured data . In Proc. of ICDT'97, 1997. On a decision method in restricted second order arithmetic .