1. Serge Abiteboul , Richard Hull , and Victor Vianu . 1995. Foundations of Databases . Addison-Wesley . http://webdam.inria.fr/Alice/ Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases .Addison-Wesley. http://webdam.inria.fr/Alice/
2. Aws Albarghouthi , Paraschos Koutris , Mayur Naik , and Calvin Smith . 2017 . Constraint-Based Synthesis of Datalog Programs. In Principles and Practice of Constraint Programming - 23rd International Conference , CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Lecture Notes in Computer Science , Vol. 10416), J. Christopher Beck (Ed.). Springer, 689-- 706 . https://doi.org/10.1007/978--3--319--66158--2_44 Aws Albarghouthi, Paraschos Koutris, Mayur Naik, and Calvin Smith. 2017. Constraint-Based Synthesis of Datalog Programs. In Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10416), J. Christopher Beck (Ed.). Springer, 689--706. https://doi.org/10.1007/978--3--319--66158--2_44
3. Peter Alvaro , William R. Marczak , Neil Conway , Joseph M. Hellerstein , David Maier , and Russell Sears . 2010 . Dedalus: Datalog in Time and Space. In Datalog Reloaded - First International Workshop, Datalog 2010 , Oxford, UK, March 16--19 , 2010. Revised Selected Papers (Lecture Notes in Computer Science, Vol. 6702), Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Jon Sellers (Eds.). Springer, 262--281. https://doi.org/10.1007/978--3--642--24206--9_16 Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, and Russell Sears. 2010. Dedalus: Datalog in Time and Space. In Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16--19, 2010. Revised Selected Papers (Lecture Notes in Computer Science, Vol. 6702), Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Jon Sellers (Eds.). Springer, 262--281. https://doi.org/10.1007/978--3--642--24206--9_16
4. Efficient bottom-up computation of queries on stratified databases
5. Francois Bancilhon , David Maier , Yehoshua Sagiv , and Jeffrey D. Ullman . 1986. Magic Sets and Other Strange Ways to Implement Logic Programs . In Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24--26 , 1986 , Cambridge, Massachusetts, USA, Avi Silberschatz (Ed.). ACM, 1--15. https://doi.org/10.1145/6012.15399 Francois Bancilhon, David Maier, Yehoshua Sagiv, and Jeffrey D. Ullman. 1986. Magic Sets and Other Strange Ways to Implement Logic Programs. In Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24--26, 1986, Cambridge, Massachusetts, USA, Avi Silberschatz (Ed.). ACM, 1--15. https://doi.org/10.1145/6012.15399