The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September/October (1998 vol.10)
pp: 727-745
ABSTRACT
<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>
INDEX TERMS
Aggregate operators, deductive database systems, EMS-programs, explicitly locally stratified, negation, query evaluation.
CITATION
David B. Kemp, Kotagiri Ramamohanarao, "Efficient Recursive Aggregation and Negation in Deductive Databases", IEEE Transactions on Knowledge & Data Engineering, vol.10, no. 5, pp. 727-745, September/October 1998, doi:10.1109/69.729729
36 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool