forked from michaelpj/change-structures-paper
-
Notifications
You must be signed in to change notification settings - Fork 0
/
paper.bib
203 lines (181 loc) · 5.78 KB
/
paper.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
@book{adamek2004abstract,
title={Abstract and concrete categories. The joy of cats},
author={Ad{\'a}mek, Ji{\v{r}}{\'\i} and Herrlich, Horst and Strecker, George E},
year={2004},
publisher={Citeseer}
}
@article{bancilhon1985note,
title={A note on the performance of Rule Based Systems},
author={Bancilhon, F},
journal={MCC Technical Report DB-022-85},
year={1985}
}
@book{bancilhon1986amateur,
title={An amateur's introduction to recursive query processing strategies},
author={Bancilhon, Francois and Ramakrishnan, Raghu},
volume={15},
number={2},
year={1986},
publisher={ACM}
}
@incollection{bancilhon1986naive,
title={Naive evaluation of recursively defined relations},
author={Bancilhon, Francois},
booktitle={On Knowledge Base Management Systems},
pages={165--178},
year={1986},
publisher={Springer}
}
@article{qian1991incremental,
title={Incremental recomputation of active relational expressions},
author={Qian, Xiaolei and Wiederhold, Gio},
journal={Knowledge and Data Engineering, IEEE Transactions on},
volume={3},
number={3},
pages={337--341},
year={1991},
publisher={IEEE}
}
@article{griffin1997improved,
title={An improved algorithm for the incremental recomputation of active relational expressions},
author={Griffin, Timothy and Libkin, Leonid and Trickey, Howard},
journal={IEEE Transactions on Knowledge \& Data Engineering},
number={3},
pages={508--511},
year={1997},
publisher={IEEE}
}
@article{gupta1993maintaining,
title={Maintaining views incrementally},
author={Gupta, Ashish and Mumick, Inderpal Singh and Subrahmanian, Venkatramanan Siva},
journal={ACM SIGMOD Record},
volume={22},
number={2},
pages={157--166},
year={1993},
publisher={ACM}
}
@article{gupta1995maintenance,
title={Maintenance of materialized views: Problems, techniques, and applications},
author={Gupta, Ashish and Mumick, Inderpal Singh and others},
journal={IEEE Data Eng. Bull.},
volume={18},
number={2},
pages={3--18},
year={1995}
}
@inproceedings{harrison1992maintenance,
title={Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach.},
author={Harrison, John V and Dietrich, Suzanne W},
booktitle={Workshop on Deductive Databases, JICSLP},
pages={56--65},
year={1992}
}
@article{dong2000incremental,
title={Incremental maintenance of recursive views using relational calculus/SQL},
author={Dong, Guozhu and Su, Jianwen},
journal={ACM SIGMOD Record},
volume={29},
number={1},
pages={44--51},
year={2000},
publisher={ACM}
}
@inproceedings{urpi1992method,
title={A method for change computation in deductive databases},
author={Urpi, Toni and Olive, Antoni},
booktitle={VLDB},
volume={92},
pages={225--237},
year={1992}
}
@article{kuchenhoff1991efficient,
title={On the efficient computation of the difference between consecutive database states},
author={K{\"u}chenhoff, Volker},
journal={Deductive and Object-Oriented Databases},
pages={478--502},
year={1991},
publisher={Springer}
}
@inproceedings{cai2014changes,
title={A theory of changes for higher-order languages: Incrementalizing $\lambda$-calculi by static differentiation},
author={Cai, Yufei and Giarrusso, Paolo G and Rendel, Tillmann and Ostermann, Klaus},
booktitle={ACM SIGPLAN Notices},
volume={49},
number={6},
pages={145--155},
year={2014},
organization={ACM}
}
@inproceedings{arntz2016datafun,
title={Datafun: a functional Datalog},
author={Arntzenius, Michael and Krishnaswami, Neelakantan R},
booktitle={Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming},
pages={214--227},
year={2016},
organization={ACM}
}
@unpublished{arntz2017fixpoints,
title={Static differentiation of monotone fixpoints},
author={Arntzenius, Michael},
note={http://www.rntz.net/files/fixderiv.pdf},
year={2017}
}
@book{kilp2000monoids,
title={Monoids, Acts and Categories: With Applications to Wreath Products and Graphs. A Handbook for Students and Researchers},
author={Kilp, Mati and Knauer, Ulrich and Mikhalev, Alexander V},
volume={29},
year={2000},
publisher={Walter de Gruyter}
}
@book{abiteboul1995foundations,
title={Foundations of databases: the logical level},
author={Abiteboul, Serge and Hull, Richard and Vianu, Victor},
year={1995},
publisher={Addison-Wesley Longman Publishing Co., Inc.}
}
@inproceedings{sereni2008adding,
title={Adding magic to an optimising datalog compiler},
author={Sereni, Damien and Avgustinov, Pavel and De Moor, Oege},
booktitle={Proceedings of the 2008 ACM SIGMOD international conference on Management of data},
pages={553--566},
year={2008},
organization={ACM}
}
@inproceedings{schafer2010type,
title={Type inference for datalog with complex type hierarchies},
author={Sch{\"a}fer, Max and de Moor, Oege},
booktitle={ACM Sigplan Notices},
volume={45},
number={1},
pages={145--156},
year={2010},
organization={ACM}
}
@inproceedings{avgustinov2016ql,
title={QL: Object-oriented Queries on Relational Data},
author={Avgustinov, Pavel and de Moor, Oege and Jones, Michael Peyton and Sch{\"a}fer, Max},
booktitle={LIPIcs-Leibniz International Proceedings in Informatics},
volume={56},
year={2016},
organization={Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}
}
@misc{semmleWebsite,
title = {Company website},
author = {Semmle Ltd.},
howpublished = {\url{https://semmle.com}},
note = {Accessed: 2018-01-01}
}
@inproceedings{abramsky1994domain,
title={Domain theory},
author={Abramsky, Samson and Jung, Achim},
booktitle={Handbook of logic in computer science},
year={1994},
organization={Oxford University Press}
}
@book{winskel1993formal,
title={The formal semantics of programming languages: an introduction},
author={Winskel, Glynn},
year={1993},
publisher={MIT press}
}