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. Relational transducers for declarative networking
3. Semiring-based constraint satisfaction and optimization
4. A certain freedom
5. Sebastian Burckhardt . 2014. Principles of Eventual Consistency (principles of eventual consistency ed.). Foundations and Trends® in Programming Languages , Vol. 1 . Now Publishers . 1--150 pages. https://www.microsoft.com/en-us/research/publication/principles-of-eventual-consistency/ Sebastian Burckhardt. 2014. Principles of Eventual Consistency (principles of eventual consistency ed.). Foundations and Trends® in Programming Languages, Vol. 1. Now Publishers. 1--150 pages. https://www.microsoft.com/en-us/research/publication/principles-of-eventual-consistency/