Korrelert delspørring

En **[[Synkronisering (informatikk)|korrelert]] delspørring** i SQL er en delspørring som bruker verdier fra den ytre spørringen. Ettersom delspørringen kan bli evaluert en gang for hver rad som behandles av den ytre spørringen kan en korrelert delspørring være treg.

Likt som for vanlige delspørringer kan korrelerte delspørringer brukes i SELECT-klausulen og WHERE-klausulen (men ikke FROM-klausulen).

## Eksempler
Følgende er et eksempel på en typisk korrelert delspørring. I dette eksemplet er målet å liste opp alle ansatte som har lønn over gjennomsnittet for avdelingen deres.


```sql
SELECT employee_number, name
  FROM employees emp
 WHERE salary > (
    SELECT AVG(salary)
     FROM employees
     WHERE department = emp.department);
```


I spørringen ovenfor er den ytre spørringen


```sql
SELECT employee_number, name
  FROM employees emp
 WHERE salary > ...
```


, og den indre spørringen (den korrelerte delspørringen) er:


```sql
SELECT AVG(salary)
  FROM employees
 WHERE department = emp.department
```


I den ovennevnte delspørringen må den indre spørringen utføres på nytt for hver ansatt. (En tilstrekkelig smart implementering kan cache resultatet av den indre spørringen avdeling for avdeling, men selv i beste fall må den indre spørringen utføres en gang per avdeling.)

Korrelerte delspørringer kan brukes andre steder enn bare i WHERE-klausulen. Følgende spørring har for eksempel en korrelert delspørring i SELECT-klausulen for å velge ut listen over alle ansatte sammen med gjennomsnittslønnen for hver ansatte sin avdeling. Også i dette eksempelet, siden delspørringen er korrelert med en kolonne i den ytre spørringen, må den ytre spørringen kjøres på nytt for hver rad i resultatet.


```sql
SELECT employee_number,
    name,
    (SELECT AVG(salary) 
      FROM employees
     WHERE department = emp.department) AS department_average
  FROM employees emp
```


## Korrelerte delspørringer i FROM-klausulen
Vanligvis er det meningsløst å ha en korrelert delspørring i FROM-klausulen ettersom tabellen i FROM-klausulen er nødvendig for å evaluere den ytre spørringen, men den korrelerte delspørringen i FROM-klausulen kan ikke evalueres før den ytre spørringen er evaluert. Dette skaper en sirkulær avhengighet, en høna-og-egget-problemstillng. I dokumentasjonen til MariaDB er dette listet som en begrensning.

I noen databasesystemer er det imidlertid tillatt å bruke korrelerte delspørringer når man skjøter i FROM-klausulen gjennom å bruke et spesifikt nøkkelord for å referere til tabellene listet opp før skjøtingen, hvilket gir flere rader i den korrelerte delspørringen og skjøter dem med tabellen til venstre. I PostgreSQL brukes nøkkelordet LATERAL rett før delspørringen til høyre, mens i Microsoft SQL Server brukes et av nøkkelordene CROSS APPLY eller OUTER APPLY i stedet for JOIN.

## Prosessering av korrelerte delspørringer
En mye brukt metode for å prosessere korrelerte delspørringer er å omskrive dem til tilsvarende flate spørringer (en prosess kjent som utflating). Utvikling av algoritmer i den retningen har fordelen med lav kompleksitet. Siden denne tilnærmingen krever tilpasninger kan ikke eksisterende databasesystemer uten videre flate ut korrelerte underspørringer ved å følge noen generelle regler. I tillegg krever denne tilnærmingen stor utviklingsinnsats for å implementere utflatingsalgoritmer i en databasemotor. En generell beregningsmetode er å utføre den nøstede løkken direkte ved å iterere gjennom alle tuplene til de korrelerte kolonnene fra den ytre spørreblokken og utføre delspørringene like mange ganger som antallet tupler i den ytre løkken. Denne enkle tilnærmingen har fordelen at den kan brukes  mer generelt siden den ikke påvirkes av hvilke typer korrelerte operatorer som brukes eller strukturen på delspørringene. Ulempen er høy beregningskompleksitet. Akselerering med grafikkprosessor (GPU) er en metode som kan brukes for å signifikant forbedre ytelsen til nøstede metoder med stor algoritmisk kompleksitet ved å utnytte parallellitet og enhetsminnet på GPU-en, og oppnår både målet om programvare designet og implementert for generell bruk og høy ytelse i behandling av delspørringer.

## Referanser