An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
- Yehoshua Sagiv
- Claude Delobel
- et al.
- 1981
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
22 results for Yehoshua Sagiv
Testing implications of data dependencies
- David Maier
- Alberto O. Mendelzon
- et al.
- 1979
- ACM Transactions on Database Systems (TODS)