@misc{cs2-08-1,
  title = {{Tutorial: Introduction to Datalog}},
  author = {{Souffle project}},
  year = {2026},
  url = {https://souffle-lang.github.io/tutorial},
  howpublished = {Souffle project documentation}
}

@article{cs2-08-2,
  title = {{Maintenance of datalog materialisations revisited}},
  author = {Motik, Boris and Nenov, Yavor and Piro, Robert and Horrocks, Ian},
  year = {2019},
  url = {https://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2019/MNPH19a.pdf},
  doi = {10.1016/j.artint.2018.12.004},
  journal = {Artificial Intelligence 269}
}

@inproceedings{cs2-08-3,
  title = {{Differential dataflow}},
  author = {McSherry, Frank and Murray, Derek G. and Isaacs, Rebecca and Isard, Michael},
  year = {2013},
  url = {https://www.cidrdb.org/cidr2013/Papers/CIDR13\_Paper111.pdf},
  booktitle = {CIDR}
}

@inproceedings{cs2-08-4,
  title = {{Naiad: A Timely Dataflow System}},
  author = {Murray, Derek G. and McSherry, Frank and Isaacs, Rebecca and Isard, Michael and Barham, Paul and Abadi, Martin},
  year = {2013},
  url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2013/11/naiad\_sosp2013.pdf},
  doi = {10.1145/2517349.2522738},
  booktitle = {SOSP}
}

@techreport{cs2-08-5,
  title = {{DBSP: Automatic Incremental View Maintenance for Rich Query Languages}},
  author = {Budiu, Mihai and McSherry, Frank and Ryzhyk, Leonid and Tannen, Val},
  year = {2022},
  url = {https://arxiv.org/abs/2203.16684},
  institution = {arXiv preprint}
}

@misc{cs2-08-6,
  title = {{Differential Dataflow: The Map Operator}},
  author = {{Differential Dataflow project}},
  year = {2026},
  url = {https://timelydataflow.github.io/differential-dataflow/chapter\_2/chapter\_2\_1.html},
  howpublished = {Official project book}
}