{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T08:29:23Z","timestamp":1673598563947},"reference-count":26,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.200.5","type":"journal-article","created":{"date-parts":[[2015,12,17]],"date-time":"2015-12-17T07:15:42Z","timestamp":1450336542000},"page":"64-79","source":"Crossref","is-referenced-by-count":3,"title":["Restricted Predicates for Hypothetical Datalog"],"prefix":"10.4204","volume":"200","author":[{"given":"Fernando","family":"S\u00e1enz-P\u00e9rez","sequence":"first","affiliation":[{"name":"Universidad Complutense de Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2015,12,19]]},"reference":[{"issue":"1","key":"ANSS14jlap","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.jlap.2013.07.002","article-title":"An extended constraint deductive database: Theory and implementation.","volume":"83","author":"Aranda","year":"2014","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"EasyChair:355","series-title":"EPiC Series","first-page":"9","article-title":"Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems","volume-title":"LPAR-19","volume":"26","author":"Aranda","year":"2014"},{"key":"Bonner89hypotheticaldatalog","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1145\/73721.73750","article-title":"Hypothetical Datalog: Negation and Linear Recursion","volume-title":"Proceedings of the PODS ACM Symposium","author":"Bonner","year":"1989"},{"key":"Bonner90hypotheticaldatalog","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(90)90011-6","article-title":"Hypothetical Datalog: Complexity and Expressibility","volume":"76","author":"Bonner","year":"1990","journal-title":"Theoretical Computer Science"},{"key":"bonner90adding","first-page":"681","article-title":"Adding Negation-as-Failure to Intuitionistic Logic Programming","volume-title":"Proc. of the North American Conference on Logic Programming","author":"Bonner","year":"1990"},{"key":"DBLP:conf\/dagstuhl\/ChristiansenA98","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/BFb0055505","article-title":"A Practical Approach to Hypothetical Database Queries","volume-title":"Transactions and Change in Logic Databases","author":"Christiansen","year":"1998"},{"key":"Date2009","volume-title":"SQL and relational theory: how to write accurate SQL code","author":"Date","year":"2009"},{"key":"Dietrich87","first-page":"264","article-title":"Extension Tables: Memo Relations in Logic Programming","volume-title":"IEEE Symp. on Logic Programming","author":"Dietrich","year":"1987"},{"issue":"4","key":"DBLP:journals\/jlp\/Gabbay85","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0743-1066(84)90029-3","article-title":"N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure","volume":"2","author":"Gabbay","year":"1985","journal-title":"JLP"},{"key":"Gelfond91classicalnegation","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical Negation in Logic Programs and Disjunctive Databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Generation Computing"},{"issue":"4","key":"DBLP:journals\/jdwm\/GolfarelliR09a","doi-asserted-by":"publisher","first-page":"24","DOI":"10.4018\/jdwm.2009080702","article-title":"What-if Simulation Modeling in Business Intelligence","volume":"5","author":"Golfarelli","year":"2009","journal-title":"IJDWM"},{"key":"Guzman:2008:ICC:1785754.1785768","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-77442-6_14","article-title":"An improved continuation call-based implementation of tabling","volume-title":"Proc. of the 10th International Conference on Practical Aspects of Declarative Languages","author":"de Guzm\u00e1n","year":"2008"},{"issue":"1","key":"DBLP:journals\/jlp\/McCarty88","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","article-title":"Clausal Intuitionistic Logic I - Fixed-Point Semantics","volume":"5","author":"McCarty","year":"1988","journal-title":"JLP"},{"key":"Miller86atheory","first-page":"106","article-title":"A Theory of Modules for Logic Programming","volume-title":"Symp. Logic Programming","author":"Miller","year":"1986"},{"key":"uniform","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","article-title":"Uniform Proofs as a Foundation for Logic Programming","volume":"51","author":"Miller","year":"1991","journal-title":"Annals of Pure and Applied Logic"},{"key":"sae13c-ictai13","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1109\/ICTAI.2013.94","article-title":"Implementing Tabled Hypothetical Datalog","volume-title":"Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'13","author":"S\u00e1enz-P\u00e9rez","year":"2013"},{"key":"sae13a","doi-asserted-by":"publisher","first-page":"1","DOI":"10.14279\/tuj.eceasst.55.819","article-title":"Tabling with Support for Relational Features in a Deductive Database","volume":"55","author":"S\u00e1enz-P\u00e9rez","year":"2013","journal-title":"Electronic Communications of the EASST"},{"key":"DBLP:conf\/aplas\/Saenz-PerezCG11","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-25318-8_8","article-title":"A Deductive Database with Datalog and SQL Query Languages","volume-title":"APLAS","volume":"7078","author":"S\u00e1enz-P\u00e9rez","year":"2011"},{"key":"Shen02slt-resolutionfor","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1023\/A:1020116927466","article-title":"SLT-Resolution for the Well-Founded Semantics","volume":"28","author":"Shen","year":"2002","journal-title":"JAR"},{"key":"Stonebraker:1980:EEK:582250.582261","series-title":"SIGMOD '80","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/582250.582261","article-title":"Embedding Expert Knowledge and Hypothetical Data Bases into a Data Base System","volume-title":"Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data","author":"Stonebraker","year":"1980"},{"key":"DBLP:journals\/tplp\/SwiftW12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1017\/S1471068411000500","article-title":"XSB: Extending Prolog with Tabled Logic Programming","volume":"12","author":"Swift","year":"2012","journal-title":"TPLP"},{"key":"TS86","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","article-title":"OLDT Resolution with Tabulation","volume-title":"Third International Conference on Logic Programming","author":"Tamaki","year":"1986"},{"key":"Ullman88","volume-title":"Database and Knowledge-Base Systems, Vols. I (Classical Database Systems) and II (The New Technologies)","author":"Ullman","year":"1988"},{"key":"DBLP:conf\/lpar\/VieilleBKLM92","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/BFb0013102","article-title":"The EKS-V1 System","volume-title":"LPAR","volume":"624","author":"Vieille","year":"1992"},{"key":"Zhang:2007:AHQ:1304611.1306565","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/IDEAS.2007.4318088","article-title":"Applying Hypothetical Queries to E-Commerce Systems to Support Reservation and Personal Preferences","volume-title":"Proc. of IDEAS '07","author":"Zhang","year":"2007"},{"key":"DBLP:conf\/bife\/ZhouCZ09","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1109\/BIFE.2009.127","article-title":"Hypothetical Queries on Multidimensional Dataset","volume-title":"Proc. of BIFE","author":"Zhou","year":"2009"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2015,12,24]],"date-time":"2015-12-24T01:39:02Z","timestamp":1450921142000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1512.06945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,19]]},"references-count":26,"URL":"https:\/\/doi.org\/10.4204\/eptcs.200.5","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,19]]}}}