Calcul de tuplu este o direcție a calculului relațional , în care domeniile variabilelor sunt corpurile relațiilor de bază de date , adică valoarea validă a fiecărei variabile este un tuplu al corpului unei relații.
Referirea unei valori de atribut este similară cu referirea unei valori de câmp a unei variabile structurale în C:
VariableName. Numele atributuluiO formulă bine formată ( Well-Formed Formula, WFF ) este utilizată pentru a exprima condițiile impuse variabilelor tuple.
Termeni simpliCondițiile simple sunt operații de comparare a valorilor scalare. Exemple:
VariableName. AttributeName = ScalarValue VariableNameA.AttributeNameB = VariableNameC.AttributeNameG VariableName. AttributeName <> ScalarValue VariableNameA.AttributeNameB < VariableNameC.AttributeNameD Condiții dificileCondițiile complexe sunt construite folosind conective logice NOT, AND, OR și IF … THEN, ținând cont de prioritățile obișnuite ale operațiilor (NOT > AND > OR) și de posibilitatea de a plasa paranteze. Deci, dacă Formula este o formulă bine formată, iar Condiția este o simplă comparație, atunci
NU Formula Condiție ȘI Formula SAU Formula condiției IF Condition THEN Formulasunt formule bine formate.