مرکز منطقه ای اطلاع رساني علوم و فناوري - Combining relational calculus and the Dijkstra–Gries method for deriving relational programs

Title of article :

Combining relational calculus and the Dijkstra–Gries method for deriving relational programs

Author/Authors :

Rudolf Berghammer، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1999

Pages :

From page :

155

To page :

171

Keywords :

Program derivation , Relational algebra , Relational programs , graph theory

Journal title :

Information Sciences

Serial Year :

1999

Journal title :

Information Sciences

Record number :

176007

Link To Document :