This chapter provides an analysis of the solution proposed in Chapter 8. It proves compatibility between the Relational Model and Prolog/Datalog. Then it takes a closer look at the solutions of problems from Chapter 2. Finally, it describes some properties of the decomposed Prolog program, which provides intensional knowledge to the database.