A parametric approach to deductive databases with uncertainty

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

Volumn 1154, Issue , 1996, Pages 61-81

  Lakshmanan, Laks V S ^a   Shiri, Nematollaah ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; INTELLIGENT DATABASES; OPTIMIZATION; QUERY LANGUAGES; RECONFIGURABLE HARDWARE; SEMANTICS;

CONJUNCTIVE QUERIES; FIXPOINTS; GENERIC FRAMEWORKS; PARAMETRIC APPROACH; PROOF-THEORETIC SEMANTICS; QUERY OPTIMIZATION; QUERY PROGRAMS;

DATABASE SYSTEMS;

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

References (29)

1. Birkhof, Garrett. Lattice Theory. Providence, American Mathematical Society, 3rd edition, 1967.
2. Blair, H.A. and Subrahmanian, V.S. Paraconsistent logic programming. Theoretical Computer Science, 68:135-154, 1989.
3. Buchanan, B.G. and Shortliffe, E.D. A model of inexact reasoning in medicine. Mathematical Biosciences, 23:351-379, 1975.
4. Chandra, A.K. and Merlin, P.M. Optimal implementation of conjunctive queries in relational databases. In Proc. 9th Annual ACM Syrup. on the Theory of Computing, pages 77-90, 1977.
5. Debray, S. and Ramakrishnan, R. Generalized Horn clause programs, manuscript, January 1994.
6. Dubois Didier, Lung J@r6me, and Prude Henri. Towards possibilistic logic programming. In Proc. 8th Intl. Conference on Logic Programming, pages 581-596, 1991.
7. Fitting, M.C. Logic programming on a topological bilattice. Fundamenta Informaticae, 11:209-218, 1988.
8. Fitting, M.C. Bilattices and the semantics of logic programming. Journal of Logic Programming, 11:91-116, 1991.
9. Ioannidis, Y.E. and Ramakrishnan, R. Containment of conjunctive queries: Beyond relations as sets. ACM Transactions on Database Systems, 20, 3:288-324, September 1995.
10. Kifer, M. and Li, A. On the semantics of rule-based expert systems with uncertainty. In M. Gyssens, J. Paradaens, and D. van Gucht, editors, 2nd Intl. Conf. on Database Theory, pages 102-117, Bruges, Belgium, August 31-September 2 1988. Springer-Verlag LNCS-326.
11. Kifer, M. and Lozinskii, E.L. A logic for reasoning with inconsistency. In Proc. 4th IEEE Syrup. on Logic in Computer Science (LICS), pages 253-262, Asilomar, CA, 1989. IEEE Computer Press.
12. Kifer, Michael and Subrahmanian, V.S. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12:335-367, 1992.
13. Lakshmanan, Laks V.S. An epistemic foundation for logic programming with uncertainty. In Proc. 14th Conf. on the Foundations of Software Technology and Theoretical Computer Science (FST and TCS’94). Springer-Verlag, LNCS-880, December 1994.
14. Lakshmanan, Laks V.S. and Sadri, F. Probabilistic deductive databases. In Proc. Intl. Logic Programming Symposium, pages 254-268, Ithaca, NY, November 1994. MIT Press.
15. Lakshmanan, Laks V.S. and Sadri, F. Modeling uncertainty in deductive databases. In Proc. lntl. Conf. on Database Expert Systems and Applications (DEXA ‘94), Athens, Greece, September 1994. Springer-Verlag, LNCS-856.
16. Lakshmanan, Laks V.S. and Shiri, Nematollaah. On the termination and expressive power of deductive databases with uncertainty. Submitted for publication, June 1996.
17. Lakshmanan, Laks V.S. and Shiri, Nematollaah. A parametric approach to deductive databases with uncertainty. Tech. Report TR-DB-96-03, Concordia University, Montreal, Canada, March 1996.
18. Lakshmanan, L.V.S. and Sadri, F. Uncertain deductive databases: A hybrid approach, March 1996. Tech. Report TR-DB-96-02. Submitted for Publication.
19. Ng, R.T. and Subrahmanian, V.S. Relating Dempster-Shafer theory to stable semantics. Tech. Report UMIACS-TR-91-49, CS-TR-2647, Institute for Advanced Computer Studies and Department of Computer Science University of Maryland, College Park, MD 20742, April 1991.
20. Ng, R.T. and Subrahmanian, V.S. Probabilistic logic programming. Information and Computation, 101(2):150-201, December 1992.
21. Ng, R.T. and Subrahmanian, V.S. A semantical framework for supporting subjective and conditional probabilities in deductive databases. Automated Reasoning, 10(2):191-235, 1993.
22. Sadri, Fereidoon. Modeling uncertainty in databases. In Proc. 7th IEEE Intl. Conf. on Data Eng., pages 122-131, April 1991.
23. Sagiv, Y. Optimizing datalog programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 659-698. Morgan-Kaufmann, 1988. Extended abstract of this paper appears in Proceedings of the 1987 ACM Symposium on Principles of Database Systems, pp 237-249.
24. Shapiro, E. Logic programs with uncertainties: a tool for implementing expert systems. In Proe. IJCAI’83, pages 529-532. William Kauffman, 1983.
25. Subrahmanian, V.S. On the semantics of quantitative logic programs. In Proc. 4th IEEE Symposium on Logic Programming, pages 173-182, Computer Society Press, Washington DC, 1987.
26. Ullman, J.D. Principles of Database and Knowledge-Base Systems, volume 2. Computer Science Press, Maryland, 1989.
27. van Emden, M.H. Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 4(1):37-53, 1986.
28. van Emden, M.H. and Kowalski, R.A. The semantics of predicate logic as a programming language. JACM, 23(4):733-742, October 1976.
29. Zadeh, L.A. Fuzzy sets. Information and Control 8, pages 338-353, 1965.