Tupelkalkyl

Tupelkalkyl  är en riktning för relationskalkyl , där omfattningen av variabler är kropparna för databasrelationer , det vill säga det giltiga värdet för varje variabel är en tupel av kroppen av någon relation .

Tuppelkalkyloperatorer (i QUEL-syntax)

Definition av en tupelvariabel

RANGE VariableName ÄR RelationshipName

Att referera till ett attributvärde liknar att referera till ett fältvärde för en strukturell variabel i C:

VariableName. AttributName

Välformade formler

En välformad formel ( Well-Formed Formula, WFF ) används för att uttrycka villkor som åläggs tupelvariabler.

Enkla termer

Enkla villkor är operationer för att jämföra skalära värden. Exempel:

VariableName. AttributName = ScalarValue VariableNameA.AttributeNameB = VariableNameC.AttributeNameG VariableName. AttributName <> ScalarValue VariableNameA.AttributeNameB < VariableNameC.AttributeNameD Svåra förhållanden

Komplexa förhållanden byggs upp med hjälp av logiska kopplingar NOT, AND, OR och IF … DÅ, med hänsyn till de vanliga prioriteringarna för operationer (INTE > OCH > ELLER) och möjligheten att placera parenteser. Så om formeln är en välformad formel och villkoret är en enkel jämförelse, då

INTE formel Skick OCH Formel ELLER villkorsformel OM skick DÅ Formel

är välformade formler.