Database reasoning — A deductive framework for solving large and complex problems by means of subsumption

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

Volumn 777 LNCS, Issue , 1994, Pages 118-138

  Kießling, Werner ^a   Güntzer, Ulrich ^b  

^a UNIVERSITY OF AUGSBURG   (Germany)

^b UNIVERSITY OF TÜBINGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DATA HANDLING; HEURISTIC ALGORITHMS; INFORMATION MANAGEMENT; INFORMATION SYSTEMS; INFORMATION USE; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION; PROCESSING; QUERY PROCESSING; SEMANTICS;

APPLICATION SPECIFIC; FIX-POINT SEMANTICS; HEURISTIC INFORMATION; INTELLIGENT SEARCH; LANGUAGE EXTENSIONS; RELATIONAL DATABASE; RESEARCH AND DEVELOPMENT; SEMANTIC KNOWLEDGE;

INTELLIGENT DATABASES;

EID: 84963567466     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57802-1_7     Document Type: Conference Paper

References (18)

1. U. Furbach. Theory Reasoning — Extending First Order Calculi to Handle Theories. In this volume.
2. Sumit Ganguly, Sergio Greco, and Carlo Zaniolo. Minimum and maximum predicates in logic programming. In Proc. ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, pages 154-163, Denver, CO, May 1991. ACM Press.
3. Ulrich Güntzer, Werner Kießling, and Rudolf Bayer. On the evaluation of recursion in (deductive) database systems by efficient differential fixpoint iteration. In Int’l. Proc. IEEE Conf. on Data Engineering, pages 120-129, Los Angeles, CA, Feb. 1987.
4. Ulrich Güntzer, Werner Kießling, and Helmut Thöne. New directions for uncertainty reasoning in deductive databases. In Proc. ACM SIGMOD Conf. on Management of Data, pages 178-187, Denver, CO, May 1991.
5. Sergio Greco, Domenico Sacca, Carlo Zaniolo. Dynamic Programming Optimization for Logic Queries with Aggregates. In Int’l. Conference on Logic Programming, Vancouver, Nov. 1993, pp. 575-589.
6. S. Greco, C. Zaniolo, S. Ganguly: Greedy by Choice. In Proc. of the 11th ACM Symposium on Principles of Database Systems, 1992, pp. 105-113.
7. Werner Kießling, Gerhard Köstler, and Ulrich Güntzer. Fixpoint evaluation with subsumption for probabilistic uncertainty. In GI-Conference Datenbanksysteme in Büro, Technik und Wissenschaft (BTW’93), pages 316-333, Braunschweig, Germany, Mar. 1993. Springer-Verlag.
8. Gerhard Köstler, Werner Kießling, Helmut Thöne, and Ulrich Güntzer. The differential fixpoint operator with subsumption. In Proc. of the 3 rd Int’l. Conf. on Deductive and Object-Oriented Databases, Scottsdale, AR, Dec. 1993, pp. 35-48.
9. James B. H. Kwa. BS*: An admissible bidirectional staged heuristic search algorithm. Artificial Intelligence, 38:95-109, 1989.
10. S. Naqvi, S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, 1989.
11. Judea Pearl. Heuristics, Addison Wesley, 1984.
12. Raghu Ramakrishnan, Divesh Srivastava, and S. Sudarshan. CORAL—Control, Relations and Logic. In Proc. Int’l. Conf. on Very Large Data Bases, pages 238-250, Vancouver, BC, Canada, 1992.
13. International Workshop on Programming with Logic Databases, R. Ramakrishnan (ed), Vanvouver, Nov. 1993.
14. Helmut Schmidt, Werner Kießling, Ulrich Güntzer, and Rudolf Bayer. Compiling exploratory and goal-directed deduction into sloppy delta-iteration. In Proceedings of the Symposium on Logic Programming, pages 233-243, San Francisco, CA, Sep. 1987.
15. Helmut Schmidt, Werner Kießling, Ulrich Güntzer, and Rudolf Bayer. DBA*: Solving combinatorial problems with deductive databases. In Proc. GI/SI-Conference on Datenbanksysteme in Büro, Technik und Wissenschaft (BTW’89), pages 196-215, Zürich, Switzerland, 1989.
16. D. Sacca, C. Zaniolo. Stable Models and Non-Determinism in Logic Programs with Negation. In Proc. of the 9th ACM Symposium on Principles of Database Systems, 1990, pp. 205-217.
17. H. Schmidt, N. Steger, U. Güntzer, W. Kießling, R. Azone, R. Bayer. Combining Deduction by Certainty with the Power of Magic. In Deductive and Object-Oriented Databases, Kim, Nicolas and Nishio (eds.), Elsevier Science Publishers, North-Holland, 1990, pp. 103-122.
18. Special Issue on Prototypes of Deductive Databases, VLDB Journal, K. Ramamohanarao (ed), to appear 1994.