Undecidable Optimization Problems for Database Logic Programs
- Haim Gaifman
- Harry Mairson
- et al.
- 1993
- Journal of the ACM (JACM)
Publications
Date
Featured collections
Popular topics
22 results for Yehoshua Sagiv
Logical query optimization by proof-tree transformation
- Raghu Ramakrishnan
- Yehoshua Sagiv
- et al.
- 1993
- Journal of Computer and System Sciences