• Àüü
  • ÀüÀÚ/Àü±â
  • Åë½Å
  • ÄÄÇ»ÅÍ
´Ý±â

»çÀÌÆ®¸Ê

Loading..

Please wait....

±¹³» ³í¹®Áö

Ȩ Ȩ > ¿¬±¸¹®Çå > ±¹³» ³í¹®Áö > Çѱ¹Á¤º¸°úÇÐȸ ³í¹®Áö > Á¤º¸°úÇÐȸ ³í¹®Áö B : ¼ÒÇÁÆ®¿þ¾î ¹× ÀÀ¿ë

Á¤º¸°úÇÐȸ ³í¹®Áö B : ¼ÒÇÁÆ®¿þ¾î ¹× ÀÀ¿ë

Current Result Document : 4 / 8 ÀÌÀü°Ç ÀÌÀü°Ç   ´ÙÀ½°Ç ´ÙÀ½°Ç

ÇѱÛÁ¦¸ñ(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 ´Ù¿î·Îµå