@inproceedings{aa4479370d1c4477ab4cf227bbaf90cd,
title = "IceDust: Incremental and eventual computation of derived values in persistent object graphs",
abstract = "Derived values are values calculated from base values. They can be expressed in object-oriented languages by means of getters calculating the derived value, and in relational or logic databases by means of (materialized) views. However, switching to a different calculation strategy (for example caching) in object-oriented programming requires invasive code changes, and the databases limit expressiveness by disallowing recursive aggregation. In this paper, we present IceDust, a data modeling language for expressing derived attribute values without committing to a calculation strategy. IceDust provides three strategies for calculating derived values in persistent object graphs: Calculate-on-Read, Calculate-on-Write, and Calculate-Eventually. We have developed a path-based abstract interpretation that provides static dependency analysis to generate code for these strategies. Benchmarks show that different strategies perform better in different scenarios. In addition we have conducted a case study that suggests that derived value calculations of systems used in practice can be expressed in IceDust.",
keywords = "Data modeling, Domain specific language, Incremental computing",
author = "Harkes, {Daco C.} and Groenewegen, {Danny M.} and Eelco Visser",
year = "2016",
month = jul,
day = "1",
doi = "10.4230/LIPIcs.ECOOP.2016.11",
language = "English",
series = "Leibniz International Proceedings in Informatics",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
pages = "1--26",
editor = "Shriram Krishnamurthi and Lerner, {Benjamin S.}",
booktitle = "30th European Conference on Object-Oriented Programming, ECOOP 2016",
note = "ECOOP 2016 : 30th European Conference on Object-Oriented Programming ; Conference date: 18-07-2016 Through 22-07-2016",
}