位置：成果数据库 > 期刊 > 期刊详情页
PAR平台数据库查询优化方案
  • ISSN号：1006-2475
  • 期刊名称：计算机与现代化
  • 时间：2013.11.15
  • 页码：58-60
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]江西师范大学计算机信息工程学院,江西南昌330022, [2]江西师范大学江西省高性能计算技术重点实验室,江西南昌330022
  • 相关基金：国家自然科学基金资助项目（60773054）;国家自然科学基金重大国际合作研究项目（61020106009）
  • 相关项目：若干软件新技术及其在PAR平台中的实验研究
作者： 汤沁|薛锦云|
关键词： 查询优化, 关系代数, PAR平台, query optimization, relational algebra, PAR platform
中文摘要：

数据库系统的查询优化技术是提高数据库系统效率的重要技术。当今Java和C＋＋等主流程序设计语言依靠SQL语句，造成数据库系统中查询复杂、繁琐、效率低下、可靠性得不到保证等。针对上述问题，在PAR（Partition And Recur）平台数据库关系代数实现机制基础上，提出和实现基于关系代数的查询优化规则设计方法。这种设计不仅提高了数据库查询效率，也为高可靠数据库的形式化开发提供了依据。

英文摘要：

As the amount of data increases rapidly, the query efficiency of database decreases, and the system responds slowly. The design method on the PAR platform is proposed and achieved based on relational algebra query optimization rules. This design not only improves the efficiency of database queries, but also provides a basis for the formal development of highly reliable database.

同期刊论文项目
基于PAR平台的信息系统应用软件若干共性关键技术研究
期刊论文 36 会议论文 20 获奖 6
若干软件新技术及其在PAR平台中的实验研究
期刊论文 49 会议论文 7 获奖 4 著作 3
同项目期刊论文
Unified categorical models for three typical resource allocation problems
Constraint verification of generic algorithmic program for solving general network path problems
Radl形式规格说明相对正确性研究
PAR 平台数据库查询优化方案
基于 PAR 的软件服务外包开发过程应用研究
A Formal Approach to Critical Components in Disaster Management Information Systems
Research on automated sorting algorithms generation based on PAR
基于PAR的软件服务外包开发过程应用研究
SRLtoRadl生成系统及其范畴论语义
Radl算法到Apla程序的生成系统
一类单元赋值语句型循环不变式的开发方法研究
基于BPMN的Web服务并发交互机制
Fuzzy Combinatorial Optimization With Multiple Ranking Criteria:A Staged Tabu Search Faramework，，201
A new particle swarm optimization algorithm for fuzzy optimization of armored vehicle scheme design
基于主从粒子群模型的分布式Agent计算框架
Biogeographic harmony search for emergency air transportation
Emergency railway transportation planning usinga hyperheuristic approach
An Algebraic Approach to Population-Based Evolutionary Algorithm Generation
Apla中泛型约束机制研究
Disaster rescue task scheduling: An evolutionary multiobjective optimization approach.
Water wave optimization: A new nature-inspiredmetaheuristic
Evolutionary optimization for disaster relief operations: A survey
The forgetting mechanism in Dirichlet reputation system
Apla语言中并发分布式机制的研究
基于PAR的排序算法自动生成研究
Rescue Wings: Mobile Computing and Active ServicesSupport for Disaster Rescue
Transaction在PAR平台中的实现方法及应用研究
软件形式化开发关键部件选取的水波优化方法
多Agent 主从粒子群分布式计算框架
基于形式演算和不变式验证的可信算法程序构造(英文)
在建模语言Apla中实现多媒体数据库应用的方法研究
Apla→Java程序生成系统中泛型机制实现方法研究
组合优化问题简约与算法推演
基于PAR的软件服务外包开发过程应用研究
形式化方法在高中算法教学中的应用研究
A problem reduction based approach to discrete optimization algorithm design
三个经典数学问题的形式化开发
循环不变式开发技术研究
Huffman算法程序的形式化推导
后序遍历二叉树非递归算法的推导及形式化证明
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs
基于软件体系结构的可复用构件模型
关系代数派生算子语义表达式间等价性证明
软件测试在APLA→JAVA系统中的应用研究
若干算法程序的形式化推导与生成技术研究
泛型编程扩展及其JAVA实现
Formal analysis of cryptographic protocols in a knowledge algorithm logic framework
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic appr
基于形式演算和不变式验证的可信算法程序构造(英文)
基于MSET的框架变化点实例化模式挖掘
一类0-1背包问题算法程序的形式化推导
基于SPEC#的功能性冗余软件开发
基于扩展的构件依赖关系图聚类的体系结构重构策略研究
基于PAR的算法形式化开发
装备维修规划的多目标优化模型和求解算法
并行遗传算法骨架的研究和实现
一组基于PAR的高可靠查找算法程序开发
数据驱动的多Agent装备器材保障决策支持系统
多核集群系统上的混合编程模型研究
XML在并行骨架描述中的应用
调频发射机的Wince驱动设计
Approach of generating parallel programs from parallelized algorithm design strategies
网格编程方法与环境综述
期刊信息
  • 《计算机与现代化》
  • 中国科技核心期刊
  • 主管单位:江西省科学技术厅
  • 主办单位:江西省计算机学会 江西省计算技术研究所
  • 主编：刘波平
  • 地址：南昌市西湖区井冈山大道1416号8楼
  • 邮编：330003
  • 邮箱：jgsdd@163.com
  • 电话：0791-86490996
  • 国际标准刊号：ISSN：1006-2475
  • 国内统一刊号：ISSN：36-1137/TP
  • 邮发代号:44-121
  • 获奖情况:
  • 中国科技核心期刊 中国科技论文统计源期刊 江西省...
  • 国内外数据库收录:
  • 波兰哥白尼索引,中国中国科技核心期刊
  • 被引量:14808