1. {n. d.}. dbv. ({n. d.}). https://dbv.vizuina.com/ {n. d.}. dbv. ({n. d.}). https://dbv.vizuina.com/
2. {n. d.}. Liquibase. ({n. d.}). http://www.liquibase.org/ {n. d.}. Liquibase. ({n. d.}). http://www.liquibase.org/
3. {n. d.}. Noms. ({n. d.}). https://github.com/attic-labs/noms {n. d.}. Noms. ({n. d.}). https://github.com/attic-labs/noms
4. Azza Abouzied et al. 2013. Learning and verifying quantified boolean queries by example. In PODS. ACM 49--60. 10.1145/2463664.2465220 Azza Abouzied et al. 2013. Learning and verifying quantified boolean queries by example. In PODS. ACM 49--60. 10.1145/2463664.2465220
5. Performance evaluation of a temporal database management system