Artículo:

The Deductive Synthesis of Database Transactions

Autor:

Xiaolei Qian

Página:

626

Publicación:

ACM Transactions on database systems

Volúmen:

18

Número:

4

Periodo:

Diciembe 1993

ISSN:

03625915

SrcID:

03625915-1993-04.TXT