Á¤º¸°úÇÐȸ ³í¹®Áö B : ¼ÒÇÁÆ®¿þ¾î ¹× ÀÀ¿ë
ÇѱÛÁ¦¸ñ(Korean Title) |
³í¸®¸¦ ±â¹ÝÀ¸·Î ÇÑ °´Ã¼ ÁöÇâ µ¥ÀÌŸ / Áö½Ä ¸ðµ¨¸µ |
¿µ¹®Á¦¸ñ(English Title) |
An Object - Oriented Data / Knowledge Modeling Based on Logic |
ÀúÀÚ(Author) |
À̱Ôö
À̼®È£
Kyuchul Lee
Sukho Lee
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 18 NO. 04 PP. 0349 ~ 0361 (1991. 07) |
Çѱ۳»¿ë (Korean Abstract) |
º» ³í¹®¿¡¼´Â °´Ã¼ ÁöÇâ µ¥ÀÌŸ ¸ðµ¨ÀÇ °·ÂÇÑ ¸ðµ¨¸µ Ư¼º°ú ¿¬¿ª µ¥ÀÌŸº£À̽ºÀÇ ¿¬¿ª ±â´É ¹× ¼±¾ðÀû Áö½Ä ¸ðµ¨¸µ ´É·ÂÀ» °áÇÕÇÑ ÅëÇÕµÈ ½Ã½ºÅÛÀ» ±¸ÃàÇÏ´Â ¹æ¾ÈÀ» Á¦½ÃÇÑ´Ù. º» ¿¬±¸¿¡¼´Â ±âÁ¸ÀÇ °´Ã¼ ÁöÇâ µ¥ÀÌŸ ¸ðµ¨¸µ ¿ä¼Ò »Ó¸¸ ¾Æ´Ï¶ó ³í¸®¿¡ ±âÃÊÇÑ ¸Þ¼Òµå ¹× ¼±¾ðÀû ó¸® ¹æ¾ÈÀ» Á¦½ÃÇÏ°í, ¿¬¿ª ±â´ÉÀ» ÀÌ¿ëÇÑ Áö½Ä ¸ðµ¨¸µ ¿ä¼Ò¸¦ Á¦°øÇÑ´Ù. ÀÌ ¸ðµç ¸ðµ¨¸µ ¿ä¼Ò´Â È¥ ³í¸®Àý·Î º¯È¯µÇ¾î 󸮵ǹǷÎ, Àß Á¤ÀÇµÈ ¸ðµ¨-ÀÌ·ÐÀû Àǹ̸¦ Áö´Ô°ú µ¿½Ã¿¡ ±âÁ¸ÀÇ ¿¬¿ª ó¸® ¹× µ¥ÀÌŸº£À̽º ±â¼ú¸¸À¸·Î ÅëÇÕ ½Ã½ºÅÛÀ» ±¸Çö °¡´ÉÇÑ ÀåÁ¡ÀÌ ÀÖ´Ù. |
¿µ¹®³»¿ë (English Abstract) |
This paper presents an approach to make an integrated system which combines powerful data modeling features of the object-oriented data model with deductive and declarative knowledge modeling capabilities of the deductive databases. This approach allows all object-oriented modeling primitives. It also supports methods based on logic clauses, declarative message passing mechanism, and knowledge modeling features thanks to the deductive capabilities. Because all modeling constructs are transformed into Horn-clauses, it gives not only well-defined model-theoretic semantics but also the possibility of implementing the integrated system using only existing deductive and database technologies. |
Å°¿öµå(Keyword) |
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|