# Automated Reasoning of Database Queries

> doctoral thesis by Shumo Chu, Computer Science & Engineering, University of Washington, 2019

**Wikidata**: [Q113668375](https://www.wikidata.org/wiki/Q113668375)  
**Source**: https://4ort.xyz/entity/automated-reasoning-of-database-queries


## References

1. WorldCat