VDict - Definition of relational calculus

search result for relational calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

relational calculus domain calculus Codd's reduction algorithm relational algebra tuple calculus relational language relational data model ADABAS lambda-calculus typed lambda-calculus polymorphic lambda-calculus relational DBMS Second-Order Lambda-calculus relational database management system lambda expression Multics Relational Data Store Lambada-Calculus multiple value relational model pure lambda-calculus REGTRAL relational database PPLambda Calculus of Communicating Systems nu-calculus rl Bird-Meertens Formalism beta reduction Church integer database normalisation Darwin delta reduction MRDS SQL/DS Informix INGRES Fun SweetLambda RDBMS CHOCS modal logic Ashton-Tate Corporation E. F. Codd CIRCAL Montage SLIPS IRDS Burge's Language table Modula/R Natural Language Information Analysis Method Kid DBPL QA4 Square CCS DB2 LAMBDA beta conversion pi-calculus Unify Corporation Theseus Paradox Application Language epsilon propositional calculus predicate calculus CUCH Alonzo Church Mimer SQL CIRcuit CALculus network database Sequel MAGNUM AQL Unify functional dependency Knights of the Lambda-Calculus key field PROSE Pascal/R

First < Previous 1 2 Next > Last