Relational data factorization
The DLV System for Knowledge Representation and Reasoning