1. Serge Abiteboul , Richard Hull , and Victor Vianu . 1995. Foundations of Databases . Addison-Wesley . Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases. Addison-Wesley.
2. Recursive Program Synthesis
3. Aws Albarghouthi , Paraschos Koutris , Mayur Naik , and Calvin Smith . 2017 . Constraint-based synthesis of Datalog programs . In Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP). Aws Albarghouthi, Paraschos Koutris, Mayur Naik, and Calvin Smith. 2017. Constraint-based synthesis of Datalog programs. In Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP).
4. Lars Ole Andersen . 1994. Program Analysis and Specialization for the C Programming Language. Ph. D. Dissertation. DIKU , University of Copenhagen. Lars Ole Andersen. 1994. Program Analysis and Specialization for the C Programming Language. Ph. D. Dissertation. DIKU, University of Copenhagen.
5. James Cheney , Laura Chiticariu , and Wang-Chiew Tan . 2009. Provenance in Databases: Why, How, and Where. Foundations and Trends in Databases, 1, 4 ( 2009 ). James Cheney, Laura Chiticariu, and Wang-Chiew Tan. 2009. Provenance in Databases: Why, How, and Where. Foundations and Trends in Databases, 1, 4 (2009).