The official (but not yet debugged :-) version of my Mathematics Master Thesis entitled "The Finiteness Principle of Database Theory"

Hull - Su: Domain Independence and the Relational Calculus

There are references to further related literature in the bibliography of my thesis; the Hull-Su paper is the most relevant reference among those which are available on-line.