A generic subsumption testing toolkit knowledge base queries

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

Volumn 1134 LNCS, Issue , 1996, Pages 834-844

  Staudt, Martin ^a   Von Thadden, Kai ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b Krupp Thyssen Nirosta GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EXPERT SYSTEMS; QUERY PROCESSING; SEMANTICS; TERMINOLOGY;

GENERAL SOLUTIONS; GENERIC APPROACH; KNOWLEDGE BASIS; MATERIALIZED VIEW; QUERY OPTIMIZATION; QUESTION ANSWERING; SCHEMA INTEGRATION; SEMANTIC KNOWLEDGE;

INFORMATION MANAGEMENT;

EID: 84899803929     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0034735     Document Type: Conference Paper

References (15)

1. A.V. Aho, Y. Sagiv, and J.D. Ullman. Efficient optimization of a class of relational expressions. ACM Transactions on Database Systems, 4(4):435-454, 1979.
2. F. Bry. Logic programming as constructivism: a formalization and its application to databases. In Proc. 8th ACM SIGACT-SIGMOD-SIGART Syrup. on Principles of Database Systems, pages 34-50, 1989.
3. M. Buchheit, M.A. Jeusfeld, W. Nutt, and M. Staudt. Subsumption of queries to object-oriented databases. Information Systems, 19(1):33-54, 1994.
4. E.P.F. Chan. Containment and minimization of positive conjunctive queries in OODB's. In Proc. 11th ACM SIGACT-SIGMOD-SIGART Syrup. on Principles of Database Systems, pages 202-211, 1992.
5. S. Chaudhuri and M.Y. Vardi. On containment of recursive datalog programs in nonrecursive programs. In Proc. 11th ACM SIGACT-SIGMOD-SIGART Syrup. on Principles of Database Systems, pages 55-66, 1992.
6. R. Demolombe and T. Imielinski, editors. Nonstandard queries and nonstandard answers. Oxford University Press, 1994.
7. M. Jarke, It. GallersdSrfer, M.A. Jeusfeld, M. Standt, and S. Eherer. ConceptBase - A deductive object base for meta data management. Journal of Intelligent Information Systems, Special Issue on Deductive and Object-Oriented Databases, M. Kifer, editor, 4(2):167-192, March 1995.
8. D.S. Johnson and A. Klug. Optimizing conjunctive queries that contain untyped variables. SIAM Journal of Computation, 12(4):616-640, 1983.
9. A.Y. Levy and Y. Sagiv. Queries independent of updates. In Proceedings of the 19th VLDB Conference, 1993.
10. Y. Sagiv. Optimizing Datalog programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 659-698. Morgan Kanfmann, Los Altos, CA, 1988.
11. O. Shmueli. Decidability and expressiveness aspects of logic queries. In Proe. 6th ACM SIGACT-SIGMOD-SIGART Syrup. on Principles of Database Systems, pages 237-249, 1987.
12. M. Staudt, H.W. Nissen, and M.A. Jeusfeld. Query by class, rule and concept. Journal of Applied Intelligence, 4(2):133-156, 1994.
13. M. Staudt and K. von Thadden. Subsumption checking in knowledge base systems. Technical Report AIB 95-11, RWTH Aachen, 1995.
14. J.D. Ullman. Principles of Database and Knowledge-Base Systems, Volume 2: The New Technologies. Computer Science Press, Rockville, MD, 1989.
15. K. v. Thadden. A subsumption checker for queries in a deductive object base system (in German). Master's thesis, RWTH Aachen, Germany, 1994.