{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T12:11:35Z","timestamp":1751285495958,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,20]],"date-time":"2021-06-20T00:00:00Z","timestamp":1624147200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Natural Science Foundations of China","award":["61972455"],"award-info":[{"award-number":["61972455"]}]},{"name":"Special Research Fund (BOF)","award":["BOF19OWB16"],"award-info":[{"award-number":["BOF19OWB16"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,20]]},"DOI":"10.1145\/3452021.3458327","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T14:21:58Z","timestamp":1624026118000},"page":"70-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Expressiveness within Sequence Datalog"],"prefix":"10.1145","author":[{"given":"Heba","family":"Aamer","sequence":"first","affiliation":[{"name":"Universiteit Hasselt, Hasselt, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Hidders","sequence":"additional","affiliation":[{"name":"Birkbeck, University of London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Paredaens","sequence":"additional","affiliation":[{"name":"Universiteit Antwerpen, Antwerpen, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[{"name":"Universiteit Hasselt, Hasselt, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,6,20]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(89)80056-2"},{"key":"e_1_3_2_2_2_1","unstructured":"S. Abiteboul R. Hull and V. Vianu. 1995. Foundations of Databases. Addison- Wesley.  S. Abiteboul R. Hull and V. Vianu. 1995. Foundations of Databases. Addison- Wesley."},{"key":"e_1_3_2_2_3_1","volume-title":"CEURWorkshop Proceedings","volume":"2368","author":"Alviano M.","year":"2019","unstructured":"M. Alviano and A. Pieris ( Eds .). 2019 . Datalog 2.0 2019: Third International Workshop on the Resurgence of Datalog in Academia and Industry . CEURWorkshop Proceedings , Vol. 2368 . M. Alviano and A. Pieris (Eds.). 2019. Datalog 2.0 2019: Third International Workshop on the Resurgence of Datalog in Academia and Industry. CEURWorkshop Proceedings, Vol. 2368."},{"volume-title":"Proceedings 1st International Conference on Deductive and Object-Oriented Databases, W. Kim, J.-M. Nicolas, and S. Nishio (Eds.). Elsevier Science Publishers, 40--57","author":"Atkinson M.","key":"e_1_3_2_2_4_1","unstructured":"M. Atkinson , F. Bancilhon , D. DeWitt , K. Dittrich , D. Maier , and S. Zdonik . 1989. The Object-Oriented Database System Manifesto . In Proceedings 1st International Conference on Deductive and Object-Oriented Databases, W. Kim, J.-M. Nicolas, and S. Nishio (Eds.). Elsevier Science Publishers, 40--57 . M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik. 1989. The Object-Oriented Database System Manifesto. In Proceedings 1st International Conference on Deductive and Object-Oriented Databases, W. Kim, J.-M. Nicolas, and S. Nishio (Eds.). Elsevier Science Publishers, 40--57."},{"key":"e_1_3_2_2_5_1","volume-title":"Proceedings 23rd International Conference on Database Theory (Leibniz International Proceedings in Informatics","volume":"20","author":"Barcel\u00f3 P.","unstructured":"P. Barcel\u00f3 , N. Higeura , J. P\u00e9rez , and B. Suercaseaux . 2020. On the expressiveness of LARA: A unified language for linear and relational algebra . In Proceedings 23rd International Conference on Database Theory (Leibniz International Proceedings in Informatics , Vol. 155), C. Lutz and J.C. Jung (Eds.). Schloss Dagstuhl--Leibniz- Zentrum f\u00fcr Informatik, 6:1--6: 20 . P. Barcel\u00f3, N. Higeura, J. P\u00e9rez, and B. Suercaseaux. 2020. On the expressiveness of LARA: A unified language for linear and relational algebra. In Proceedings 23rd International Conference on Database Theory (Leibniz International Proceedings in Informatics, Vol. 155), C. Lutz and J.C. Jung (Eds.). Schloss Dagstuhl--Leibniz- Zentrum f\u00fcr Informatik, 6:1--6:20."},{"key":"e_1_3_2_2_6_1","volume-title":"Lecture Notes in Computer Science","volume":"7494","author":"Barcel\u00f3 P.","year":"2012","unstructured":"P. Barcel\u00f3 and R. Pichler ( Eds .). 2012 . Datalog in Academia and Industry: Second InternationalWorkshop, Datalog 2.0 . Lecture Notes in Computer Science , Vol. 7494 . Springer. P. Barcel\u00f3 and R. Pichler (Eds.). 2012. Datalog in Academia and Industry: Second InternationalWorkshop, Datalog 2.0. Lecture Notes in Computer Science, Vol. 7494. Springer."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876642"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1562"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/342769.342771"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90012-5"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014006"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/101077.390001"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9"},{"volume-title":"Proceedings 12th International Workshop on Rewriting Logic and Its Applications (Lecture Notes in Computer Science","author":"Dur\u00e1n F.","key":"e_1_3_2_2_14_1","unstructured":"F. Dur\u00e1n , S. Eker , S. Escobar , N. Mart\u00ed-Oliet , J. Meseguer , and C. Talcott . 2018. Associative unification and symbolic reasoning modulo associativity in Maude . In Proceedings 12th International Workshop on Rewriting Logic and Its Applications (Lecture Notes in Computer Science , Vol. 11152), V . Rusu (Ed.). Springer, 98--114. F. Dur\u00e1n, S. Eker, S. Escobar, N. Mart\u00ed-Oliet, J. Meseguer, and C. Talcott. 2018. Associative unification and symbolic reasoning modulo associativity in Maude. In Proceedings 12th International Workshop on Rewriting Logic and Its Applications (Lecture Notes in Computer Science, Vol. 11152), V. Rusu (Ed.). Springer, 98--114."},{"key":"e_1_3_2_2_15_1","unstructured":"H.-D. Ebbinghaus and J. Flum. 1999. Finite Model Theory (second ed.). Springer.  H.-D. Ebbinghaus and J. Flum. 1999. Finite Model Theory (second ed.). Springer."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699442"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1514"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1633"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44543-9_5"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(95)00072-0"},{"volume-title":"Proceedings 36th ACM Symposium on Principles of Databases. ACM, 137--149","author":"Hidders J.","key":"e_1_3_2_2_21_1","unstructured":"J. Hidders , J. Paredaens , and J. Van den Bussche. 2017. J-Logic: Logical foundations for JSON querying . In Proceedings 36th ACM Symposium on Principles of Databases. ACM, 137--149 . J. Hidders, J. Paredaens, and J. Van den Bussche. 2017. J-Logic: Logical foundations for JSON querying. In Proceedings 36th ACM Symposium on Principles of Databases. ACM, 137--149."},{"key":"e_1_3_2_2_22_1","unstructured":"J. Hidders J. Paredaens and J. Van den Bussche. 2020. J-Logic: a Logic for Querying JSON. arXiv:2006.04277.  J. Hidders J. Paredaens and J. Van den Bussche. 2020. J-Logic: a Logic for Querying JSON. arXiv:2006.04277."},{"volume-title":"Proceedings 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, F.N. Afrati and J. Sroka (Eds.). 2:1--2:10","author":"Hutchison D.","key":"e_1_3_2_2_23_1","unstructured":"D. Hutchison , B. Howe , and D. Suciu . 2017. LaraDB: A minimalist kernel for linear and relational algebra computation . In Proceedings 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, F.N. Afrati and J. Sroka (Eds.). 2:1--2:10 . D. Hutchison, B. Howe, and D. Suciu. 2017. LaraDB: A minimalist kernel for linear and relational algebra computation. In Proceedings 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, F.N. Afrati and J. Sroka (Eds.). 2:1--2:10."},{"key":"e_1_3_2_2_24_1","unstructured":"IEEE Task Force on Process Mining. 2011. Process mining manifesto. https: \/\/www.tf-pm.org\/resources\/manifesto  IEEE Task Force on Process Mining. 2011. Process mining manifesto. https: \/\/www.tf-pm.org\/resources\/manifesto"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024694.1024697"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/BigData.2017.8258298"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966385.1966386"},{"key":"e_1_3_2_2_28_1","volume-title":"Proceedings 2018 International Conference on Management of Data. ACM, 1421--1432","author":"LDBC Graph Query Language Task Force","year":"2018","unstructured":"LDBC Graph Query Language Task Force . 2018 . G-CORE: A core for future graph query languages . In Proceedings 2018 International Conference on Management of Data. ACM, 1421--1432 . LDBC Graph Query Language Task Force. 2018. G-CORE: A core for future graph query languages. In Proceedings 2018 International Conference on Management of Data. ACM, 1421--1432."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/233269.233335"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3405470"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.929906"},{"key":"e_1_3_2_2_32_1","first-page":"1","article-title":"Incorporating information extraction in the relational database model. In Proceedings 19th International Conference on Web and Databases","volume":"6","author":"Nahshon Y.","year":"2019","unstructured":"Y. Nahshon , L. Peterfreund , and S. Vansummeren . 2019 . Incorporating information extraction in the relational database model. In Proceedings 19th International Conference on Web and Databases . ACM , 6 : 1 -- 6 :7. Y. Nahshon, L. Peterfreund, and S. Vansummeren. 2019. Incorporating information extraction in the relational database model. In Proceedings 19th International Conference on Web and Databases. ACM, 6:1--6:7.","journal-title":"ACM"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/3025111.3025117"},{"key":"e_1_3_2_2_34_1","volume-title":"Proceedings 22nd International Conference on Database Theory (LIPIcs","volume":"18","author":"Peterfreund L.","year":"2019","unstructured":"L. Peterfreund 2019 . Recursive programs for document spanners . In Proceedings 22nd International Conference on Database Theory (LIPIcs , Vol. 127), P. Barcelo and M. Calautti (Eds.). Schloss Dagstuhl--Leibniz Center for Informatics, 13:1-- 13: 18 . L. Peterfreund et al. 2019. Recursive programs for document spanners. In Proceedings 22nd International Conference on Database Theory (LIPIcs, Vol. 127), P. Barcelo and M. Calautti (Eds.). Schloss Dagstuhl--Leibniz Center for Informatics, 13:1-- 13:18."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872427.2883029"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2018.10.023"},{"volume-title":"Machine Intelligence 7","author":"Plotkin G.","key":"e_1_3_2_2_37_1","unstructured":"G. Plotkin . 1972. Building-in equational theories . In Machine Intelligence 7 , B. Meltzer and D. Michie (Eds.). Edinburgh University Press , 73--90. G. Plotkin. 1972. Building-in equational theories. In Machine Intelligence 7, B. Meltzer and D. Michie (Eds.). Edinburgh University Press, 73--90."},{"key":"e_1_3_2_2_38_1","volume-title":"Proceedings 10th International Conference on Scientific and Statistical Database Management, M. Rafanelli and M. Jarke (Eds.). IEEE Computer Society, 84--95","author":"Ramakrishnan R.","year":"1998","unstructured":"R. Ramakrishnan 1998 . SRQL: Sorted relational query language . In Proceedings 10th International Conference on Scientific and Statistical Database Management, M. Rafanelli and M. Jarke (Eds.). IEEE Computer Society, 84--95 . R. Ramakrishnan et al. 1998. SRQL: Sorted relational query language. In Proceedings 10th International Conference on Scientific and Statistical Database Management, M. Rafanelli and M. Jarke (Eds.). IEEE Computer Society, 84--95."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-008-9110-5"},{"key":"e_1_3_2_2_40_1","unstructured":"F. Rusu and Y. Cheng. 2013. A survey on array storage query languages and systems. arXiv:1302.0103.  F. Rusu and Y. Cheng. 2013. A survey on array storage query languages and systems. arXiv:1302.0103."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005566.1005568"},{"volume-title":"Proceedings 11th International Conference on Data Engineering, P.S. Yu and A.L.P. Chen (Eds.). IEEE Computer Society, 232--239","author":"Seshadri P.","key":"e_1_3_2_2_42_1","unstructured":"P. Seshadri , M. Livny , and R. Ramakrishnan . 1995. SEQ: A model for sequence databases . In Proceedings 11th International Conference on Data Engineering, P.S. Yu and A.L.P. Chen (Eds.). IEEE Computer Society, 232--239 . P. Seshadri, M. Livny, and R. Ramakrishnan. 1995. SEQ: A model for sequence databases. In Proceedings 11th International Conference on Data Engineering, P.S. Yu and A.L.P. Chen (Eds.). IEEE Computer Society, 232--239."},{"key":"e_1_3_2_2_43_1","volume-title":"Proceedings 33th International Conference on Very Large Data Bases, Ch. Koch et al. (Eds.). ACM, 1033--1044","author":"Shen W.","year":"2007","unstructured":"W. Shen 2007 . Declarative information extraction using Datalog with embedded extraction . In Proceedings 33th International Conference on Very Large Data Bases, Ch. Koch et al. (Eds.). ACM, 1033--1044 . W. Shen et al. 2007. Declarative information extraction using Datalog with embedded extraction. In Proceedings 33th International Conference on Very Large Data Bases, Ch. Koch et al. (Eds.). ACM, 1033--1044."},{"volume-title":"Principles of Database and Knowledge-Base Systems","author":"Ullman J.D.","key":"e_1_3_2_2_44_1","unstructured":"J.D. Ullman . 1988. Principles of Database and Knowledge-Base Systems . Vol. I . Computer Science Press . J.D. Ullman. 1988. Principles of Database and Knowledge-Base Systems. Vol. I. Computer Science Press."}],"event":{"name":"SIGMOD\/PODS '21: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Virtual Event China","acronym":"SIGMOD\/PODS '21"},"container-title":["Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452021.3458327","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452021.3458327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:00Z","timestamp":1750197780000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452021.3458327"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,20]]},"references-count":44,"alternative-id":["10.1145\/3452021.3458327","10.1145\/3452021"],"URL":"https:\/\/doi.org\/10.1145\/3452021.3458327","relation":{},"subject":[],"published":{"date-parts":[[2021,6,20]]},"assertion":[{"value":"2021-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}