Update propagation in deductive databases using soft stratification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3255, Issue , 2004, Pages 22-36

  Behrend, Andreas ^a   Manthey, Rainer ^a  

^a UNIVERSITY OF BONN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EFFICIENCY; INTELLIGENT DATABASES;

BOTTOM UP; COMBINING RULES; FIXPOINT COMPUTATIONS; MAGIC SETS; PROPAGATION RULE; QUERY ANSWERING; WELL-FOUNDED MODELS;

DATABASE SYSTEMS;

EID: 33645964392     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30204-9_2     Document Type: Review

References (22)

1. KRZYSZTOF R. APT, HOWARD A. BLAIR, AND ADRIAN WALKER. Towards a theory of declarative knowledge. Foundations of Deductive Databases and Logic Programs, pages 89-148, M. Kaufmann, 1988.
2. ISAAC BALBIN, GRAEME S. PORT, KOTAGIRI RAMAMOHANARAO, AND KRISHNAMURTHY MEENAKSHI. Efficient bottom-up computation of queries. JLP, 11(3&4): 295-344, October 1991.
3. ELENA BARALIS AND JENNIFER WIDOM. A rewriting technique for using delta relations to improve condition evaluation in active databases. Technical Report CS-93-1495, Stanford University, November 1993.
4. ANDREAS BEHREND. Soft stratification for magic set based query evaluation in deductive databases. PODS 2003, New York, June 9-12, pages 102-110.
5. STEFANO CERI AND JENNIFER WIDOM. Deriving incremental production rules for deductive data. Information Systems, 19(6):467-490, 1994.
6. ULRIKE GRIEFAHN. Reactive Model Computation - A Uniform Approach to the Implementation of Deductive Databases. PhD Thesis, University of Bonn, 1997.
7. TIMOTHY GRIFFIN AND LEONID LIBKIN. Incremental maintenance of views with duplicates. SIGMOD 1995, May 23-25, 1995, San Jose, pages 328-339.
8. ASHISH GUPTA, INDERPAL S. MUMICK, AND KENNETH A. ROSS. Adapting materialized views after redefinitions. SIGMOD 1995, 24(2):211-222, 1995.
9. ASHISH GUPTA, INDERPAL S. MUMICK, AND V. S. SUBRAHMANIAN. Maintaining views incrementally. SIGMOD 1993, volume 22(2), pages 157-166.
10. VOLKER KÜCHENHOFF. On the efficient computation of the difference between consecutive database states. DOOD 1991: 478-502, volume 566 of LNCS, Springer.
11. ALON Y. LEVY AND YEHOSHUA SAGIV. Queries Independent of Updates. VLDB 1993: 171-181, Morgan Kaufmann.
12. RAINER MANTHEY. Reflections on some fundamental issues of rule-based incremental update propagation. DAISD 1994: 255-276, September 19-21.
13. BERN MARTENS AND MAURICE BRUYNOOGHE. Integrity constraint checking in deductive databases using a rule/goal graph. EDS 1988: 567-601.
14. GUIDO MOERKOTTE AND STEFAN KARL. Efficient consistency control in deductive databases. ICDT 1988, volume 326 of LNCS, pages 118-128.
15. INDERPAL S. MUMICK AND HAMID PIRAHESH. Implementation of magic-sets in a relational database system. SIGMOD 1994, 23(2): 103-114.
16. JEFFREY F. NAUGHTON, RAGHU RAMAKRISHNAN, YEHOSHUA SAGIV, AND JEFFREY D. ULLMAN.: Efficient Evaluation of Right-, Left-, and Multi-Linear Rules. SIGMOD 1989: 235-242.
17. ANTONI OLIVÉ. Integrity constraints checking in deductive databases. VLDB 1991, pages 513-523.
18. FARIBA SADRI AND ROBERT A. KOWALSKI. A theorem proving approach to database integrity. Foundations of Deductive Databases and Logic Programs, pages 313-362, M. Kaufmann, 1988.
19. TONI URPÍ AND ANTONI OLIVÉ. A method for change computation in deductive databases. VLDB 1992, August 23-27, Vancouver, pages 225-237.
20. ALLEN VAN GELDER. The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences, 47(1):185-221, August 1993.
21. LAURENT VIEILLE, PETRA BAYER, AND VOLKER KÜCHENHOFF. Integrity checking and materialized views handling by update propagation in the EKS-V1 system. Technical Report TR-KB-35, ECRC, München, June, 1991.
22. BEAT WÜTHRICH. Detecing inconsistencies in deductive databases. Technical Report 1990TR-123, Swiss Federal Institute of Technology (ETH), 1990.