Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects

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

Volumn 1265, Issue , 1997, Pages 324-340

  Yahya, Adnan H ^a  

^a BIRZEIT UNIVERSITY   (Palestine)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; LOGIC PROGRAMMING; QUERY LANGUAGES; QUERY PROCESSING; SEMANTICS;

COMPUTING DATABASE; DATABASE MAINTENANCE; DISJUNCTIVE DEDUCTIVE DATABASE; INTEGRITY CONSTRAINTS; MINIMAL MODEL SEMANTICS; MONOTONICITY PROPERTY; NONMONOTONIC ASPECTS; PRACTICAL IMPORTANCE;

INTELLIGENT DATABASES;

EID: 0343489263     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63255-7_24     Document Type: Conference Paper

References (20)

1. P. Baumgatmer, U. Furbach, and I. Niernmelä. Hyper tabluaux. Technical Report 8-96, Institut für Informatik, Univesität Koblenz, Koblenz, Germany, feb 1996.
2. G. Bossu and P. Siegel. Saturation, nonmonotonic reasoning and the closed-world assumption. Artificial Intelligence, 25(1):13-63, January 1985.
3. F. Bry and A. Yahya. Minimal model generation with positive unit hyper-resolution tableaux. In P. Miglioli, U. Moscato, D. Mundici, and M. Ornaghi, editors, Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 143-159, Palermo, Italy, May 1996. Springer-Verlag. Vol. 1071, Full version: http://www.pms.informatik.uni-muenchen.de/publikationen/.
4. G. Dong, S. Jianwen, and R. Topor. Nonrecursive incremental evaluation of datalog queries. Annals of Mathematics and Artificial Intelligence, 14(1):187-223, 1995.
5. J. A. Fernández and J. Minker. Computing perfect models of stratified disjunctive databases. Annals of Mathematics and Artificial Intelligence, 1993. Submitted. Preliminary version presented at the ILPS’91 Workshop on Disjunctive Logic Programs, San Diego, California.
6. J. A. Fernández and J. Minker. Bottom-up computation of perfect models for disjunctive stratified theories. Journal of Logic Programming, 25(1):33-50, 1995.
7. A.C. Kakas, R.A. Kowalski, and F. Toni. Abductive logic programming. Journal of Logic and Computation, 2(6):719-770, 1993.
8. R. Kowalski and F. Sadri. A theorem proving approach to database integrity. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, 1988.
9. R.A. Kowalski. Problems and promises of computational logic. In Lecture Notes in Computer Science Series, pages 80-95. Springer-Verlag, 1990.
10. J. Lobo, J. Minker, and A. Rajasekar. Foundations of Disjunctive Logic Programming. MIT Press, 1992.
11. th CADE, pages 456-459, 1988.
12. J. Minker. On indefinite databases and the closed world assumption. In Lecture Notes in Computer Science 138, pages 292-308. Springer-Verlag, 1982.
13. I. Niemelä. A tableau calculus for minimal model reasoning. In P. Miglioli, U. Moscato, D. Mundici, and M. Ornaghi, editors, Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 278-294, Palermo, Italy, May 1996. Springer-Verlag. Vol. 1071.
14. R. Reiter. On closed world databases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 55-76. Plenum Press, New York, 1978.
15. R. Reiter. On asking what a database knows. In J.Lloyd, editor, Proc. Symposium on Computational Logic, 1990. Lecture Notes in Computer Science.
16. M. Suchenek. First-order syntactic characterizations of minimal entailment, domain minimal entailment and herbrand entailment. Journal of Automated Reasoning, 10:237-236, 1993.
17. A. Yahya. Generalized query answering in disjunctive databases using minimal model generation. Technical Report PMS-FB-96-13, LMU-München, Munich University, Munich, Germany, aug 1996. WWW: http://www.informatik.uni-muenchen.de/pms/publikationen/berichte/PMS-FB-1996-13.ps.gz.
18. A. Yahya. Model generation in disjunctive normal databases. Technical Report PMS-FB-96-10, LMU-München, Munich University, Munich, Germany, jun 1996. WWW: http://www.informatik.uni-muenchen.de/pms/publikationen/berichte/PMS-FB-1996-10.ps.gz.
19. A. Yahya, J. A. Fernandez, and J. Minker. Ordered model trees: A normal form for disjunctive deductive databases. J. Automated Reasoning, 13(1):117-144, 1994.
20. A. Yahya and L.J. Henschen. Deduction in Non-Horn Databases. J. Automated Reasoning, 1(2):141-160, 1985.