é uma implementação possível para junção de duas relações T e S se um índice existe para um dos dois atributos de junção. Suponha que existe um índice para o atributo B na relação S. Para cada registro t em R (instrução de loop para recuperar os registros de R), é utilizado o índice para recuperar diretamente os registros s de S que satisfazem a condição de junção t[A]=s[B]. O algoritmo que preenche CORRETAMENTE o espaço acima é: