（共16页PPT）天津大学《数据库管理系统》课件Ch4b.pptVIP

RelationalCalculusChapter4,PartB

RelationalCalculusesintwoflours:Tuplerelationalcalculus(TRC)andDomainrelationalcalculus(DRC).Calculushasvariables,constants,parisonops,logicalconnectivesandquantifiers.TRC:Variablesrangeover(i.e.,getboundto)tuples.DRC:Variablesrangeoverdomainelements(=fieldvalues).BothTRCandDRCaresimplesubsetsoffirst-orderlogic.Expressionsinthecalculusarecalledformulas.Ananswertupleisessentiallyanassignmentofconstantstovariablesthatmaketheformulaevaluatetotrue.

TupleRelationalCalculusSyntaxofTRCQ