tests/org.w3c.xqts.testsuite/Queries/XQuery/UseCase/UseCaseR/rdb-queries-results-q5.xq

(: insert-start :)
declare variable $input-context1 external;
declare variable $input-context2 external;
declare variable $input-context3 external;
(: insert-end :)
<result>
  {
   unordered (
    for $seller in $input-context2//user_tuple,
        $buyer in $input-context2//user_tuple,
        $item in $input-context1//item_tuple,
        $highbid in  $input-context3//bid_tuple
    where $seller/name = "Tom Jones"
      and $seller/userid  = $item/offered_by
      and contains($item/description , "Bicycle")
      and $item/itemno  = $highbid/itemno
      and $highbid/userid  = $buyer/userid
      and $highbid/bid = max(
                              $input-context3//bid_tuple
                                [itemno = $item/itemno]/bid
                         )
    return
        <jones_bike>
            { $item/itemno }
            { $item/description }
            <high_bid>{ $highbid/bid }</high_bid>
            <high_bidder>{ $buyer/name }</high_bidder>
        </jones_bike>
    )
  }
</result>