Abstract
In this paper a class-based logic language for object-oriented databases which is called CLOG is described. CLOG is based on many sorted horn clauses with concept of classes, objects, object identity, multiple class membership of objects and non-monotonic inheritance. The database view of a class is maintained as a collection of objects and a type. Class is a collection of many sorted horn clauses and functions which define the structural and behavioral aspects of an object. Generic classes give parametrized types. Queries are class-based. Support for view and derived classes are inherent.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
H. Ait-Kaci and R. Nasr, ”LOGIN: A logic programming language with built-in inheritance”, J. logic Programming, Oct. 1986, pp. 185–215.
A.S. Greco, N. Leone and P. Rullo, ”Complex — An Object-Oriented Logic Programming System". IEEE Trans. On Knowledge and Data Engineering, Aug.1992. pp. 344–359.
J. Banerjee et. al, ”Data model issues in object-oriented databases”, ACM OIS, 1987, pp. 3–26.
L. Cardelli and P. Wegner, ”On understanding Types, Data Abstraction and Polymorphism”, ACM Comp. Surveys, Dec. 1985, pp. 471–522.
S. Ceri, F. Cacace and L. Tanca, ”Object orientation and logic programming for databases: a season's flirt or long-term marriage?”, Int. Nat. Conf. Next Generation Information system Technology, 1990, pp. 124–143.
S. Danforth and C. Tomlinson, ”Type theories and Object Oriented Programming”, ACM Comp. Surveys, March 1988, pp. 29–72.
F. McCabe, ”Logic and Objects”, Prentice Hall, 1992.
M. Kifer and G. Lausen, ”F-Logic: A Higher order Language for Reasoning about Objects, Inheritance and Scheme”, Proc. 1989 ACM SIGMOD, pp. 134–136.
M. Kifer, W.Kim, Y.Sagiv, ”Querying Object-Oriented Databases”, Proc. 1992 ACM SIGMOD, pp. 393–402.
M. Kifer, G. Lausen, J. Wu, ”Logical Foundations of Object-Oriented and Frame-Based Languages”, TR#90/14, Dept. of Comp. Science, SUNY at stony Brook, Aug. 1990.
K. Lee and S. Lee, ”An Object-Oriented Approach to Data/Knowledge Modeling Based on Logic”, Proc. IEEE Conf. on Data Engineering, 1990, pp.289–294.
E. Laenens, D. Vermeir and B. Verdonk, ”LOCO, a logic based language for Complex Objects”, ESPRIT, 1989, pp. 604–616.
J.W. Lloyd, ”Foundations of Logic Programming”, Springer-Verlag, 1984.
Y. Lou and Z.M. Ozsoyoglu, ”LLO: An object-oriented deductive language with methods and method inheritance”, Proc. ACM SIGMOD, 1991, pp. 198–207.
W. Kim, ”Introduction to Object-oriented Databases”, The MIT Press, 1990.
S.A. Naqvi and S. Tsur, ”A Logic Language for Data and Knowledegebases”, Computer Science Press, Rockville, 1988.
D.H.D. Warren, ”An Abstract Prolog Instruction Set”, SRI Technical Note 309, SRI International, Menlo Park, California, Oct. 1983.
E. Lamma, P. Mello and A. Natali, ”An Extended Warren Abstract Machine for the Execution of Structured Logic Programs”, Journal of Logic Programming, Vol.14, No.2, pp. 187–222.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hui, S.C., Goh, A., Raphel, J.K. (1993). CLOG: A class-based logic language for object-oriented databases. In: Nishio, S., Yonezawa, A. (eds) Object Technologies for Advanced Software. ISOTAS 1993. Lecture Notes in Computer Science, vol 742. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57342-9_83
Download citation
DOI: https://doi.org/10.1007/3-540-57342-9_83
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57342-5
Online ISBN: 978-3-540-48075-4
eBook Packages: Springer Book Archive