Fernando Sáenz-Pérez

Available identifiers

Publication	Date of Publication	Type
Planning for an Efficient Implementation of Hypothetical Bousi∼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 ECL i 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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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