Object relational and object database (distributed) systems are used more and more in real applications due to their rich and extensible data types and query language mixing declarative assertions and navigations. Queries may frequently involve multiple collection traversais (i.e., path expression), possibly distributed. Moreover, predicates with quantifiers can also be included inside path exp...
