论文部分内容阅读
如今数据库技术应用的领域已经渗透到各行各业,信息社会又充斥着大量非结构化数据,比如图像、音频等多媒体数据。而且传统的关系数据库只善于处理结构化数据,导致长期以来,多媒体数据都是由操作系统管理,并以文件的形式存储在计算机中。因此如何解决多媒体数据管理与操作是一个刻不容缓的问题。PAR方法和PAR平台是由薛锦云团队提出的一种实现算法设计和证明的新型软件开发方法,支持自定义类型,可自动生成并运行泛型程序、数据库程序以及界面设计程序等程序。PAR平台中的数据库生成系统,以关系代数的形式描述数据库相应的管理与操作,使得数据库生成系统在可靠性和正确性得到了保证。但是经过前期测试了大量的Apla数据库测试用例,发现Apla→Java数据库生成系统存在诸多不完善之处,有待改进。本文作为Apla→Java数据库生成系统的后续研究,目的就是完善原有数据库系统,以便应用到实际数据库程序研发中。并在已原有系统的基础上,分析了Oracle数据库的多媒体管理与操作机制,增加JDBC连接数据库的方式后,实现了多媒体数据的管理与操作机制。本文以Oracle数据库为后台DBMS,根据Oracle中对多媒体数据的处理语句制定相应的部件库及操作方法,扩增Apla语言规则,以关系运算的形式描述SQL语言中的delete与update运算。在Apla中沿用关系代数描述多媒体数据管理与操作的方法,使得多媒体数据应用程序的开发得到理论上支持、优化和验证。最后使用测试用例对我们的Apla→Java数据库程序生成系统进行测试,证明本研究工作基本达到了预期目标,对PAR平台的发展具有重要意义和实践价值。文中主要创新点有:1)定义多媒体数据语言转换规则,使用关系运算代替delete与update运算描述多媒体数据的操作;2)实现了多媒体数据管理操作机制。