Tuple calculus on relaatiolaskennan suunta , jossa muuttujien laajuudet ovat tietokantarelaatioiden runkoja , eli kunkin muuttujan kelvollinen arvo on jonkin suhteen rungon monikko .
Attribuutin arvoon viittaaminen on samanlaista kuin C:n rakennemuuttujan kenttäarvoon viittaaminen:
Muuttujan nimi. Ominaisuuden nimiHyvin muodostettua kaavaa ( Well-Formed Formula, WFF ) käytetään monikkomuuttujille asetettujen ehtojen ilmaisemiseen.
Yksinkertaiset termitYksinkertaiset ehdot ovat skalaariarvojen vertailuoperaatioita. Esimerkkejä:
Muuttujan nimi. AttributeName = ScalarValue VariableNameA.AttributeNameB = MuuttujanNimiC.AttribuutinNimiG Muuttujan nimi. AttribuutinNimi <> ScalarValue MuuttujaNimiA.AttribuutinNimiB < MuuttujanNimiC.AttribuutinNimi Vaikeat olosuhteetMonimutkaiset ehdot rakennetaan käyttämällä loogisia konnekiveja EI, JA, TAI ja JOS … NIIN, ottaen huomioon operaatioiden tavanomaiset prioriteetit (EI > JA > TAI) ja mahdollisuus sijoittaa hakasulkeet. Joten, jos kaava on hyvin muotoiltu kaava ja ehto on yksinkertainen vertailu, niin
EI kaava Kunto JA kaava TAI Kuntokaava JOS Kunto NIIN kaavaovat hyvin muotoiltuja kaavoja.