F. Sáenz-Pérez

Available identifiers

zbMath Open saenz-perez.fernandoWikidataQ62058496 ScholiaQ62058496MaRDI QIDQ2304531

List of research outcomes

Publication	Date of Publication	Type
Planning for an efficient implementation of hypothetical Bousi\(\sim\)Prolog	2022-01-10	Paper
Applying constraint logic programming to SQL semantic analysis	2020-05-04	Paper
HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems	2020-03-12	Paper
Intuitionistic logic programming for SQL	2017-10-13	Paper
Algorithmic debugging of SQL views	2015-12-07	Paper
A new proposal for debugging Datalog programs	2014-03-26	Paper
An extended constraint deductive database: theory and implementation	2014-02-25	Paper
Programmed search in a timetabling problem over finite domains	2014-01-24	Paper
A proposal for the cooperation of solvers in constraint functional logic programming	2013-12-20	Paper
A declarative embedding of XQuery in a functional-logic language	2013-03-13	Paper
Extending the \(\mathcal{TOY}\) system with the \(\mathrm{ECL}^i\mathrm{PS}^e\) solver over sets of integers	2012-07-20	Paper
Applying constraint logic programming to SQL test case generation	2010-05-04	Paper
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP	2009-10-19	Paper
A Theoretical Framework for the Declarative Debugging of Datalog Programs	2009-01-22	Paper
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation	2008-04-11	Paper
Constraint functional logic programming over finite domains	2007-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q4811598	2004-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4415117	2003-07-28	Paper

Research outcomes over time

This page was built for person: F. Sáenz-Pérez