Appendix: References

  1. AbHuVi94Abiteboul, S., Hull, R., & Vianu, V. Foundations of Databases: The Logical Level. (Pearson, 1995). webdam.inria.fr/Alice/.
  2. Balaz12Balazinska, M. CSE 344: Introduction to Data Management. Lecture 10: Datalog. (University of Washington, 2012). Retrieved January 24, 2022, from courses.cs.washington.edu.
  3. CeGoTa90Ceri, S., Gottlob, G., & Tanca, L. Logic Programming and Databases. (Springer Berlin Heidelberg, 1990). DOI: 10.1007/978-3-642-83952-8.
  4. ChVa97Chaudhuri, S., and Vardi, M. Y. (1997). On the Equivalence of Recursive and Nonrecursive Datalog Programs. Journal of Computer and System Sciences, 54(1), 61–78. DOI: 10.1006/JCSS.1997.1452.
  5. Colomb98Colomb, R. M. Deductive Databases and their Applications. (Taylor & Francis, 1998).
  6. GreMol15Greco, S. & Molinaro, C. Datalog and Logic Databases. (Morgan & Claypool Publishers, 2015).
  7. Mill1851Mill, J. S. A System of Logic, Ratiocinative and Inductive, Being a Connected View of the Principles of Evidence, and the Methods of Scientific Investigation. (John W. Parker, 1851).
  8. QConvGrammatical Framework. (March 1, 2018). Query-converter – SQL to Relational Algebra. Retrieved January 24, 2022, from grammaticalframework.org.
  9. Shep88Shepherdson, John C. Negation in Logic Programming in Foundations of Deductive Databases and Logic Programming. (1988).
  10. WikiDatalogDatalog. (January 9, 2022). In Wikipedia. Retrieved January 24, 2022, from en.wikipedia.org/Datalog.
  11. WikiRelalgRelational algebra. (December 1, 2021). In Wikipedia. Retrieved January 24, 2022, from en.wikipedia.org/Relational_algebra.
  12. Wilfrid97Hodges, W. A Shorter Model Theory. 1997. Cambridge University Press, USA.
  13. Wilfrid22Hodges, W. Model Theory. in The Stanford Encyclopedia of Philosophy (ed. Zalta, E. N.) (2022). plato.stanford.edu/archives/spr2022/entries/model-theory/