A sorszámítás a relációs számításnak egy olyan iránya , ahol a változók hatókörei az adatbázis - relációk testei , vagyis minden változó érvényes értéke valamely reláció törzsének sora.
Az attribútumértékre való hivatkozás hasonló egy C-beli strukturális változó mezőértékére való hivatkozáshoz:
VariableName. AttributeNameEgy jól formázott képlet ( WFF, Well-Formed Formula ) a sorváltozókra szabott feltételek kifejezésére szolgál.
Egyszerű kifejezésekAz egyszerű feltételek skaláris értékek összehasonlítására szolgáló műveletek. Példák:
VariableName. AttributeName = ScalarValue VariableNameA.AttributeNameB = VariableNameC.AttributeNameG VariableName. AttributeName <> ScalarValue VariableNameA.AttributeNameB < VariableNameC.AttributeNameD Nehéz körülményekAz összetett feltételeket NEM, ÉS, VAGY és HA … AKKOR logikai konnektívek segítségével építjük fel, figyelembe véve a műveletek szokásos prioritását (NEM > ÉS > VAGY) és a zárójelek elhelyezésének lehetőségét. Tehát, ha a Képlet egy jól megformált képlet, a Feltétel pedig egy egyszerű összehasonlítás, akkor
NEM Formula Feltétel ÉS Képlet VAGY Feltételképlet HA Feltétel AKKOR képletjól formált képletek.