Deductive Databases with Universally Quantified Conditions

Weiling Li, Rajshekhar Sunderraman. Deductive Databases with Universally Quantified Conditions. In José Palazzo Moreira de Oliveira, editor, XXVI Simpósio Brasileiro de Banco de Dados - Short Papers, Florianópolis, Santa Catarina, Brasil, October 3-6, 2011. pages 113-122, SBC, 2011. [doi]

Abstract

Abstract is missing.