3 ms·
One application: It makes it easier to do mechanized reasoning to optimize SQL queries. https://arxiv.org/pdf/1607.04822.pdf https://arxiv.org/pdf/1607.04822.p
by Darmani 8y ago
One application: It makes it easier to do mechanized reasoning to optimize SQL queries.
https://arxiv.org/pdf/1607.04822.pdf https://arxiv.org/pdf/1607.04822.pdf
- tzs 8y agoAbstract: https://arxiv.org/abs/1607.04822 https://arxiv.org/abs/1607.04822