{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T18:10:02Z","timestamp":1750788602374,"version":"3.41.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319631387"},{"type":"electronic","value":"9783319631394"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-63139-4_17","type":"book-chapter","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T03:22:55Z","timestamp":1500866575000},"page":"293-308","source":"Crossref","is-referenced-by-count":1,"title":["Intuitionistic Logic Programming for SQL"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6075-4398","authenticated-orcid":false,"given":"Fernando","family":"S\u00e1enz-P\u00e9rez","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Aranda-L\u00f3pez, G., Nieva, S., S\u00e1enz-P\u00e9rez, F., S\u00e1nchez-Hern\u00e1ndez, J.: Incorporating hypothetical views and extended recursion into SQL database systems. In: Mcmillan, K., Middeldorp, A., Sutcliffe, G., Voronkov, A. (eds.) International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19). EPiC Series in Computing, vol. 26, pp. 9\u201322. EasyChair (2014)","DOI":"10.29007\/3drl"},{"issue":"2","key":"17_CR2","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/2503792.2503808","volume":"42","author":"P Atzeni","year":"2013","unstructured":"Atzeni, P., Jensen, C.S., Orsi, G., Ram, S., Tanca, L., Torlone, R.: The relational model is dead, SQL is dead, and i don\u2019t feel so good myself. SIGMOD Rec. 42(2), 64\u201368 (2013)","journal-title":"SIGMOD Rec."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Bonner, A.J., Datalog, H.: Negation and linear recursion. In: Proceedings of the ACM Symposium on Principles of Database Systems (PODS), pp. 286\u2013300 (1989)","DOI":"10.1145\/73721.73750"},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(90)90011-6","volume":"76","author":"AJ Bonner","year":"1990","unstructured":"Bonner, A.J.: Hypothetical datalog: complexity and expressibility. Theor. Comput. Sci. 76, 3\u201351 (1990)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR5","unstructured":"Bonner, A.J., McCarty, L.T.: Adding negation-as-failure to intuitionistic logic programming. In: Lusk, E.L., Overbeek, R.A. (eds.) Proceedings of the North American Conference on Logic Programming (NACLP), pp. 681\u2013703. The MIT Press (1990)"},{"key":"17_CR6","unstructured":"Bonner, A.J., McCarty, L.T., Vadaparty, K.: Expressing database queries with intuitionistic logic. In: Lusk, E.L., Overbeek, R.A. (eds.) Proceedings of the North American Conference on Logic Programming (NACLP), pp. 831\u2013850 (1989)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-29822-6_9","volume-title":"Functional and Logic Programming","author":"R Caballero","year":"2012","unstructured":"Caballero, R., Garc\u00eda-Ruiz, Y., S\u00e1enz-P\u00e9rez, F.: Declarative debugging of wrong and missing answers for SQL views. In: Schrijvers, T., Thiemann, P. (eds.) FLOPS 2012. LNCS, vol. 7294, pp. 73\u201387. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29822-6_9"},{"issue":"6","key":"17_CR8","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E Codd","year":"1970","unstructured":"Codd, E.: A relational model for large shared databanks. Commun. ACM 13(6), 377\u2013390 (1970)","journal-title":"Commun. ACM"},{"key":"17_CR9","unstructured":"Codd, E.: Relational completeness of data base sublanguages. In: Rustin, R. (ed.) Data Base Systems, Courant Computer Science Symposia Series, vol. 6. Prentice-Hall, Englewood Cliffs (1972)"},{"issue":"4","key":"17_CR10","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0743-1066(85)80003-0","volume":"2","author":"DM Gabbay","year":"1985","unstructured":"Gabbay, D.M.: N-prolog: an extension of prolog with hypothetical implication II - logical foundations, and negation as failure. J. Log. Program. 2(4), 251\u2013283 (1985)","journal-title":"J. Log. Program."},{"key":"17_CR11","volume-title":"Database Systems: The Complete Book","author":"H Garcia-Molina","year":"2008","unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.: Database Systems: The Complete Book. Prentice Hall PTR, Upper Saddle River (2008)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Grefen, P.W., de By, R.A.: A multi-set extended relational algebra.: a formal approach to a practical issue. In: Proceedings of the Tenth International Conference on Data Engineering (ICDE), pp. 80\u201388. IEEE (1994)","DOI":"10.1109\/ICDE.1994.283002"},{"issue":"2","key":"17_CR13","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J Hodas","year":"1994","unstructured":"Hodas, J., Miller, D.: Logic programming in a fragment of intuitionistic linear logic. Inf. Comput. 110(2), 327\u2013365 (1994)","journal-title":"Inf. Comput."},{"issue":"1","key":"17_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","volume":"5","author":"LT McCarty","year":"1988","unstructured":"McCarty, L.T.: Clausal intuitionistic logic I - fixed-point semantics. J. Log. Program. 5(1), 1\u201331 (1988)","journal-title":"J. Log. Program."},{"issue":"1","key":"17_CR15","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D Miller","year":"1989","unstructured":"Miller, D.: A logical analysis of modules in logic programming. J. Log. Program. 6(1), 79\u2013108 (1989)","journal-title":"J. Log. Program."},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-78969-7_21","volume-title":"Functional and Logic Programming","author":"S Nieva","year":"2008","unstructured":"Nieva, S., S\u00e1nchez-Hern\u00e1ndez, J., S\u00e1enz-P\u00e9rez, F.: Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, pp. 289\u2013304. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78969-7_21"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"S\u00e1enz-P\u00e9rez, F.: Implementing tabled hypothetical datalog. In: Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), pp. 596\u2013601, November 2013","DOI":"10.1109\/ICTAI.2013.94"},{"key":"17_CR18","first-page":"1","volume":"64","author":"F S\u00e1enz-P\u00e9rez","year":"2014","unstructured":"S\u00e1enz-P\u00e9rez, F.: Towards bridging the expressiveness gap between relational and deductive databases. Electron. Commun. EASST 64, 1\u201322 (2014)","journal-title":"Electron. Commun. EASST"},{"key":"17_CR19","doi-asserted-by":"crossref","first-page":"64","DOI":"10.4204\/EPTCS.200.5","volume":"200","author":"F S\u00e1enz-P\u00e9rez","year":"2015","unstructured":"S\u00e1enz-P\u00e9rez, F.: Restricted predicates for hypothetical datalog. Electron. Proc. Theor. Comput. Sci. 200, 64\u201379 (2015)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"17_CR20","unstructured":"S\u00e1enz-P\u00e9rez, F.: Datalog educational system (2016). http:\/\/des.sourceforge.net\/"},{"key":"17_CR21","volume-title":"Database Systems Concepts","author":"A Silberschatz","year":"2010","unstructured":"Silberschatz, A., Korth, H., Sudarshan, S.: Database Systems Concepts, 6th edn. McGraw-Hill Inc., New York (2010)","edition":"6"},{"key":"17_CR22","volume-title":"The Art of Prolog: Advanced Programming Techniques","author":"L Sterling","year":"1986","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog: Advanced Programming Techniques. MIT Press, Cambridge (1986)"},{"key":"17_CR23","unstructured":"Ullman, J.D.: Database and Knowledge-Base Systems, vols. I (Classical Database Systems) and II (The New Technologies). Computer Science Press (1988)"},{"key":"17_CR24","volume-title":"Advanced Database Systems","author":"C Zaniolo","year":"1997","unstructured":"Zaniolo, C., Ceri, S., Faloutsos, C., Snodgrass, R.T., Subrahmanian, V.S., Zicari, R.: Advanced Database Systems. Morgan Kaufmann, San Francisco (1997)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63139-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T17:28:44Z","timestamp":1750786124000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63139-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319631387","9783319631394"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63139-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}