{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,10]],"date-time":"2026-10-10T06:37:22Z","timestamp":1791614242728,"version":"4.3.4"},"reference-count":57,"publisher":"Association for Computing Machinery (ACM)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2020,1]]},"abstract":"<jats:p>View update is an important mechanism that allows updates on a view by translating them into the corresponding updates on the base relations. The existing literature has shown the ambiguity of translating view updates. To address this ambiguity, we propose a robust language-based approach for making view update strategies programmable and validatable. Specifically, we introduce a novel approach to use Datalog to describe these update strategies. We propose a validation algorithm to check the well-behavedness of the written Datalog programs. We present a fragment of the Datalog language for which our validation is both sound and complete. This fragment not only has good properties in theory but is also useful for solving practical view updates. Furthermore, we develop an algorithm for optimizing user-written programs to efficiently implement updatable views in relational database management systems. We have implemented our proposed approach. The experimental results show that our framework is feasible and efficient in practice.<\/jats:p>","DOI":"10.14778\/3377369.3377380","type":"journal-article","created":{"date-parts":[[2020,2,19]],"date-time":"2020-02-19T18:58:53Z","timestamp":1582138733000},"page":"726-739","source":"Crossref","is-referenced-by-count":15,"title":["Programmable view update strategies on relations"],"prefix":"10.14778","volume":"13","author":[{"given":"Van-Dang","family":"Tran","sequence":"first","affiliation":[{"name":"The Graduate University for Advanced Studies, SOKENDAI, Japan and National Institute of Informatics, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hiroyuki","family":"Kato","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Japan and The Graduate University for Advanced Studies, SOKENDAI, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[{"name":"Peking University, China and National Institute of Informatics, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,2,19]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Database Administrators Stack Exchange. https:\/\/dba.stackexchange.com.  Database Administrators Stack Exchange. https:\/\/dba.stackexchange.com."},{"key":"e_1_2_1_2_1","unstructured":"MySQL Tutorial. http:\/\/www.mysqltutorial.org.  MySQL Tutorial. http:\/\/www.mysqltutorial.org."},{"key":"e_1_2_1_3_1","unstructured":"Oracle Tutorial. https:\/\/www.oracletutorial.com.  Oracle Tutorial. https:\/\/www.oracletutorial.com."},{"key":"e_1_2_1_4_1","unstructured":"PostgreSQL. https:\/\/www.postgresql.org.  PostgreSQL. https:\/\/www.postgresql.org."},{"key":"e_1_2_1_5_1","unstructured":"PostgreSQL 9.6.15 Documentation. https:\/\/www.postgresql.org\/docs\/9.6\/.  PostgreSQL 9.6.15 Documentation. https:\/\/www.postgresql.org\/docs\/9.6\/."},{"key":"e_1_2_1_6_1","unstructured":"PostgreSQL Tutorial. http:\/\/www.postgresqltutorial.com.  PostgreSQL Tutorial. http:\/\/www.postgresqltutorial.com."},{"key":"e_1_2_1_7_1","unstructured":"Questions - Stack Overflow. https:\/\/stackoverflow.com\/questions.  Questions - Stack Overflow. https:\/\/stackoverflow.com\/questions."},{"key":"e_1_2_1_8_1","unstructured":"SQL Server Tutorial. http:\/\/www.sqlservertutorial.net.  SQL Server Tutorial. http:\/\/www.sqlservertutorial.net."},{"key":"e_1_2_1_9_1","unstructured":"Z3: Theorem Prover. https:\/\/z3prover.github.io.  Z3: Theorem Prover. https:\/\/z3prover.github.io."},{"key":"e_1_2_1_10_1","volume-title":"Foundations of Databases","author":"Abiteboul S.","year":"1995","unstructured":"S. Abiteboul , R. Hull , and V. Vianu . Foundations of Databases . Addison-Wesley , 1995 . S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/319628.319634"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2701414"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350250"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863572"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142399"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543633"},{"issue":"57","key":"e_1_2_1_17_1","first-page":"83","article-title":"A general datalog-based framework for tractable query answering over ontologies","volume":"14","author":"Cal\u00ec A.","year":"2012","unstructured":"A. Cal\u00ec , G. Gottlob , and T. Lukasiewicz . A general datalog-based framework for tractable query answering over ontologies . Journal of Web Semantics , 14 : 57 -- 83 , 2012 . A. Cal\u00ec, G. Gottlob, and T. Lukasiewicz. A general datalog-based framework for tractable query answering over ontologies. Journal of Web Semantics, 14:57 -- 83, 2012.","journal-title":"Journal of Web Semantics"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1286643.1286692"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/319732.319740"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/588058.588100"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19797-5_10"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-015-5316-8"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_2_1_26_1","volume-title":"Database Systems: The Complete Book","author":"Garcia-Molina H.","year":"2008","unstructured":"H. Garcia-Molina , J. D. Ullman , and J. Widom . Database Systems: The Complete Book . Prentice Hall Press , 2 edition, 2008 . H. Garcia-Molina, J. D. Ullman, and J. Widom. Database Systems: The Complete Book. Prentice Hall Press, 2 edition, 2008."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.14778\/2824032.2824075"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170066"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064046"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863573"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236769"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_1"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/325405.325423"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/645913.671458"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/602259.602279"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2389241.2389243"},{"key":"e_1_2_1_37_1","volume-title":"Proc. ACM Program. Lang., 2(POPL):41:1--41:29","author":"Ko H.-S.","year":"2017","unstructured":"H.-S. Ko and Z. Hu . An axiomatic basis for bidirectional programming . Proc. ACM Program. Lang., 2(POPL):41:1--41:29 , Dec. 2017 . H.-S. Ko and Z. Hu. An axiomatic basis for bidirectional programming. Proc. ACM Program. Lang., 2(POPL):41:1--41:29, Dec. 2017."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2847538.2847544"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807085.1807100"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2006.167"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/77643.77645"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(91)90012-X"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/777943.777946"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/645912.671143"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3022227.3022239"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3164541.3164584"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291162"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01840451"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1412331.1412334"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2543728.2543737"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2643135.2643141"},{"key":"e_1_2_1_52_1","volume-title":"Database Management Systems","author":"Ramakrishnan R.","year":"1999","unstructured":"R. Ramakrishnan and J. Gehrke . Database Management Systems . McGraw-Hill, Inc. , 2nd edition, 1999 . R. Ramakrishnan and J. Gehrke. Database Management Systems. McGraw-Hill, Inc., 2nd edition, 1999."},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25318-8_8"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90040-N"},{"key":"e_1_2_1_55_1","volume-title":"Programmable view update strategies on relations. CoRR, abs\/1911.05921","author":"Tran V.-D.","year":"2020","unstructured":"V.-D. Tran , H. Kato , and Z. Hu . Programmable view update strategies on relations. CoRR, abs\/1911.05921 , 2020 . V.-D. Tran, H. Kato, and Z. Hu. Programmable view update strategies on relations. CoRR, abs\/1911.05921, 2020."},{"key":"e_1_2_1_56_1","first-page":"77","volume-title":"ETAPS","author":"Zan T.","year":"2016","unstructured":"T. Zan , L. Liu , H. Ko , and Z. Hu . Brul: A putback-based bidirectional transformation library for updatable views . In ETAPS , pages 77 -- 89 , 2016 . T. Zan, L. Liu, H. Ko, and Z. Hu. Brul: A putback-based bidirectional transformation library for updatable views. In ETAPS, pages 77--89, 2016."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997369"}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3377369.3377380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T09:34:10Z","timestamp":1672220050000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3377369.3377380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1]]},"references-count":57,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2020,1]]}},"alternative-id":["10.14778\/3377369.3377380"],"URL":"https:\/\/doi.org\/10.14778\/3377369.3377380","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2020,1]]}}}