A Scheme for the Automatic Inference of Variable Types
- Marc A. Kaplan
- Jeffrey D. Ullman
- 1980
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
11 results for Jeffrey Ullman
On the Capabilities of Codes to Correct Synchronization Errors
- Jeffrey D. Ullman
- 1967
- IEEE Trans. Inf. Theory
Data science education: We're missing the boat, again
- Bill Howe
- Michael Franklin
- et al.
- 2017
- ICDE 2017
THE COMPLEXITY OF ORDERING SUBGOALS
- Jeffrey D. Ullman
- Moshe Y. Vardi
- 1988
- SIGMOD/PODS/ 1988
On the equivalence of logical databases
- Gabriel M. Kuper
- Jeffrey D. Ullman
- et al.
- 1984
- SIGMOD/PODS 1984
ON THE SEMANTICS OF UPDATES IN DATABASES.
- Ronald Fagin
- Jeffrey D. Ullman
- et al.
- 1982
- SIGMOD/PODS 1982
Properties of acyclic database schemes
- Catriel Beeri
- Ronald Fagin
- et al.
- 1981
- STOC 1981
SYSTEM/U: A database system based on the universal relation assumption
- Henry F. Korth
- Gabriel M. Kuper
- et al.
- 1984
- ACM Transactions on Database Systems (TODS)
A Simplied Universal Relation Assumption and Its Properties
- Ronald Fagin
- Alberto O. Mendelzon
- et al.
- 1982
- ACM Transactions on Database Systems (TODS)
Logical query optimization by proof-tree transformation
- Raghu Ramakrishnan
- Yehoshua Sagiv
- et al.
- 1993
- Journal of Computer and System Sciences