Optimizing Recursive Queries with Progam Synthesis-Reference-Cited by-同舟云学术

Optimizing Recursive Queries with Progam Synthesis

Published:2022-06-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 International Conference on Management of Data
language:
Short-container-title:

Author:

Wang Yisu Remy¹,Abo Khamis Mahmoud²,Ngo Hung Q.³,Pichler Reinhard⁴,Suciu Dan¹

Affiliation:

1. University of Washington & rationalAI, Seattle, WA, USA

2. relationalAI, Berkely, CA, USA

3. relationalAI, Berkeley, CA, USA

4. TU Wien, Vienna, Austria

Funder

Austrian Science Fund (FWF)

NSF

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3514221.3517827

Reference56 articles.

1. Serge Abiteboul , Richard Hull , and Victor Vianu . 1995. Foundations of Databases . Addison-Wesley . http://webdam.inria.fr/Alice/ Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases .Addison-Wesley. http://webdam.inria.fr/Alice/

2. Aws Albarghouthi , Paraschos Koutris , Mayur Naik , and Calvin Smith . 2017 . Constraint-Based Synthesis of Datalog Programs. In Principles and Practice of Constraint Programming - 23rd International Conference , CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Lecture Notes in Computer Science , Vol. 10416), J. Christopher Beck (Ed.). Springer, 689-- 706 . https://doi.org/10.1007/978--3--319--66158--2_44 Aws Albarghouthi, Paraschos Koutris, Mayur Naik, and Calvin Smith. 2017. Constraint-Based Synthesis of Datalog Programs. In Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10416), J. Christopher Beck (Ed.). Springer, 689--706. https://doi.org/10.1007/978--3--319--66158--2_44

3. Peter Alvaro , William R. Marczak , Neil Conway , Joseph M. Hellerstein , David Maier , and Russell Sears . 2010 . Dedalus: Datalog in Time and Space. In Datalog Reloaded - First International Workshop, Datalog 2010 , Oxford, UK, March 16--19 , 2010. Revised Selected Papers (Lecture Notes in Computer Science, Vol. 6702), Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Jon Sellers (Eds.). Springer, 262--281. https://doi.org/10.1007/978--3--642--24206--9_16 Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, and Russell Sears. 2010. Dedalus: Datalog in Time and Space. In Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16--19, 2010. Revised Selected Papers (Lecture Notes in Computer Science, Vol. 6702), Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Jon Sellers (Eds.). Springer, 262--281. https://doi.org/10.1007/978--3--642--24206--9_16

4. Efficient bottom-up computation of queries on stratified databases

5. Francois Bancilhon , David Maier , Yehoshua Sagiv , and Jeffrey D. Ullman . 1986. Magic Sets and Other Strange Ways to Implement Logic Programs . In Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24--26 , 1986 , Cambridge, Massachusetts, USA, Avi Silberschatz (Ed.). ACM, 1--15. https://doi.org/10.1145/6012.15399 Francois Bancilhon, David Maier, Yehoshua Sagiv, and Jeffrey D. Ullman. 1986. Magic Sets and Other Strange Ways to Implement Logic Programs. In Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24--26, 1986, Cambridge, Massachusetts, USA, Avi Silberschatz (Ed.). ACM, 1--15. https://doi.org/10.1145/6012.15399

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. HAP: SPMD DNN Training on Heterogeneous GPU Clusters with Automated Program Synthesis;Proceedings of the Nineteenth European Conference on Computer Systems;2024-04-22

2. Convergence of datalog over (Pre-) Semirings;Journal of the ACM;2024-04-10

3. Predicate Pushdown for Data Science Pipelines;Proceedings of the ACM on Management of Data;2023-06-13

4. Datalog in Wonderland;ACM SIGMOD Record;2022-07-29