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

Gabriel Aranda-Lpez, Susana Nieva, Fernando Senz-Prez, Jaime Snchez-Hernndez

Browse the full PPDP paper archive.