Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems. (English) Zbl 1435.68077 Inf. Comput. 271, Article ID 104485, 38 p. (2020). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Nieva} et al., Inf. Comput. 271, Article ID 104485, 38 p. (2020; Zbl 1435.68077) Full Text: DOI
Lipton, James; Nieva, Susana Kripke semantics for higher-order type theory applied to constraint logic programming languages. (English) Zbl 1387.68059 Theor. Comput. Sci. 712, 1-37 (2018). MSC: 68N17 03B15 PDFBibTeX XMLCite \textit{J. Lipton} and \textit{S. Nieva}, Theor. Comput. Sci. 712, 1--37 (2018; Zbl 1387.68059) Full Text: DOI
Aranda-López, Gabriel; Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime An extended constraint deductive database: theory and implementation. (English) Zbl 1283.68145 J. Log. Algebr. Program. 83, No. 1, 20-52 (2014). MSC: 68P15 03B70 PDFBibTeX XMLCite \textit{G. Aranda-López} et al., J. Log. Algebr. Program. 83, No. 1, 20--52 (2014; Zbl 1283.68145) Full Text: DOI
Nieva, Susana; Sánchez-Hernández, Jaime; Sáenz-Pérez, Fernando Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation. (English) Zbl 1137.68339 Garrigue, Jacques (ed.) et al., Functional and logic programming. 9th international symposium, FLOPS 2008, Ise, Japan, April 14–16, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78968-0/pbk). Lecture Notes in Computer Science 4989, 289-304 (2008). MSC: 68N17 68P15 PDFBibTeX XMLCite \textit{S. Nieva} et al., Lect. Notes Comput. Sci. 4989, 289--304 (2008; Zbl 1137.68339) Full Text: DOI