Title | Relational Decomposition using Answer Set Programming |
Publication Type | Conference Paper |
Year of Publication | 2013 |
Authors | De Raedt L, Paramonov S, van Leeuwen M |
Conference Name | International Conference on Inductive Logic Programming |
Date Published | 08/2013 |
Abstract | Motivated by an analogy with matrix decomposition, we introduce the novel problem of relational decomposition. In matrix decomposition, one is given a matrix and has to decompose it as a product of other matrices. In rela- tional decomposition, one is given a relation r and one has to decompose it as a conjunctive query of a particular form q :– q1 ∧ ... ∧ qn. Furthermore, the de- composition has to satisfy certain constraints (e.g. that r ≈ q holds). Relational decomposition is thus the inverse problem of querying as one is given the result of the query and has to compute the relations constituting the query itself. |