
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Nicola Leone, Pasquale Rullo, Antonella Mecchia, Giuseppe Rossi, "A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning," IEEE Transactions on Knowledge and Data Engineering, vol. 9, no. 4, pp. 539558, JulyAugust, 1997.  
BibTex  x  
@article{ 10.1109/69.617049, author = {Nicola Leone and Pasquale Rullo and Antonella Mecchia and Giuseppe Rossi}, title = {A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {9}, number = {4}, issn = {10414347}, year = {1997}, pages = {539558}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.617049}, 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 Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning IS  4 SN  10414347 SP539 EP558 EPD  539558 A1  Nicola Leone, A1  Pasquale Rullo, A1  Antonella Mecchia, A1  Giuseppe Rossi, PY  1997 KW  Deductive databases KW  objectoriented programming KW  nonmonotonic reasoning KW  logic programming KW  bottomup evaluation KW  optimization techniques. VL  9 JA  IEEE Transactions on Knowledge and Data Engineering ER   
Abstract—The
[1] K. Apt, H.A. Blair, and A. Walker, "Towards a Theory of Declarative Knowledge," Foundations of Deductive Databases and Logic Programming, J. Minker, ed., pp. 89148. Morgan Kaufmann, 1988.
[2] Ahlsen et al., "The KIWIS Knowledge Base Management System," Proc. Third Int'l Conf. CAiSE'91,Trondheim, Norway, May 1991.
[3] S. Abiteboul and P.C. Kanellakis,“Object identity as a query language primitive,” Proc. 1989 ACM SIGMOD Int’l Conf. the Management of Data, SIGMOD Record, vol. 18, no. 2, pp. 159173, June 1989.
[4] H. AitKaci and R. Nasr, "LOGIN: A Logic Programming Language with BuiltIn Inheritance," The J. of Logic Programming, vol. 3, no. 3, pp. 185215, Oct. 1986.
[5] I. Balbin and K. Ramamohanarao, "A Generalization of the Differential Approach to Recursive Query Evaluation," J. Logic Programming, vol. 4, no. 3, pp. 259262, Sept. 1987.
[6] F. Bancilhon, "ObjectOriented Database Systems," Proc. ACM SIGMOD Int'l Conf., pp. 152162, 1988.
[7] F. Bancilhon, D. Maier, Y. Sagiv, and J.D. Ullman, "Magic Sets and Other Strange Ways to Implement Logic Programs," Proc. Fifth ACM PODS Symp. Principles of Database Systems, pp. 115, 1986.
[8] C. Beeri and R. Ramakrishnan, "On the Power of Magic," Proc. Sixth ACM PODS Symp. Principles of Database Systems, pp. 269283, 1987.
[9] I. Balbin, G.S. Port, K. Ramamohanarao, and K. Meenakshi, “Efficient BottomUP Computation of Queries on Stratified Databases,” J. Logic Programming, vol. 11, nos. 3 and 4, pp. 295344, 1991.
[10] F. Buccafurri, N. Leone, L. Palopoli, and P. Rullo, "Disjunctive Ordered Logic," Proc. DEXA '95,London, pp. 303312, Sept., 1995.
[11] F. Buccafurri, N. Leone, and P. Rullo, "Stable Models and Their Computation for Logic Programming with Inheritance and True Negation," The J. of Logic Programming. NorthHolland, 1996.
[12] F. Cacace,S. Ceri,S. CrespiReghizzi,L. Tanca,, and R. Zicari,“Interating objectoriented data modeling with a rulebased programmingparadigm,” Proc. 1990 ACM SIGMOD Int’l Conf. on Management of Data, SIGMOD Record, vol. 19 no. 2, pp. 225237, June 1990.
[13] M. Cadoli, T. Eiter, and G. Gottlob, "Default Logic as a Query Language," Proc. Fourth Int'l Conf., Principles of Knowledge Representation and Reasoning (KR94), pp. 99108, 1994.
[14] D. Chimenti, The LDL System Prototype, IEEE Trans. on Knowledge and Data Eng., vol. 2, no. 1, March 1990, pp. 7690.
[15] W. Chen and D.S. Warren, "CLogic for Complex Objects," Proc. ACM SIGACTSIGMODSIGART Symp. Principles of Database Systems,Philadelphia, pp. 369378, Mar. 1989.
[16] M. Gelfond and V. Lifschitz (1990), “Logic Programs with Classical Negation,” Proc. of the 7th Intl. Conf. on Logic Programming, pp. 579597, MIT Press.
[17] S. Greco, N. Leone, and P. Rullo, "COMPLEX: An ObjectOriented Logic Programming System," IEEE Trans. Knowledge and Data Eng, vol. 4, no. 4, pp. 344359, Aug. 1992.
[18] R. Krishnamurthy, H. Boral, and C. Zaniolo,“Optimization of nonrecursive queries,”inProc. 12th Int. Conf. Very Large Databases, Kyoto, Japan, Aug. 1986, pp. 128–137.
[19] M. Kifer and G. Lausen, “FLogic: A HigherOrder Language for Reasoning About Objects, Inheritance, and Scheme,” Proc. ACM SIGMOD Conf., 1989.
[20] R. Kowalski and F. Sadri (1990), “Logic Programs with Exceptions,” Proc. 7th Intl. Conf. on Logic Programming, pp. 598613.
[21] N. Leone, A. Mecchia, G. Rossi, and P. Rullo, "A Deductive Environment for Dealing with Objects and NonMonotonic Reasoning," CRAI Technical Report RI 9406., Rende, Italy, 1994.
[22] N. Leone and G. Rossi, "WellFounded Semantics and Stratification for Ordered Logic Programs," New Generation Computing, vol. 12, no. 1, pp. 91121. SpringerVerlag, Nov. 1993.
[23] N. Leone and P. Rullo, "An Efficient Strategy for the BottomUp Evaluation of Datalog Queries," The Computer J., vol. 35, no. 6, pp. 519527, 1992.
[24] C. Lecluse, P. Richard, and F. Velez, “An ObjectOriented Data Model,” Proc. 1988 ACM SIGMOD Conf., pp. 424433, 1988.
[25] E. Laenens, D. Saccà, and D. Vermeir, "Extending Logic Programming," Proc. ACM SIGMOD, May 1990.
[26] E. Laenens and D. Vermeir, "A Fixpoint Semantics for Ordered Logic," J. Logic and Computation, vol. 1, no. 2, pp. 159185, Dec., 1990.
[27] E. Laenens and D. Vermeir, "AssumptionFree Semantics for Ordered Logic Programs: On the Relationships between WellFounded and Stable Partial Models," J. of Logic and Computation, vol. 2, no. 2, pp. 133172, May 1992.
[28] F.G. McCabe, "Logic and Objects," PhD thesis, Univ. of London, 1988.
[29] M.A. Derr, G. Phipps, and K.A. Ross, "GlueNail: A Deductive Database System," J. Clifford and R. King, eds., Proc. Int'l Conf. ACM Management Data, pp. 308317, 1991.
[30] T.C. Przymusinski, "On the Declarative Semantics of Deductive Databases and Logic Programs," J. Minker, ed., Foundations of Deductive Databases and Logic Programming, pp. 193216. Morgan Kaufmann, 1988.
[31] R. Reiter, "A Logic for Default Reasoning," Artificial Intelligence, vol. 13, pp. 81132, 1980.
[32] K.A. Ross, "Modular Stratification and Magic Sets for DATALOG Programs with Negation," Proc. Ninth ACM PODS Symp. Principles of Database Systems, pp. 161171, 1990; extended version, containing new results, obtained from author.
[33] R. Ramakrishnan,D. Srivastava,, and S. Sudarshan,“Coral_Control, relations and logic,” Proc. 18th Int’l Conf. Very Large Data Bases, pp. 547559.,Vancouver, Can., Aug. 1992.
[34] D. Sacca and C. Zaniolo, "The Generalized Counting Method of Recursive Logic Queries for Databases," Theoretical Computer Science, no. 62, pp. 187220, Nov. 1989.
[35] V.S. Subrahmanian, "Amalgamating Knowledge Bases," ACM Trans. Database Systems, 1994.
[36] A. Tarski, "A Lattice Theoretical Fixpoint Theorem and Its Application," Pacific J. of Math., no. 5, pp. 285309, 1955.
[37] J. Ullman, Principles of Database and KnowledgeBase Systems, vol. 1. Computer Science Press, 1988.
[38] A. van Gelder, K. Ross, and J. Schlipf, "Unfounded Sets and Wellfounded Semantics for General Logic Programs," Proc. Symp. Principles of Database Systems, pp. 221230, 1988.
[39] M.Y. Vardi, "The Complexity of Relational Query Languages," Proc. ACM Symp. Theory of Computing, pp. 137146, 1982.
[40] P. Wegner, "Dimensions of ObjectBased Language Design," ACM SIGPLAN Notices (Proc. OOPSLA 87), Vol. 22, No. 12, 1987, pp. 168182.