A new approach to embedding complex queries that uses Skolemisation to eliminate existential variables for efficient querying.
Francois Luus