List of works - Jaime Sánchez-Hernández - Paulina

List of works by Jaime Sánchez-Hernández

An extended constraint deductive database: Theory and implementation

scientific article published in January 2014

Formalizing a Broader Recursion Coverage in SQL

scientific article published in 2013

Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation

article

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas

scientific article published in 2009

Paulina is supported by:

About Paulina

Help