Fast methods for testing quantified relational calculus asertions

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bernstein, Philip A. (VerfasserIn)
Weitere Verfasser:	Blaustein, Barbara T. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, Mass. Center for Research in Computing Techn., Aiken Computation Laboratory, Univ. 1982
Schriftenreihe:	TR / Center for Research in Computing Technology, Harvard University 1982,24
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Presented at the International Conference on Management of Data, June 2 - 4, 1982, Orlando, Florida
Beschreibung:	S. 39 - 50