{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T02:01:31Z","timestamp":1791424891432,"version":"4.3.3"},"publisher-location":"New York, NY, USA","reference-count":65,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,10]],"date-time":"2022-06-10T00:00:00Z","timestamp":1654819200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"CNS","award":["1909346,2008368"],"award-info":[{"award-number":["1909346,2008368"]}]},{"name":"IIS","award":["1850342,1908984"],"award-info":[{"award-number":["1850342,1908984"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,10]]},"DOI":"10.1145\/3514221.3526142","type":"proceedings-article","created":{"date-parts":[[2022,6,11]],"date-time":"2022-06-11T22:33:49Z","timestamp":1654986829000},"page":"602-616","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["EVA: A Symbolic Approach to Accelerating Exploratory Video Analytics with Materialized Views"],"prefix":"10.1145","author":[{"given":"Zhuangdi","family":"Xu","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gaurav Tarlok","family":"Kakkar","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joy","family":"Arulraj","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Umakishore","family":"Ramachandran","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"D. Abadi Yanif Ahmad M. Balazinska U. \u00c7etintemel Mitch Cherniack J. Hwang W. Lindner Anurag Maskey A. Rasin Esther Ryvkina Nesime Tatbul Ying Xing and S. Zdonik. 2005. The Design of the Borealis Stream Processing Engine. In CIDR."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICACCS48705.2020.9074315"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2019.00132"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2002.994764"},{"key":"e_1_3_2_1_5_1","unstructured":"W. Aref A. Catlin Jianping Fan A. Elmagarmid M. Hammad I. Ilyas M. Marzouk and Xingquan Zhu. 2002 b. A Video Database Management System for Advancing Video Database Research. In Multimedia Information Systems."},{"key":"e_1_3_2_1_6_1","unstructured":"Michael Bayer. 2012. SQLAlchemy. In The Architecture of Open Source Applications Volume II: Structure Scale and a Few More Fearless Hacks Amy Brown and Greg Wilson (Eds.). aosabook.org. http:\/\/aosabook.org\/en\/sqlalchemy.html"},{"key":"e_1_3_2_1_7_1","volume-title":"International Colloquium on Automata, Languages, and Programming","author":"Buchfuhrer David","unstructured":"David Buchfuhrer and Christopher Umans. 2008. The complexity of boolean formula minimization. In International Colloquium on Automata, Languages, and Programming. Springer, 24--35."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"S. Chaudhuri and Kyuseok Shim. 1999. Optimization of queries with user-defined predicates. In TODS.","DOI":"10.1145\/320248.320249"},{"key":"e_1_3_2_1_9_1","volume-title":"Cosette: An Automated Prover for SQL.. In CIDR.","author":"Chu Shumo","year":"2017","unstructured":"Shumo Chu, Chenglong Wang, Konstantin Weitz, and Alvin Cheung. 2017. Cosette: An Automated Prover for SQL.. In CIDR."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.4.3.233"},{"key":"e_1_3_2_1_11_1","volume-title":"xxHash - Extremely fast hash algorithm. https:\/\/github.com\/Cyan4973\/xxHash Retrieved","author":"Collet Yann","year":"2021","unstructured":"Yann Collet. 2021. xxHash - Extremely fast hash algorithm. https:\/\/github.com\/Cyan4973\/xxHash Retrieved Apr 17, 2021 from"},{"key":"e_1_3_2_1_12_1","volume-title":"TASM: A Tile-Based Storage Manager for Video Analytics. ArXiv","author":"Daum Maureen","year":"2020","unstructured":"Maureen Daum, Brandon Haynes, Dong He, Amrita Mazumdar, M. Balazinska, and Alvin Cheung. 2020. TASM: A Tile-Based Storage Manager for Video Analytics. ArXiv, Vol. abs\/2006.02958 (2020)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3035957"},{"key":"e_1_3_2_1_14_1","first-page":"586","article-title":"ReStore","volume":"5","author":"Elghandour Iman","year":"2012","unstructured":"Iman Elghandour and Ashraf Aboulnaga. 2012. ReStore: Reusing Results of MapReduce Jobs. Proc. VLDB Endow., Vol. 5 (2012), 586--597.","journal-title":"Reusing Results of MapReduce Jobs. Proc. VLDB Endow."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247598"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/285055.285059"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.14778\/3115404.3115418"},{"key":"e_1_3_2_1_18_1","volume-title":"SIGMOD '01","author":"C.","unstructured":"C. Galindo-Legaria and Milind Joshi. 2001. Orthogonal optimization of subqueries and aggregation. In SIGMOD '01."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732279.2732280"},{"key":"e_1_3_2_1_20_1","first-page":"19","article-title":"The Cascades Framework for Query Optimization","volume":"18","author":"Graefe G.","year":"1995","unstructured":"G. Graefe. 1995. The Cascades Framework for Query Optimization. IEEE Data Eng. Bull., Vol. 18 (1995), 19--29.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_3_2_1_21_1","volume-title":"Introducing Petastorm: Uber ATG's Data Access Library for Deep Learning. https:\/\/eng.uber.com\/petastorm\/ Retrieved","author":"Gruener R.","year":"2018","unstructured":"R. Gruener, O. Cheng, and Y. Litvin. 2018. Introducing Petastorm: Uber ATG's Data Access Library for Deep Learning. https:\/\/eng.uber.com\/petastorm\/ Retrieved May 7, 2021 from"},{"key":"e_1_3_2_1_22_1","volume-title":"Nectar: Automatic Management of Data and Computation in Datacenters. In OSDI.","author":"Gunda P.","year":"2010","unstructured":"P. Gunda, L. Ravindranath, C. Thekkath, Y. Yu, and Li Zhuang. 2010. Nectar: Automatic Management of Data and Computation in Datacenters. In OSDI."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICME.2002.1035766"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/359581.359600"},{"key":"e_1_3_2_1_25_1","volume-title":"VSS: A Storage System for Video Analytics.","author":"Haynes Brandon","year":"2021","unstructured":"Brandon Haynes. 2021. VSS: A Storage System for Video Analytics."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/191839.191904"},{"key":"e_1_3_2_1_27_1","volume-title":"SIGMOD '93","author":"Hellerstein J.","unstructured":"J. Hellerstein and M. Stonebraker. 1993. Predicate migration: optimizing queries with expensive predicates. In SIGMOD '93."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"I. Ilyas W. Aref and A. Elmagarmid. 2002. Joining Ranked Inputs in Practice. In VLDB.","DOI":"10.1016\/B978-155860869-6\/50094-9"},{"key":"e_1_3_2_1_29_1","unstructured":"Wolfram Research Inc. [n.d.]. Mathematica Version 12.3.1. https:\/\/www.wolfram.com\/mathematica Champaign IL 2021."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Y. Ioannidis. 2003. The History of Histograms (abridged). In VLDB.","DOI":"10.1016\/B978-012722442-8\/50011-2"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559879"},{"key":"e_1_3_2_1_32_1","unstructured":"A. Jhingran. 1988. A Performance Study of Query Optimization Algorithms on a Database System Supporting Procedures. In VLDB."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/3192965.3192971"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5281\/ZENODO.4681234"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.14778\/3372716.3372725"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Daniel Kang John Emmons Firas Abuzaid Peter Bailis and M. Zaharia. 2017. NoScope: Optimizing Neural Network Queries over Video at Scale. arXiv: Databases (2017).","DOI":"10.14778\/3137628.3137664"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.14778\/3476249.3476285"},{"key":"e_1_3_2_1_38_1","unstructured":"M. Kitsuregawa H. Tanaka and T. Moto-Oka. 1989. Architecture and performance of relational algebra machine GRACE."},{"key":"e_1_3_2_1_39_1","unstructured":"Tsung-Yi Lin M. Maire Serge J. Belongie James Hays P. Perona D. Ramanan Piotr Doll\u00e1r and C. L. Zitnick. 2014. Microsoft COCO: Common Objects in Context. In ECCV."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3183751"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/185675.306789"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Wes McKinney. 2010. Data Structures for Statistical Computing in Python.","DOI":"10.25080\/Majora-92bf1922-00a"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.103"},{"key":"e_1_3_2_1_44_1","volume-title":"ExSample: Efficient Searches on Video Repositories through Adaptive Sampling. ArXiv","author":"Moll Oscar","year":"2020","unstructured":"Oscar Moll, F. Bastani, Sam Madden, M. Stonebraker, V. Gadepally, and Tim Kraska. 2020. ExSample: Efficient Searches on Video Repositories through Adaptive Sampling. ArXiv, Vol. abs\/2005.09141 (2020)."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2013.6544837"},{"key":"e_1_3_2_1_46_1","volume-title":"Advanced Query Rewrite for Materialized Views. https:\/\/docs.oracle.com\/database\/121\/DWHSG\/qradv.htm#DWHSG08026 Retrieved","year":"2020","unstructured":"Oracle. 2017. Advanced Query Rewrite for Materialized Views. https:\/\/docs.oracle.com\/database\/121\/DWHSG\/qradv.htm#DWHSG08026 Retrieved Dec 11, 2020 from"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.14778\/3213880.3213890"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"T. Parr Sam Harwell and Kathleen Fisher. 2014. Adaptive LL(*) parsing: the power of dynamic analysis. In OOPSLA.","DOI":"10.1145\/2660193.2660202"},{"key":"e_1_3_2_1_49_1","volume-title":"PyTorch: An Imperative Style","author":"Paszke Adam","unstructured":"Adam Paszke, S. Gross, Francisco Massa, A. Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Z. Lin, N. Gimelshein, L. Antiga, Alban Desmaison, Andreas K\u00f6pf, Edward Yang, Zach DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019. PyTorch: An Imperative Style, High-Performance Deep Learning Library. In NeurIPS."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2014.6816678"},{"key":"e_1_3_2_1_51_1","volume-title":"SIGMOD '96","author":"Poosala Viswanath","unstructured":"Viswanath Poosala, Yannis E. Ioannidis, Peter J. Haas, and Eugene J. Shekita. 1996. Improved histograms for selectivity estimation of range predicates. In SIGMOD '96."},{"key":"e_1_3_2_1_52_1","volume-title":"The problem of simplifying truth functions. The American mathematical monthly","author":"Quine Willard V","year":"1952","unstructured":"Willard V Quine. 1952. The problem of simplifying truth functions. The American mathematical monthly, Vol. 59, 8 (1952), 521--531."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357223.3362702"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2016.2577031"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"crossref","unstructured":"P. Roy S. Seshadri S. Sudarshan and S. Bhobe. 2000. Efficient and extensible algorithms for multi query optimization. ArXiv Vol. cs.DB\/9910021 (2000).","DOI":"10.1145\/342009.335419"},{"key":"e_1_3_2_1_56_1","volume-title":"Proceedings 17th International Conference on Data Engineering","author":"Tan K.","year":"2001","unstructured":"K. Tan, S. Goh, and B. Ooi. 2001. Cache-on-demand: recycling with certainty. Proceedings 17th International Conference on Data Engineering (2001), 633--640."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939141.1939165"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064051"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cviu.2020.102907"},{"key":"e_1_3_2_1_60_1","volume-title":"The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=Computer_algebra&oldid=1000609796. [Online","author":"Wikipedia","year":"2021","unstructured":"Wikipedia contributors. 2021. Computer algebra -- Wikipedia, The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=Computer_algebra&oldid=1000609796. [Online; accessed 23-August-2021]."},{"key":"e_1_3_2_1_61_1","unstructured":"Yuxin Wu Alexander Kirillov Francisco Massa Wan-Yen Lo and Ross Girshick. 2019. Detectron2. https:\/\/github.com\/facebookresearch\/detectron2."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302424.3303971"},{"key":"e_1_3_2_1_63_1","unstructured":"Y. Xu. 1998. Efficiency In The Columbia Database Query Optimizer."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247540"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.14778\/3342263.3342267"}],"event":{"name":"SIGMOD\/PODS '22: International Conference on Management of Data","location":"Philadelphia PA USA","acronym":"SIGMOD\/PODS '22","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 2022 International Conference on Management of Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3514221.3526142","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3514221.3526142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T14:10:13Z","timestamp":1750169413000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3514221.3526142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,10]]},"references-count":65,"alternative-id":["10.1145\/3514221.3526142","10.1145\/3514221"],"URL":"https:\/\/doi.org\/10.1145\/3514221.3526142","relation":{},"subject":[],"published":{"date-parts":[[2022,6,10]]},"assertion":[{"value":"2022-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}