Oracle7开发工具Oracle　Graphics在超文本系统中的应用

The Global Properties of Valid Formulas in Modal Logic K

ＯｒａｃｌｅＧｒａＰｈｉｃｓ是Ｏｒａｃｌｅ７数据库的前端开发工具之一。本文介绍了它的特点及其在超文本系统中的应用。对利用ＯｒａｃｌｅＧｒａｐｈｉｃｓ的特点在其它方面的应用有一定的借鉴作用。