Chase of datalog programs and its application to solve the functional dependencies implication problem

Aquesta tesi apareix a les col·leccions següents