Solution Analysis and Properties

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.



Subsections

Igor Wojnicki 2005-11-07