an enhanced inference mechanism for generating relational algebra queries
A system for interfacing Prolog programs with relational algebra is presented. The system produces relational algebra queries using a deferred evaluation approach. Least fixed point (LFP) queries are automatically managed. An optimization method for removing redundant relations is also presented.
inference relation algebra queries systems interfaces prolog program evaluation management optimality method redundancy fixed-points