lit.bib

@inproceedings{alvaro2010dedalus,
  title={Dedalus: Datalog in time and space},
  author={Alvaro, Peter and Marczak, William R and Conway, Neil and Hellerstein, Joseph M and Maier, David and Sears, Russell},
  booktitle={International Datalog 2.0 Workshop},
  pages={262--281},
  year={2010},
  organization={Springer}
}

@article{tarpit,
  title={Out of the tar pit},
  author={Moseley, Ben and Marks, Peter},
  journal={Software practice advancement},
  year={2006}
}

@inproceedings{huser2013desiderata,
  title={Desiderata for healthcare integrated data repositories based on architectural comparison of three public repositories},
  author={Huser, Vojtech and Cimino, James J},
  booktitle={AMIA Annual Symposium Proceedings},
  volume={2013},
  pages={648},
  year={2013},
  organization={American Medical Informatics Association}
}

@inproceedings{rubin15aosadb,
  title={An Archaeology-Inspired Database},
  author={Rubin, Yoav},
  booktitle={The Architecture of Open Source Applications: 500 lines or less},
  year={2015}
}

@inproceedings{calderwood15cqrs,
  title={From {REST} to {CQRS} with {Clojure}, {Kafka}, \& {Datomic}},
  author={Calderwood, Bobby},
  booktitle={Talk at Clojure/Conj Conference},
  year={2015}
}

@inproceedings{meijer2006linq,
  title={{LINQ}: {Reconciling} object, relations and {XML} in the {.NET} framework},
  author={Meijer, Erik and Beckman, Brian and Bierman, Gavin},
  booktitle={Proceedings of the 2006 {ACM SIGMOD} international conference on Management of data},
  pages={706--706},
  year={2006}
}

@inproceedings{hickey2012dbvalue,
  title={Database as a Value},
  author={Hickey, Rich},
  booktitle={Talk at GOTO Conference, Chicago},
  year={2012}
}


@inproceedings{alvaro2015isee,
  title={I see what you mean},
  author={Alvaro, Peter},
  booktitle={Talk at StrangeLoop Conference},
  year={2015},
  organization={University of California Santa Cruz}
}

@article{mccarthy1960recursive,
  title={Recursive functions of symbolic expressions and their computation by machine, {Part I}},
  author={McCarthy, John},
  journal={Communications of the ACM},
  volume={3},
  number={4},
  pages={184--195},
  year={1960},
  publisher={ACM New York, NY, USA}
}

@book{okasaki1999purely,
  title={Purely functional data structures},
  author={Okasaki, Chris},
  year={1999},
  publisher={Cambridge University Press}
}

@inproceedings{hickey2008clojure,
  title={The {Clojure} programming language},
  author={Hickey, Rich},
  booktitle={Proceedings of the 2008 symposium on Dynamic languages},
  pages={1--1},
  year={2008}
}

@book{sicp,
  title={Structure and interpretation of computer programs},
  author={Abelson, Harold and Sussman, Gerald Jay and Sussman, Julie},
  year={1996},
  publisher={MIT Press}
}

@misc{hickey2009persistent,
  title={Persistent Data Structures and Managed References},
  author={Hickey, Rich},
  year={2009}
}

@misc{hickey2019datomic,
  title={Datomic: The fully transactional, cloud-ready, distributed database},
  author={Hickey, Rich and Halloway, Stuart and Gehtland, Justin},
  year={2019}
}

@misc{hickey2009we,
  title={Are we there yet? a deconstruction of object-oriented time},
  author={Hickey, Rich},
  year={2009}
}

@article{kulkarni2012temporal,
  title={Temporal features in {SQL}: 2011},
  author={Kulkarni, Krishna and Michels, Jan-Eike},
  journal={ACM Sigmod Record},
  volume={41},
  number={3},
  pages={34--43},
  year={2012},
  publisher={ACM New York, NY, USA}
}

@book{codd1990relational,
  title={The relational model for database management: version 2},
  author={Codd, Edgar F},
  year={1990},
  publisher={Addison-Wesley Longman Publishing Co., Inc.}
}

@article{chen1976entity,
  title={The entity-relationship model—toward a unified view of data},
  author={Chen, Peter Pin-Shan},
  journal={ACM transactions on database systems (TODS)},
  volume={1},
  number={1},
  pages={9--36},
  year={1976},
  publisher={Acm New York, NY, USA}
}

@inproceedings{doucet1997using,
  title={Using database versions to implement temporal integrity constraints},
  author={Doucet, Anne and Fauvet, Marie-Christine and Gan{\c{c}}arski, St{\'e}phane and Jomier, Genevi{\`e}ve and Monties, Sophie},
  booktitle={International Workshop on Constraint Database Systems},
  pages={219--233},
  year={1997},
  organization={Springer}
}

@article{getz18hyperfiddle,
  title={A Hypermedia tool for making web apps in real-time},
  publisher={Conference Talk at REST FEST},
  author={Getz, Dustin},
  year={2018}
}

@inproceedings{aref2015design,
  title={Design and implementation of the {LogicBlox} system},
  author={Aref, Molham and ten Cate, Balder and Green, Todd J and Kimelfeld, Benny and Olteanu, Dan and Pasalic, Emir and Veldhuizen, Todd L and Washburn, Geoffrey},
  booktitle={Proceedings of the 2015 {ACM SIGMOD International Conference on Management of Data}},
  pages={1371--1382},
  year={2015}
}

@inproceedings{avnur2000eddies,
  title={Eddies: Continuously adaptive query processing},
  author={Avnur, Ron and Hellerstein, Joseph M},
  booktitle={Proceedings of the 2000 {ACM SIGMOD international conference on Management of data}},
  pages={261--272},
  year={2000}
}

@article{jensen1999temporal,
  title={Temporal data management},
  author={Jensen, Christian S and Snodgrass, Richard T},
  journal={IEEE Transactions on knowledge and data engineering},
  volume={11},
  number={1},
  pages={36--44},
  year={1999},
  publisher={IEEE}
}

@article{snodgrass1996adding,
  title={Adding valid time to {SQL/temporal}},
  author={Snodgrass, Richard T and B{\"o}hlen, Michael H and Jensen, Christian S and Steiner, Andreas},
  journal={ANSI X3H2-96-501r2, ISO/IEC JTC},
  volume={1},
  year={1996}
}

@article{blakeley1986efficiently,
  title={Efficiently updating materialized views},
  author={Blakeley, Jose A and Larson, Per-Ake and Tompa, Frank Wm},
  journal={ACM SIGMOD Record},
  volume={15},
  number={2},
  pages={61--71},
  year={1986},
  publisher={ACM New York, NY, USA}
}


@article{emerick2014api,
  title={Distributed Systems and the End of the API},
  author={Emerick, Chas},
  year={2014},
  publisher={The Quilt Project}
}


@article{condie2008evita,
  title={Evita raced: metacompilation for declarative networks},
  author={Condie, Tyson and Chu, David and Hellerstein, Joseph M and Maniatis, Petros},
  journal={Proceedings of the VLDB Endowment},
  volume={1},
  number={1},
  pages={1153--1165},
  year={2008},
  publisher={VLDB Endowment}
}

@incollection{forgy1989rete,
  title={Rete: A fast algorithm for the many pattern/many object pattern match problem},
  author={Forgy, Charles L},
  booktitle={Readings in Artificial Intelligence and Databases},
  pages={547--559},
  year={1989},
  publisher={Elsevier}
}

@inproceedings{gjengset2018noria,
  title={Noria: dynamic, partially-stateful data-flow for high-performance web applications},
  author={Gjengset, Jon and Schwarzkopf, Malte and Behrens, Jonathan and Ara{\'u}jo, Lara Timb{\'o} and Ek, Martin and Kohler, Eddie and Kaashoek, M Frans and Morris, Robert},
  booktitle={13th $\{$USENIX$\}$ Symposium on Operating Systems Design and Implementation ($\{$OSDI$\}$ 18)},
  pages={213--231},
  year={2018}
}

@inproceedings{lattuada2016faucet,
  title={Faucet: a user-level, modular technique for flow control in dataflow engines},
  author={Lattuada, Andrea and McSherry, Frank and Chothia, Zaheer},
  booktitle={Proceedings of the 3rd ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond},
  pages={1--4},
  year={2016}
}

@inproceedings{mcsherry2013differential,
  title={Differential Dataflow.},
  author={McSherry, Frank and Murray, Derek Gordon and Isaacs, Rebecca and Isard, Michael},
  booktitle={CIDR},
  year={2013}
}

@inproceedings{murray2013naiad,
  title={Naiad: a timely dataflow system},
  author={Murray, Derek G and McSherry, Frank and Isaacs, Rebecca and Isard, Michael and Barham, Paul and Abadi, Mart{\'\i}n},
  booktitle={Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles},
  pages={439--455},
  year={2013}
}

@article{terry1992continuous,
  title={Continuous queries over append-only databases},
  author={Terry, Douglas and Goldberg, David and Nichols, David and Oki, Brian},
  journal={{ACM SIGMOD} Record},
  volume={21},
  number={2},
  pages={321--330},
  year={1992},
  publisher={ACM New York, NY, USA}
}

@mastersthesis{gobel2019optimising,
  title={Optimising Distributed Dataflows in Interactive Environments},
  author={G{\"o}bel, Nikolas Cintahoron},
  year={2019},
  school={{ETH} Zurich, Computer Science Department}
}

@book{nascimento1995ivtt,
  title={IVTT: A Bitemporal Indexing Structure Based on Incremental Valid Time Trees},
  author={Nascimento, Mario and Eich, Margaret H and Elmasri, Ramez},
  year={1995},
  publisher={Citeseer}
}

@book{kleppmann2017designing,
  title={Designing data-intensive applications: The big ideas behind reliable, scalable, and maintainable systems},
  author={Kleppmann, Martin},
  year={2017},
  publisher={" O'Reilly Media, Inc."}
}

@incollection{snodgrass1992temporal,
  title={Temporal databases},
  author={Snodgrass, Richard T},
  booktitle={Theories and methods of spatio-temporal reasoning in geographic space},
  pages={22--64},
  year={1992},
  publisher={Springer}
}

@inproceedings{ananthanarayanan2011disk,
  title={Disk-locality in datacenter computing considered irrelevant.},
  author={Ananthanarayanan, Ganesh and Ghodsi, Ali and Shenker, Scott and Stoica, Ion},
  booktitle={HotOS},
  volume={13},
  pages={12--12},
  year={2011}
}

@book{brooks1995mythical,
  title={The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition, 2/E},
  author={Brooks Jr, Frederick P and others},
  year={1995},
  publisher={Pearson Education}
}

@inproceedings{alvaro2011consistency,
  title={Consistency Analysis in Bloom: a CALM and Collected Approach.},
  author={Alvaro, Peter and Conway, Neil and Hellerstein, Joseph M and Marczak, William R},
  booktitle={CIDR},
  pages={249--260},
  year={2011}
}

@article{byrd2010relational,
  title={Relational programming in {miniKanren}: techniques, applications, and implementations},
  author={Byrd, William E},
  year={2010},
  publisher={[Bloomington, Ind.]: Indiana University}
}

@article{kakkar19log,
  title={The Human Log},
  author={Kakkar, Neil},
  year={2019}
}

@techreport{hickey2012values,
  title={Values and Change -- Clojure’s approach to Identity and State},
  author={Hickey, Rich},
  year={2012},
  institution={Technical report, Clojure}
}

@book{may1973historylog,
  title={A History of Marine Navigation. With a Chapter on Modern Developments by Leonard Holder},
  author={May, William Edward and Holder, Leonard},
  year={1973},
  publisher={G. T. Foulis \& Co. Ltd., Henley-on-Thames, Oxfordshire}
}

@article{zubeck1997implementing,
  title={Implementing reuse with {RAD} tools' native objects},
  author={Zubeck, John C},
  journal={Computer},
  volume={30},
  number={10},
  pages={60--65},
  year={1997},
  publisher={IEEE}
}

@article{mackay2000reconfiguring,
  title={Reconfiguring the user: Using rapid application development},
  author={Mackay, Hugh and Carne, Chris and Beynon-Davies, Paul and Tudhope, Doug},
  journal={Social studies of science},
  volume={30},
  number={5},
  pages={737--757},
  year={2000},
  publisher={Sage Publications London}
}

@article{chen2010developing,
  title={Developing {EMRs} in developing countries},
  author={Chen, Weihua and Akay, Metin},
  journal={IEEE Transactions on Information Technology in Biomedicine},
  volume={15},
  number={1},
  pages={62--65},
  year={2010},
  publisher={IEEE}
}

@book{evans2004domain,
  title={Domain-driven design: tackling complexity in the heart of software},
  author={Evans, Eric},
  year={2004},
  publisher={Addison-Wesley Professional}
}

@misc{schmidt2014live,
  title={Live-updating web page generation},
  author={Schmidt, Geoffrey Robert and Martin, Nick and DeBergalis, Matthew and Greenspan, David L},
  year={2014},
  month=jun # "~5",
  publisher={Google Patents},
  note={US Patent App. 13/691,732}
}

@inproceedings{reynders2014multi,
  title={Multi-tier functional reactive programming for the web},
  author={Reynders, Bob and Devriese, Dominique and Piessens, Frank},
  booktitle={Proceedings of the 2014 {ACM} International Symposium on New Ideas, New Paradigms, and Reflections on Programming \& Software},
  pages={55--68},
  year={2014}
}

@misc{ddpspec,
  title={DDP Specification},
  author={Stubailo, Sashko and Willson, Hugh and Oliver, Avital},
  publisher={Meteor Development Group},
  howpublished={\url{https://github.com/meteor/meteor/blob/devel/packages/ddp/DDP.md}},
  note={accessed 2020-05-31},
  year={2012}
}

@misc{ittyon,
  title={Ittyon - Library to manage distributed state for games},
  author={Reeves, James},
  howpublished={\url{https://github.com/weavejester/ittyon}},
  note={accessed 2020-05-31},
  year={2016}
}




@misc{datahike,
  title={Datahike, A durable datalog implementation adaptable for distribution},
  author={Kühne, Konrad and others},
  howpublished={\url{https://github.com/replikativ/datahike}},
  note={accessed 2020-05-31},
  year={2018}
}

@misc{eve,
  title={Eve: Programming designed for humans},
  author={Cole, Joshua and Granger, Chris and Montella, Corey and others},
  howpublished={\url{http://witheve.com}},
  note={accessed 2020-05-31},
  year={2016}
}

@misc{moffat16eve,
  title={All about {Eve}},
  author={Moffat, Rob},
  howpublished={\url{https://robmoff.at/2016/01/13/all-about-eve/}},
  note={accessed 2020-05-31},
  year={2016}
}

@article{veldhuizen2012leapfrog,
  title={Leapfrog triejoin: A simple, worst-case optimal join algorithm},
  author={Veldhuizen, Todd L},
  journal={arXiv preprint arXiv:1210.0481},
  year={2012}
}

@misc{eva,
  title={Eva, a distributed database-system implementing an entity-attribute-value data-model that is time-aware, accumulative, and atomically consistent},
  author={Petersen, Eric and Heimbuch, Ryan, and Dean, Timothy and Hendrickson, Ross and St. Jules, Brandon and Wilding, Tyler and others},
  howpublished={\url{https://github.com/Workiva/eva}},
  note={accessed 2020-05-31},
  year={2019}
}



@article{bowie1979methods,
  title={Methods of implementation of the {MUMPS} global data-base},
  author={Bowie, Jack},
  journal={Medical Informatics},
  volume={4},
  number={3},
  pages={151--164},
  year={1979},
  publisher={Taylor \& Francis}
}

@article{wingerathcase,
  title={The Case for Change Notifications},
  author={Wingerath, Wolfram},
  publisher={Universität Stuttgart},
  year={2017}
}

@incollection{wingerath2019real,
  title={Real-Time Databases},
  author={Wingerath, Wolfram and Ritter, Norbert and Gessert, Felix},
  booktitle={Real-Time \& Stream Data Management},
  pages={21--41},
  year={2019},
  publisher={Springer}
}

@incollection{aller2018evolution,
  title={The Evolution of the CMIO in America},
  author={Aller, Raymond and Rydell, Richard L},
  pages={1--10},
  year={2018},
  publisher={Productivity Press}
}

@inproceedings{murray2013naiad,
  title={Naiad: a timely dataflow system},
  author={Murray, Derek G and McSherry, Frank and Isaacs, Rebecca and Isard, Michael and Barham, Paul and Abadi, Mart{\'\i}n},
  booktitle={Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles},
  pages={439--455},
  year={2013}
}

@inproceedings{mcsherry2013differential,
  title={Differential Dataflow.},
  author={McSherry, Frank and Murray, Derek Gordon and Isaacs, Rebecca and Isard, Michael},
  booktitle={CIDR},
  year={2013}
}

@article{abiteboul1988datalog,
  title={Datalog extensions for database queries and updates},
  author={Abiteboul, Serge and Vianu, Victor},
  year={1988}
}

@article{green2013datalog,
  title={Datalog and recursive query processing},
  author={Green, Todd J and Huang, Shan Shan and Loo, Boon Thau and Zhou, Wenchao and others},
  journal={Foundations and Trends in Databases},
  volume={5},
  number={2},
  pages={105--195},
  year={2013},
  publisher={Now Publishers, Inc.}
}

@inproceedings{malik2007black,
  title={A Black-Box Approach to Query Cardinality Estimation.},
  author={Malik, Tanu and Burns, Randal C and Chawla, Nitesh V},
  booktitle={CIDR},
  pages={56--67},
  year={2007}
}

@inproceedings{neumann2011characteristic,
  title={Characteristic sets: Accurate cardinality estimation for RDF queries with multiple joins},
  author={Neumann, Thomas and Moerkotte, Guido},
  booktitle={2011 IEEE 27th International Conference on Data Engineering},
  pages={984--994},
  year={2011},
  organization={IEEE}
}

@misc{juxtcrux,
  title={Crux Documentation, section on "comparisons"},
  howpublished={\url{https://opencrux.com/docs#faq-comparisons}},
  note={accessed 2020-05-31},
  year={2019},
  author={Pither, Jon and Taylor, Jeremy and Mason, Dan and Råberg, Håkan and Sparks, Malcolm and Antonelli, Johanna and Henderson, James and Fedorov, Ivan},
}

@misc{supabase,
  title={Supabase},
  howpublished={\url{https://supabase.io/docs/library/subscribe}},
  year={2020},
  author={Copplestone, Paul and Wilson, Ant and de los Reyes, Angelico}
}

@article{stauber2016immutable,
  title={Immutable databases at the example of Datomic},
  author={Stauber, Tobias},
  year={2016}
}


@misc{parker15posh,
  title={Datomic -- DataScript syncing/replication utilities},
  howpublished={\url{https://github.com/denistakeda/posh}},
  year={2015},
  author={Parker, Matt and Krivosheev, Denis and others},
}

@misc{datomicdocs,
  title={Datomic Documentation},
  howpublished={Cognitect, Inc. \url{https://docs.datomic.com/on-prem/index.html}},
  note={accessed 2020-05-31},
  year={2019},
  author={Hickey, Rich and Halloway, Stuart and others},
}

@misc{krivosheev19reposh,
  title={re-posh, Use your re-frame with {DataScript} as a data storage},
  howpublished={\url{https://github.com/denistakeda/re-posh}},
  year={2019},
  author={Krivosheev, Denis and others},
}


@misc{small16datscript,
  title={Datomic -- {DataScript} syncing/replication utilities},
  howpublished={\url{https://github.com/metasoarous/datsync}},
  year={2016},
  author={Small, Christopher and others},
}

@misc{braid19,
  title={Braid-{HTTP}: {Synchronization} for {HTTP}},
  howpublished={\url{https://datatracker.ietf.org/doc/html/draft-toomim-httpbis-braid-http}},
  year={2019},
  author={Toomim, Michael and Little, Greg and Walker, Rafie and Bellomy, Byrn},
}

@misc{prokopov15datascript,
  title={{DataScript}, Immutable database and {Datalog} query engine for {Clojure}, {ClojureScript} and {JS}},
  howpublished={\url{https://github.com/tonsky/datascript}},
  year={2014},
  author={Prokopov, Nikita and Fleis, Ben and Hume, David Thomas and others},
}

@misc{mozillamentat,
  title={Mozilla Mentat, a persistent, relational store inspired by {Datomic} and {DataScript}},
  howpublished={\url{https://github.com/mozilla/mentat}},
  note={GitHub repository, accessed 2020-05-31},
  year={2018},
  author={Alexaner, Nick and Toop, Emily and Kruglov, Grisha and others},
}

@article{weilbach2015replikativ,
  title={replikativ. io: Composable consistency primitives for a scalable and robust global replication system.},
  author={Weilbach, Christian and K{\"u}hne, Konrad and Bieniusa, Annette},
  journal={CoRR},
  year={2015}
}

@inproceedings{weilbach2016decoupling,
  title={Decoupling conflict resolution with CDVCS},
  author={Weilbach, Christian and K{\"u}hne, Konrad and Bieniusa, Annette},
  booktitle={Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data},
  pages={1--6},
  year={2016}
}

@inproceedings{salvaneschi2013towards,
  title={Towards distributed reactive programming},
  author={Salvaneschi, Guido and Drechsler, Joscha and Mezini, Mira},
  booktitle={International Conference on Coordination Languages and Models},
  pages={226--235},
  year={2013},
  organization={Springer}
}

@inproceedings{margara2014we,
  title={We have a DREAM: Distributed reactive programming with consistency guarantees},
  author={Margara, Alessandro and Salvaneschi, Guido},
  booktitle={Proceedings of the 8th {ACM} International Conference on Distributed Event-Based Systems},
  pages={142--153},
  year={2014}
}

@inproceedings{elliott1997functional,
  title={Functional reactive animation},
  author={Elliott, Conal and Hudak, Paul},
  booktitle={Proceedings of the second {ACM SIGPLAN} international conference on Functional programming},
  pages={263--273},
  year={1997}
}

@inproceedings{jastrow2015entity,
  title={The entity-attribute-value data model in a multi-tenant shared data environment},
  author={Jastrow, Torben and Preuss, Thomas},
  booktitle={2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC)},
  pages={494--497},
  year={2015},
  organization={IEEE}
}

@inproceedings{huff1994help,
  title={HELP the next generation: a new client-server architecture.},
  author={Huff, Stanley M and Haug, Peter J and Stevens, Lane E and Dupont, Robert C and Pryor, T Allan},
  booktitle={Proceedings of the Annual Symposium on Computer Application in Medical Care},
  pages={271},
  year={1994},
  organization={American Medical Informatics Association}
}

@inproceedings{kabbedijk2012case,
  title={A case study of the variability consequences of the CQRS pattern in online business software},
  author={Kabbedijk, Jaap and Jansen, Slinger and Brinkkemper, Sjaak},
  booktitle={Proceedings of the 17th European Conference on Pattern Languages of Programs},
  pages={1--10},
  year={2012}
}

@book{okasaki1999purely,
  title={Purely functional data structures},
  author={Okasaki, Chris},
  year={1999},
  publisher={Cambridge University Press}
}

@inproceedings{pinzaru2019towards,
  title={Towards Static Verification of Clojure Contract-Based Programs},
  author={Pinzaru, Gheorghe and Rivera, Victor},
  booktitle={International Conference on Objects, Components, Models and Patterns},
  pages={73--80},
  year={2019},
  organization={Springer}
}

@inproceedings{wiebusch2015decoupling,
  title={Decoupling the entity-component-system pattern using semantic traits for reusable realtime interactive systems},
  author={Wiebusch, Dennis and Latoschik, Marc Erich},
  booktitle={2015 IEEE 8th Workshop on Software Engineering and Architectures for Realtime Interactive Systems (SEARIS)},
  pages={25--32},
  year={2015},
  organization={IEEE}
}

@article{mccarthy1960recursive,
  title={Recursive functions of symbolic expressions and their computation by machine, Part I},
  author={McCarthy, John},
  journal={Communications of the ACM},
  volume={3},
  number={4},
  pages={184--195},
  year={1960},
  publisher={ACM New York, NY, USA}
}

@article{stead1983chartless,
  title={A chartless record—Is it adequate?},
  author={Stead, William W and Hammond, William E and Straube, Mark J},
  journal={Journal of medical systems},
  volume={7},
  number={2},
  pages={103--109},
  year={1983},
  publisher={Springer}
}

@article{decker2000semantic,
  title={The semantic web: The roles of XML and RDF},
  author={Decker, Stefan and Melnik, Sergey and Van Harmelen, Frank and Fensel, Dieter and Klein, Michel and Broekstra, Jeen and Erdmann, Michael and Horrocks, Ian},
  journal={IEEE Internet computing},
  volume={4},
  number={5},
  pages={63--73},
  year={2000},
  publisher={IEEE}
}


@book{jungnickel2018feasibility,
  title={On the feasibility of multi-leader replication in the early tiers},
  author={Jungnickel, Tim},
  volume={11},
  year={2018},
  publisher={Universit{\"a}tsverlag der TU Berlin}
}

@inproceedings{brewer2000towards,
  title={Towards robust distributed systems},
  author={Brewer, Eric A},
  booktitle={{PODC}},
  volume={7},
  year={2000},
  organization={Portland, OR}
}

@article{gilbert2002brewer,
  title={Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services},
  author={Gilbert, Seth and Lynch, Nancy},
  journal={{ACM SIGACT} News},
  volume={33},
  number={2},
  pages={51--59},
  year={2002},
  publisher={{ACM} New York, NY, USA}
}

@article{abadi2012consistency,
  title={Consistency tradeoffs in modern distributed database system design: CAP is only part of the story},
  author={Abadi, Daniel},
  journal={Computer},
  volume={45},
  number={2},
  pages={37--42},
  year={2012},
  publisher={IEEE}
}