C-logic of complex objects

ABSTRACT

Our objective is to have a logical framework for natural representation and manipulation of complex objects. We start with an analysis of semantic modeling of complex objects, and attempt to understand what are the fundamental aspects which need to be captured. A logic, called C-logic, is then presented which provides direct support for what we believe to be basic features of complex objects, including object identity, multi-valued labels and a dynamic notion of types. C-logic has a simple first-order semantics, but it also allows natural specification of complex objects and gives us a framework for exploring efficient logic deduction over complex objects.

REFERENCES

• 1: Abiteboul S. and Beeri C., On the Power of Languages for the Manipulation of Complex Objects, Draft, April 1987.
• 2: Abiteboul S. aJld Grumbach S., COL: A Logic- Based Language for Complex Objects, in: Proc. Workshop on Database Programmin9 languages, Roscoff, France, September 1987, pp. 253-276.
• 3: Hassan Aït-Kaci , Roger Nasr, Logic and inheritance, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.219-228, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512664]
• 4: H Aït-Kaci , R Nasr, Login: A logic programming language with built-in inheritance, Journal of Logic Programming, v.3 n.3, p.185-215, Oct. 1986 [doi>10.1016/0743-1066(86)90013-0]
• 5: Peter Buneman , Malcolm Atkinson, Inheritance and persistence in database programming languages, Proceedings of the 1986 ACM SIGMOD international conference on Management of data, p.4-15, May 28-30, 1986, Washington, D.C., United States
• 6: Francois Bancilhon , Setrag Khoshafian, A calculus for complex objects, Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, p.53-60, March 24-26, 1986, Cambridge, Massachusetts, United States [doi>10.1145/6012.15404]
• 7: C. Beeri , S. Naqvi , R. Ramakrishnan , O. Shmueli , S. Tsur, Sets and negation in a logic data base language (LDL1), Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.21-37, March 23-25, 1987, San Diego, California, United States [doi>10.1145/28659.28662]
• 8: Beeri C., Nasr R. and Tsur S., Embedding ~bterms in a Horn-Clause Logic Language, M CC Technial Report, February 1988.
• 9: Luca Cardelli, A semantics of multiple inheritance., Proc. of the international symposium on Semantics of data types, p.51-67, July 1984, Sophia-Antipolis, France
• 10: Saumya K Debray , David S Warren, Detection and optimization of functional computations in Prolog, Proceedings on Third international conference on logic programming, p.490-504, September 1986, London, United Kingdom
• 11: H uber M. and Vaxsek i., Extended Prolog for Order-Sorted Resolution, in: Proc. 1987 IEEE Syrup. on Logic Programming1987, pp. 34-43.
• 12: R. Hull, A survey of theoretical research on typed complex database objects, Databases, Academic Press Ltd., London, UK, 1988
• 13: Hull R., Four Views of Complex Objects" A Sophisticate's Introduction, Draft, May 1988.
• 14: G. M. Kuper, Logic programming with sets, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.11-20, March 23-25, 1987, San Diego, California, United States [doi>10.1145/28659.28661]
• 15: Kuper G., An Extension of LPS to Arbitr~try Sets, in: IBM Research Report, 1987.
• 16: M. A. Ketabchi , V. Berzins, Mathemtical Model of Composite Objects and Its Application for Organizing Engineering Databases, IEEE Transactions on Software Engineering, v.14 n.1, p.71-84, January 1988 [doi>10.1109/32.4624]
• 17: Setrag N. Khoshafian , George P. Copeland, Object identity, Conference proceedings on Object-oriented programming systems, languages and applications, p.406-416, September 29-October 02, 1986, Portland, Oregon, United States
• 18: M. Kifer , J. Wu, A logic for object-oriented logic programming, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.379-393, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73758]
• 19: Won Kim , Hong-Tia Chou , Jay Banerjee, Operations and Implementation of Complex Objects, IEEE Transactions on Software Engineering, v.14 n.7, p.985-996, July 1988 [doi>10.1109/32.42739]
• 20: Krishnamurthy R. and Naqvi S., Towards a Real Horn Clause Lffnguage, MCC Technical Report No. A CA-ST-077-88, March 1988.
• 21: Gabriel M. Kuper , Moshe Y. Vardi, A new approach to database logic, Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, April 02-04, 1984, Waterloo, Ontario, Canada [doi>10.1145/588011.588026]
• 22: Maier D., A Logic for Objects, in: Prepriuts of Workshop on ~bundations of Deductive Databas~ and Logic Programming, ed. Jack Minker, Washington DC, August 1986.
• 23: Mark A. Roth , Henry F. Korth , Avi Silberschatz, Extended Algebra and Calculus for ~1NF Relational Databases, University of Texas at Austin, Austin, TX, 1984
• 24: Xu J. and Warren D.S., A Type inference System for Prolog, in: Proc. 5th lnternat. Conj and Sttmp. on Logic Programmin9 1988, pp. 604-619.

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Lambda calculus and related systems

  H. Information Systems
  H.2 DATABASE MANAGEMENT

General Terms:
Algorithms, Design, Performance, Theory