Search
Now showing items 1-2 of 2
Exact learning of multivalued dependency formulas
(Elsevier, 2017-12-01)
The transformation of a relational database schema into the fourth normal form, which minimizes data redundancy, relies on the correct identification of multivalued dependencies. In this work, we study the learnability of ...
Translating propositional extended conjunctions of Horn clauses into Boolean circuits
(Elsevier, 2010-01-25)
Horn⊃ is a logic programming language that extends usual Horn clauses by adding intuitionistic implication in goals and clause bodies. This extension can be seen as a way of structuring programs in logic programming. We ...