Acm press 1987 112 39 r hull and r king semantic

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: relationship model. pages 317{325, 1989. 38] M. A. W. Houtsma and P. M. G. Apers. Data and Knowledge Model: A Proposal. ACM Press, 1987. 112 39] R. Hull and R. King. Semantic database modeling: Survey, applications, and research issues. 19(3):201{260, September 1987. 40] H. M. Jamil and L. V. S. Lakshmanan. ORLog: A Logic for Semantic ObjectOriented Models. In Proc. 1st Int. Conference on Knowledge and Information Management, pages 584{592, 1992. 41] H. M. Jamil and L. V. S. Lakshmanan. Realizing ORLog in LDL. In Proceedings of the ACM SIGMOD Workshop on Combining Declarative and Object-Oriented Databases, pages 45{59, Washington DC, May 1993. Held in conjunction with the ACM PODS and SIGMOD Conference. 42] H. M. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and con ict resolution. In John Lloyd, editor, Proceedings of the 12th International Logic Programming Symposium, pages 130{144, Portland, Oregon, December 1995. MIT Press. 43] H. M. Jamil and L. V. S. Lakshmanan. An object-oriented front-end for deductive databases. In V. S. Alagar and M. Nivat, editors, Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology (AMAST), pages 581{584, Montreal, Canada, July 1995. Springer-Verlag. LNCS 936. 44] H. M. Jamil, L. V. S. Lakshmanan, and I. Orenman. Reducing inheritance to deduction by completion. Technical report, Department of Computer Science, Concordia University, Montreal, Canada, March 1995. 45] M. Jarke, M. Jeusfeld, and T. Rose. Software process modeling as a strategy for kbms implementation. In W. Kim, J.-M. Nicolas, and S. Nishio, editors, Proc. of the 1st DOOD Conference, pages 531{550, Kyoto, Japan, 1990. North-Holland. 46] M. Kifer. Deductive and object data languages: A quest for integration. In International Conference on Deductive and Object-Oriented Databases, Singapore, December 1995. 47] M. Kifer, G. Lausen, and J. Wu. Logical Foundations for Object-Oriented and Frame-Based Languages. Journal of the Association of Computing Machinery, July 1995. 113 48] W. Kim, J. Banerjee, H-T Chou, J. F. Garza, and D Woelk. Composite object support in an object-oriented database system. In Proceedings of the OOPSLA Conference, 1987. 49] W. Kim, E. Bertino, and J. F. Garza. Composite objects revisited. In SIGMOD Record 18(2), 1989. 50] E. Laesen and D. Vermeir. A Fixpoint Semantics for Ordered Logic. Journal of Logic and Computation, 1(2):159{185, 1990. 51] L. V. S. Lakshmanan, F. Sadri, and I. N. Subramanian. On the logical foundations of schema integration and evolution in heterogeneous database systems. In S. Ceri, K. Tanaka, and S. Tsur, editors, Proc. of the 3rd International Conference on Deductive and Object-Oriented Databases, pages 81{100, Phoenix, Arizona, 1993. 52] L. V. S. Lakshmanan, F. Sadri, and I. N. Subramanian. Logic & algebraic lnaguages for interoperability in multi-database systems. Journal of Logic Programming, February 1996. To appear. Preliminary verison appears in 51]. 53] C. Lecluse, P. Richard, and F. Velez. O2, An Object-Oriented Data Model. ACM Press, 1987. 54] A. Lefebvre, P. Bernus, and R. Topor. Querying heterogeneous databases: A case study. In M. Orlowska and M. Papazoglou, editors, Proc. of the 4th Australian Database Conference, pages 186{197, Brisbane, February 1993. World Scienti c. 55] J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987. 56] Y. Lou and Z. M. Ozsoyoglu. An object-oriented deductive language with methods and method inheritance. In J. Cli ord and R. King, editors, Proceedings of the ACM SIGMOD Intl. Conf. on Management of Data, pages 198{207, Denver, Colorado, 1991. 57] S. Manchanda. Higher-order" logic as a data model. In Proc. of 2nd International. Workshop on Data Base Programming Languages, pages 330{341, June 1989. 58] F.G. McCabe. Logic and Objects. Prentice Hall International, London, 1992. 114 59] D. Miller. A Logical Analysis of Modules in Logic Programming. Journal of Logic Programming, (6):79{108, 1989. 60] L. Monteiro and A. Porto. Contextual Logic Programming. In 6th ALP Intl. Conf. on Logic Programming, 1989. 61] L. Monteiro and A. Porto. A transformational view of inheritance in Logic Programming. In D.H.D. Warren and P. Szeredi, editors, Proc. 7th Int. Conference on Logic Programming, pages 481{494. The MIT Press, 1990. 62] L. Monteiro and A. Porto. Syntactic and Semantic Inheritance in Logic Programming. In J. Darlington and R. Dietrich, editors, Workshop on Declarative Programming. Workshops in Computing, Springer-Verlag, 1991. 63] J. Peckham and F. Maryanski. Semantic data models. 20(3):153{189, September 1988. 64] Teodor Przymusinski. Perfect Model Semantics. In R. A. Kowalski and K. A. Bowen, editors, Proc. 5th Int. Conference on Logic Programming, pages 1081{ 1096. The MIT Press, 1988. 65] R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL : Control, Relations and Logic. In Proc. of 18th VLDB Conference, 1992. 66] R. Ramakrishnan, D. Srivastava, S. Sudarshan, and P. Seshadri. Implementation of the CORAL deductive database system. In Proc. of the ACM SIGMOD International Conference on Management of Data, 1993. 67] K. Ross. Modular strati cation and magic sets for DATALOG programs with negation. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 161{171, 1990. 68] J. Rumbaugh. Relations as semantic constructs in an object-oriented language. In OOPSLA, pages 466{481, 1987. 69] S. Shaw, L. Foggiato-Bish, I. Garcia, G. Tillman, D. Tryon, W. Wood, and C. Zaniolo. Improving data quality via LDL + +. In Workshop on Deductive Databases, JICSLP, pages 60{73, 1993. 115 70] O. R. L. Sheng and C. P. Wei. Object-oriented modeling and design of coupled knowledge-base/database systems. In Proceedings of the IEEE International Conference on Data and Knowledge Engineering, pages 98{105, 1992. 71] D. Srivastava, R. Ramakrishnan, P. Seshadri, and S. Sudarshan. Coral++: Adding object-orientation to a logic database language. In R. Agrawal, S. Baker, and D. Bell, editors, Proc. of the 19th VLDB Conference, pages 158{170, 1993. 72] B. Stroustrop. The C++ Programming Language. Addison-Wesley, 1986. 73] T. J. Teorey, D. Yang, and J. P. Fry. A logical design methodology for relational databases using the extended entity-relationship model. ACM Computing Surveys, 18(2):197{222, 1986. 74] D. S. Touretzky. The Mathematics of Inheriance Systems. Morgan Kaufmann, Los Altos, CA, 1986. 75] J. H. You, S. Ghosh, L. Y. Yuan, and R. Goebel. An introspective framework for paraconsistent logic programs. In John Lloyd, editor, Proceedings of the 12th International Logic Programming Symposium, pages 384{398, Portland, Oregon, December 1995. MIT Press. 76] C. Zaniolo. Object identity and inheritance in deductive databases { an evolutionary approach. In W. Kim, J.-M. Nicolas, and S. Nishio, editors, Proc. of the 1st DOOD Conference, pages 7{24, Kyoto, Japan, 1990. North-Holland. 77] C. Zaniolo, H. Ait-Kaci, D. Beech, S. Cammarata, L. Kerchberg, and D. Maier. Object-oriented database and knowledge systems. Technical Report DB-038-85, MCC, 1985. 116...
View Full Document

This document was uploaded on 01/10/2011.

Ask a homework question - tutors are online