
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Laks V.S. Lakshmanan, Nematollaah Shiri, "A Parametric Approach to Deductive Databases with Uncertainty," IEEE Transactions on Knowledge and Data Engineering, vol. 13, no. 4, pp. 554570, July/August, 2001.  
BibTex  x  
@article{ 10.1109/69.940732, author = {Laks V.S. Lakshmanan and Nematollaah Shiri}, title = {A Parametric Approach to Deductive Databases with Uncertainty}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {13}, number = {4}, issn = {10414347}, year = {2001}, pages = {554570}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.940732}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  A Parametric Approach to Deductive Databases with Uncertainty IS  4 SN  10414347 SP554 EP570 EPD  554570 A1  Laks V.S. Lakshmanan, A1  Nematollaah Shiri, PY  2001 KW  Conjunctive query containment KW  deductive databases KW  fixpoint computation KW  multisets KW  proof theory KW  query optimization KW  semantics KW  uncertainty. VL  13 JA  IEEE Transactions on Knowledge and Data Engineering ER   
Abstract—Numerous frameworks have been proposed in recent years for deductive databases with uncertainty. On the basis of how uncertainty is associated with the facts and rules in a program, we classify these frameworks into
[1] G. Birkhoff, Lattice Theory, third ed. Providence: American Math. Soc., 1967.
[2] H.A. Blair and V.S. Subrahmanian, “Paraconsistent Logic Programming,” Theoretical Computer Science, vol. 68, pp. 135154, 1989.
[3] B.G. Buchanan and E.D. Shortliffe, “A Model of Inexact Reasoning in Medicine,” Math. Biosciences, vol. 23, pp. 351379, 1975.
[4] A.K. Chandra and P.M. Merlin, “Optimal Implementation of Conjunctive Queries in Relational Databases,” Proc. Ninth Ann. ACM Symp. Theory of Computing, pp. 7790, 1977.
[5] S. Debray and R. Ramakrishnan, “Generalized Horn Clause Programs,” manuscript, Jan. 1994.
[6] D. Dubois, J. Lang, and H. Prade, “Towards Possibilistic Logic Programming,” Proc. Eighth Int'l Conf. Logic Programming, pp. 581596, 1991.
[7] G. EscaladaImaz and F. Manyà, “Efficient Interpretation of Propositional MultiValued Logic Programs,” Advances in Intelligent Computing, Proc. Fifth Int'l Conf. Information Processing and Management of Uncertainty in KnowledgeBased Systems (IPMU '94), B. BouchonMeunier, R.R. Yager, and L.A. Zadeh, eds., pp. 428439, 1995.
[8] R. Fagin, “Combining Fuzzy Information from Multiple Systems,” Proc. ACM Symp. Principles of Database Systems (PODS), pp. 216226, June 1996.
[9] M.C. Fitting, “Logic Programming on a Topological Bilattice,” Fundamenta Informaticae, vol. 11, pp. 209218, 1988.
[10] M.C. Fitting, “Bilattices and the Semantics of Logic Programming,” J. Logic Programming, vol. 11, pp. 91116, 1991.
[11] R. Hähnle, “Exploiting Data Dependencies in ManyValued Logics,” J. Applied NonClassical Logics, vol. 6, no. 1, pp. 4969, 1996.
[12] Y.E. Ioannidis and R. Ramakrishnan, “Containment of Conjunctive Queries: Beyond Relations as Sets,” ACM Trans. Database Systems, vol. 20, no. 3, pp. 288324, Sept. 1995.
[13] M. Kifer and A. Li, “On the Semantics of RuleBased Expert Systems with Uncertainty,” Proc. Second Int'l Conf. Database Theory, M. Gyssens, J. Paradaens, and D. van Gucht, eds., pp. 102117, 1988.
[14] M. Kifer and E. Lozinskii, "RI: A Logic for Reasoning with Inconsistency," Proc. Fourth Symp. Logic in Computer Science, pp. 253262,Asilomar, Calif., 1989.
[15] M. Kifer and V.S. Subrahmanian, "Theory of Generalized Annotated Logic Programming and its Applications," J. Logic Programming, vol. 12, no. 4, pp. 335368, 1992.
[16] L.V.S. Lakshmanan and F. Sadri, “Uncertain Deductive Databases: A Hybrid Approach,” Information Systems, vol. 22, no. 8, pp. 483508, 1997. Preliminary version appeared in Proc. Int'l Conf. Database Expert Systems and Applications (DEXA '94), 1994.
[17] L.V.S. Lakshmanan, “An Epistemic Foundation for Logic Programming with Uncertainty,” Proc. 14th Conf. Foundations of Software Technology and Theoretical Computer Science (FST and TCS '94), Dec. 1994.
[18] L. Lakshmanan and F. Sadri, “Probabilistic Deductive Databases,” Proc. Int'l Logic Programming Symp., pp. 254268, 1994.
[19] S.M. Leach and J.J. Lu, “Query Processing in Annotated Logic Programming: Theory and Implementation,” J. Intelligent Information Systems, vol. 6, no. 1, pp. 3358, Jan. 1996.
[20] J.W. Lloyd, Foundations of Logic Programming, Springer Series in Symbolic Computation, second ed. New York: SpringerVerlag, 1987.
[21] R.T. Ng and V.S. Subrahmanian, “Relating DempsterShafer Theory to Stable Semantics,” Technical Report UMIACSTR9149, CSTR2647, Inst. for Advanced Computer Studies and Dept. of Computer Science, Univ. of Maryland, College Park, Apr. 1991.
[22] R. Ng and V.S. Subrahmanian, "Probabilistic Logic Programming," Information and Computation, vol. 101, no. 2, pp. 150201, 1992.
[23] R.T. Ng and V.S. Subrahmanian, “A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases,” Automated Reasoning, vol. 10, no. 2, pp. 191235, 1993.
[24] F. Sadri, “Modeling Uncertainty in Databases,” Proc. Seventh IEEE Int'l Conf. Data Eng., pp. 122131, Apr. 1991.
[25] Y. Sagiv, “Optimizing Datalog Programs,” Foundations of Deductive Databases and Logic Programming, J. Minker, ed., pp. 659698, MorganKaufmann, 1988. Extended abstract of this paper appears in Proc. ACM Symp. Principles of Database Systems (PODS), pp. 237249, 1987.
[26] E. Shapiro, “Logic Programs with Uncertainties: A Tool for Implementing Expert Systems,” Proc. Int'l Joint Conf. Artificial Intelligence (IJCAI '83), pp. 529532, 1983.
[27] N. Shiri, “Towards a Generalized Theory of Deductive Databases with Uncertainty,” PhD thesis, Dept. of Computer Science, Concordia Univ., Montreal, Canada, Aug. 1997.
[28] V.S. Subrahmanian, “On the Semantics of Quantitative Logic Programs,” Proc. Fourth IEEE Symp. Logic Programming, pp. 173182, 1987.
[29] J.D. Ullman, Principles of Database and KnowledgeBase Systems, vol. II: The New Tech nologies. New York: Computer Science Press, 1989.
[30] M.H. van Emden, “Quantitative Deduction and Its Fixpoint Theory,” J. Logic Programming, vol. 4, no. 1, pp. 3753, 1986.
[31] M.H. van Emden and R.A. Kowalski, “The Semantics of Predicate Logic as a Programming Language,” J. ACM, vol. 23, no. 4, pp. 733742, Oct. 1976.
[32] L.A. Zadeh, “Fuzzy Sets,” Information and Control, vol. 8, pp. 338353, 1965.
[33] L.A. Zadeh, “Fuzzy Sets as a Basis for a Theory of Possibility,” Fuzzy Sets and Systems, vol. 1, no. 1, pp. 328, 1978.