Issue No. 05 - September/October (1998 vol. 10)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.729729
<p><b>Abstract</b>—We present an efficient evaluation technique for modularly stratified deductive database programs for which the local strata level mappings are known at compile time. We present an important subclass of these programs (called EMS-programs) in which one can easily express problems, such as shortest distance, company ownership, bill of materials, and preferential vote counting. Programs written in this style have an easy-to-understand semantics and can be efficiently computed. Another important virtue of these programs is that their modular-stratification properties are independent of the extensional database.</p>
Aggregate operators, deductive database systems, EMS-programs, explicitly locally stratified, negation, query evaluation.
D. B. Kemp and K. Ramamohanarao, "Efficient Recursive Aggregation and Negation in Deductive Databases," in IEEE Transactions on Knowledge & Data Engineering, vol. 10, no. , pp. 727-745, 1998.