4 citations · 10 across the 6 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.DB2015★ 4 cited
Restricted Predicates for Hypothetical Datalog
Fernando Sáenz-Pérez
Hypothetical Datalog is based on an intuitionistic semantics rather than on a classical logic semantics, and embedded implications are allowed in rule bodies. While the usual impli…
cs.LO2015★ 2 cited
Improving the Deductive System DES with Persistence by Using SQL DBMS's
Fernando Sáenz-Pérez
This work presents how persistent predicates have been included in the in-memory deductive system DES by relying on external SQL database management systems. We introduce how persi…