
Chapter
7:
Foundations
of
Semantic Query Optimization
249
strategies, that may be used in conjunction with semantic query optimization.
The purpose of this paper is to provide the foundations for this method, formal
definitions, and proofs of correctness.
Assumptions
In this section we start by presenting our assumptions concerning deductive
databases. We also define the notion of a structured deductive database and
show how to transform an arbitrary non-recursive database to one that is struc-
tured. We then prove that this transformation leads to an equivalent database
in the absence of updates to the database.
We will use Prolog notation