 | 1976 |
5 |  | Patricia P. Griffiths,
Charles J. Prenner:
Verifying Formal Specifications of Synchronous Processes.
POPL 1976: 192-208 |
4 |  | Patricia P. Griffiths,
Bradford W. Wade:
An Authorization Mechanism for a Relational Data Base System (Abstract).
SIGMOD Conference 1976: 51 |
3 |  | Morton M. Astrahan,
Mike W. Blasgen,
Donald D. Chamberlin,
Kapali P. Eswaran,
Jim Gray,
Patricia P. Griffiths,
W. Frank King III,
Raymond A. Lorie,
Paul R. McJones,
James W. Mehl,
Gianfranco R. Putzolu,
Irving L. Traiger,
Bradford W. Wade,
Vera Watson:
System R: Relational Approach to Database Management.
ACM Trans. Database Syst. 1(2): 97-137 (1976) |
2 |  | Patricia P. Griffiths,
Bradford W. Wade:
An Authorization Mechanism for a Relational Database System.
ACM Trans. Database Syst. 1(3): 242-255 (1976) |
1 |  | Donald D. Chamberlin,
Morton M. Astrahan,
Kapali P. Eswaran,
Patricia P. Griffiths,
Raymond A. Lorie,
James W. Mehl,
Phyllis Reisner,
Bradford W. Wade:
SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control.
IBM Journal of Research and Development 20(6): 560-575 (1976) |