LSZ2分布式数据库系统的主语言

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:nihaoyuyue2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文简单介绍了集中式Sun UNIFY的主语言形式,指出所存在的问题,在此基础上重点描述了LSZ2分布式数据库系统的主语言,给出了形式定义、例子以及实现思想。
其他文献
由于燃气商品的特殊性,城市国有燃气企业多年来一直延续着国家投资、政府定价、垄断经营的发展模式,随着我国政治、经济体制改革的不断深化,国有燃气企业面临着改革现有体制,
本文首先对以RISC技术为典型代表的美国MIPS公司作了简要介绍:其次讨论了从CISC体系结构到RISC体系结构的飞跃,阐明了RISC技术的光明前途;最后以MIPS公司各档RISC机型为主线,
大柳塔井田位于陕西省神木县北部,井田面积131.54km2,地质储量达13.69亿t,其中精查储量为7.25亿t。而皮带放样技术在大柳塔煤矿的测量过程中大范围使用,针对精密测量过程中产
英国政府正在考虑对普通家庭征收每年高达120英镑(1英镑约合1.95美元)的垃圾处理税。
由自治区建设厅主办,南宁市房产管理局、广西房地产业协会和南宁市房地产研究会协办的2008广西(南宁)房地产交易展示会,将于2008年1月1日至3日在南宁市国际会展中心举行。以“宁
本文讨论了VLSIRISCR2000芯片的系统设计。首先提出R2000芯片的系统微体系结构,分别对主流水线控制单元、执行单元、地址单元、转换查询缓冲器、系统协处理器和外部接口控制
本文介绍了利用Sun工作站作为结点机,各结点机间以以太网联接的分布式系统的操作系统的设计方案与实现。其中包括分布式文件系统,进程通讯机制,分布环境的多用户多任务调度器
针对给水管道采用传统试压方法所出现的问题,河池市自来水公司第五水厂在输水管道工程试压施工中提出一种创新的试压方法,该方法无需设置支撑,方便快捷,经济实用。本文介绍了该种
三亚市旅游产业发展局9月9日发布,三亚市政府办印发《三亚市创建刷卡无障碍旅游城市2008--2009年度工作方案》,正式启动创建刷卡无障碍旅游城市工作。
国家统计局6月19日发布的最新统计显示,今年1~5月,全国房地产开发投资继续快速增长,完成投资7214亿元,同比增长27.5%。商品住宅完成投资5042亿元,增长29.5‰其中,经济适用住房投资208亿