Title :
Data modeling using an object-oriented logic language
Author :
Hui, S.C. ; Goh, A. ; Raphel, J.K.
Author_Institution :
Sch. of Applied Science, Nanyang Technol. Univ., Singapore
Abstract :
An object-oriented logic programming language for modeling data is presented. This language supports most of the object-oriented features for data modeling and is based on many sorted horn clause logic. The data model provides a means for expressing queries as classes. Objects are defined as instances of a class allowing factoring of methods and type information
Keywords :
Horn clauses; data structures; logic programming; object-oriented databases; object-oriented languages; query processing; data modeling; factoring of methods; horn clause logic; object-oriented logic programming language; queries; Algebra; Data models; Lattices; Logic functions; Logic programming; Object oriented databases; Object oriented modeling; Upper bound;
Conference_Titel :
Networks, 1993. International Conference on Information Engineering '93. 'Communications and Networks for the Year 2000', Proceedings of IEEE Singapore International Conference on
Print_ISBN :
0-7803-1445-X
DOI :
10.1109/SICON.1993.515687
