时态数据库20年回顾之一_计算机科学doc
时态数据库的沿革、特色与代表人物1
----时态数据库二十年回顾之一
唐常杰2
四川联合大学计算机系 (邮编610064)
摘要 时态数据库(TDB)研究已经走过了二十年个年头，取得了丰硕的成果。提出了近百种TDB 模型，实现了几十个原型，可
检索的高质量论文有500余篇。本文对二十年历程作一个回顾，介绍时态数据库的背景、特殊任务和困难、代表人物、代表著作。并在下篇(<<二十年回顾之二>>)中介绍TDB 代表性成果，分析目前在TDB 领域研究工作的不足，并对TDB 未来发展方略提出了作者的见解。
关键词∶ 时态数据库，时间量子 时间区间 时态信息
1
国家自然科学基金69773051号支持项目.
2
作者简介∶ 唐常杰，四川联合大学计算机系教授，从1983年起从事时态数据库研究。Email :chjtang@https://www.wendangku.net/doc/b48474016.html,
1 时态数据库产生的背景
伴随着物理流的信息流包含着事件的时态信息(Temporal Information), 其中有时刻信息(Instant Information), 时间区间信息(Interval Information)和相对时间信息(之前、之后、重叠)等等。传统的数据管理系统把时态数据作为用户定义时间字段进行存贮和管理。只反应了一个对象在某一个时刻的状态(快照)，不联系其过去和未来。
日益广泛的数据库应用要求了管理被处理事件的历史性信息，和系统中元事件的时态信息，例如查删改事务的时刻，时态信息据反映了事物发生发展的过程，有助于(揭示事物发展的本质规律和这些数据有助于提高数据库系统的可靠性和效率。
60年代末，人们开始认识到时态信息的重要性，并展开了研究。 G. Wiederhold 和J. F. Fries 在1970年研制的医疗系统在处理时态信息方面作了较早的尝试，Kahn Ketal 于1977年在Artificial Intelligence 上发表的“Mechanizing Temporal Knowledge ”反应了早期关于时态信息的基础性研究工作。。
2．富有特色的开创性工作
70年代末、80年代初，数据库技术的日渐成熟和大容量高速存储设备的发展为时态技术和数据库技术的融合创造了条件，J. Ben –Zvi, J. Clifford
和S. Ginsburg 三位学者独自在时态数据库方面作了富有特色的先驱性工作∶
J. Ben Zvi 于1979—1982年对时态数据库作了开创性研究，他的博士论文(加州大学洛杉矶分校，1982) 总结了他的一系列工作。Ben Zvi 的贡献突出在下列几点∶(1)，他提出了时态数据库模型，引入了时间间隔 ( Time Period ),后来被学术界改称为时间区间。(2)，在1979—1982这个关系规范型研究的热点时期，Ben Zvi 突破思想禁区，提出并研究了非1NF 的TDB 。(3) 以时间区间作字段值，刷新了人们认为数据库字段值只能是一个数或串的观念。(4)引入了后来被称为双时态的概念，即用有效时间表示被管理对象在库中生命周期，用事务时间表示数据库本身的历史。(5)．引入了时态索引结构。 上述成果都是开创性的工作。影响了TDB 领域中一代后来者的思路，仅管1982年以后，Ben Zvi 在TDB 领域消声匿迹了，他对TDB 的贡献功不可没。
1982年J. Clifford 在纽约大学完成了博士论文“A logical frame work for the Temporal Semantics and Natural Language Querying of Historical Database ”及相关的一组文章，对历史数据库的开创性作了重要贡献。它注意到了被管理对象的生命周期 (Lifespan), 研究了在关系、元组、字段值上加时态信息的技术细节，引入了历史关系模型，历史关系代数，研究了历史数据库中投影、选择、连接的特殊要求和特殊规律，研究了历史关系模型与
传统关系模型的兼容性，即当把区间缩小为一点〔Now, Now〕时历史数据库即退化为传统快照数据库，且相应的时态代数运算退化为传统快照关系运算。
美国南加利福尼亚大学的S. Ginsburg 教授原是形式语言，特别是上下文无关文法研究的先驱者。他于1983年提出对象历史模型(Object History)，该模型以可计算对象如银行帐目、支票帐户的历史性数据为研究背景，其特色在于∶(1)深刻地分析了基于可计算元组的对象历史的特殊要求和特殊规律，提出了基于记录、事件驱动的代数结构模型。(2)．研究内容(包括提出的问题，分析建模和成果表现)与其他TDB模型完全不交叉，强调了历史+现状→未来的机制。(3)．揭示了一系列出人意料的结果，包括关于对象历史中的若干判定性问题等难度很大的结果。
(4)．问题提出、分析和模型都接近金融系统的各种应用。
3 百家争鸣、竞争研究
80年代初期TDB的研究开始繁荣，根据 E. Mckenzie的报告，其中1982--1986年有80多篇关于时态数据库的论文发表。80年代中期，学术界提出了近百种为数据库管理系统增加时态信息处理能力的方案，经过十多年竞争性研究，逐渐归并为十多种模型，其中有13种被收入世界第一本关于时态数据库专著《Temporal Database—Theory, Design and Implementation》(参见本篇文献[1])，下面列出这13种模型的代表性人物、及相应代表性著作的发表时间∶
(1). Time Relational Model, 该模型是Ben Zvi 在1979--1982在博士论文中提出，是TDB领域的先驱性研究工作。它开创了对时态数据库、时态查询语言的研究。
(2). HRDM (Historical Relational Data Model )，J. Clifford ，1982.
(3). TempSQL, Sharshi. K. Gadia & Sunil, S. Nair, 1985.
(4). IXRM (Interval-Extended Relational Model )，Nikos A. Lorentzos,1987.
(5). TRM 及TSQL (Temporal Extensions to the Relational Model ) K. B. Navathe，1987. (6). HSQL ( Historical Query Language )，N. L. Sarda 1987.
(7). TQuel，R. Snodgrass , 1985.
(8). TRC (Temporal Relational Calculus )，Abdullah Tansel ,1992
(9). TEER, (Temporal Query Language for Enhanced Entity Relationship Model ),R. Elmasri , 1985.
(10). TDM (Temporal Data Model Based On Time Sequeuce)，Arie Segev & Arie Shosham, 1988.
(11). OODAplex (Object Oriented Aplex)，U. Dayal，1989.
(12). Object History, S. Ginsburg, Tanaka, 唐常杰等, 1983。
(13). Temporal Deductive Databases, Marianne Bandinet 等，1989。
上述13个TDB模型从不同的需求、观点出发，各自独立地建立了一套术语、概念、数学模型，并形成了一套各自独立的理论体系。
在文献〔1〕中列出二十年来时态数据库研究的500余篇的目录文献，这些文献的总篇幅近万页，文献作者遍及美国、欧洲、中国、日本、印度、土耳其。最主要的研究集体集中在美国纽约大学、依阿华州立大学、加州大学伯克利分校、南加利福尼亚大学、亚利桑那大学。
4 特殊功能、特殊困难
4.1 时态数据库的功能性分类
按Spipada和Snodgrass的意见，时态数据库按功能可分为三类∶
(1)历史数据库。被管理对象的生命周期称为有效时间(Valid Time)，对象历史由DBMS内部机制处理。(2)事务数据库。其中，数据库本身被查删改的时间称为事务时间(Transaction Time)，其历史由DBMS内部机制处理。(3)双时态数据库，既能管理对象历史，又能管理数据库本身的历史。
图1
图2 带时间维的三维数据库
4.2 从实例看历史数据库的时间维结构
传统的关系数据库是{属性}×{元组}的二维结构。图1中的关系记录了大学中系和系主任姓名信息。它只是一个快照，不能反应被管理对象的历史。以“年”为时间粒度,将94年、97年、98年(Now)的三个快照放在一起，如图2，构成一个有时间维的三维数据库。这在一定程度上解决了管理历史的问题，但又引出了新问题。
4．3 时态管理引出的特殊困难
图2 中把多个快照(即在不同时刻保存的数据库的备份)放在一起，构成了历史。长期以来，在没有使用时态数据库的年代里，企业及机关管理历史性数据都是这样作的。管理人员为三个问题感到困惑∶
(1)．取多大的时间间隔保存快照? 如果间隔太大，则不足以保证数据的准确详实，如果间隔太小，则数据冗余多，占存贮空间大。以一个城市银行为例，每天作一备份，每份占磁盘(或磁带)空间1000Mb。当某一事件涉及三个月帐务历史时，搜索空间将达100Gb。
(2)．传统关系数据库中，一个表的多个快照，不能简单地同时装入内存，不能简单地使用传统的选择、投影、连接运算进行操作和查询。因为同一元组同一属性下的值在不同快照中可能不同，必须作较复杂的、非通用的编程。
(3)．传统数据库中，对数据库本身历史的维护支持不足，一般只有供恢复回退用的事务日志( Transaction log ), 缺乏相应的事务查询命令(例如快速地查出谁对某一字段作了超过十次的修改)。
为了解决这些问题，人们提出了各种时态数据库模型。
5 各种TDB模型的共性
各种TDB模型有一个共同的管理时态信息的目的，从而决定了它们在概念、研究方法和机制上有一些共同的特点。
(1)时间量子和时间区间概念时间量子，早期文献称Time quantum, 近年逐渐统一为Cronon, 被定义为时态系统所支持的最小的、不可分解的时间间隔。在微机Windows平台上，时态系统通常取时间量子为0.01秒(高精度系统)至1秒(低精度系统)。系统支持的时间起点记为0，系统时间论域是有限、离散、有序的时间量子的集合，一般记为Sys_T = {0, 1, 2, …，Now, …, MaxSysTime }。时间区间是Sys_T 中以两个时间量子为上下限的时间量子的集合，例如{t, t+1, t+2, …，T }，简记为[t, T ]。
(2) 扩展关系数据库TDB模型一般是传统关系数据库的扩展，而传统关系数据库是它的特例，当生命周期[ t1,t2 ] 缩小为一个时刻{ Now }时，它是被管理对象的一个快照，即传统关系数据库。传统关系数据库的操作如选择、投影、连接都在这里有相应的扩展，而当生命周期缩为[ Now , Now ]时，这些运算与传统RDB运算兼容。TDB中增加一些传统RDB没有，却对历史数据库有意义的运算，如时态连接、时间态选择、AFTER、BEFOE和OVERLAP等等。并引出出人意料的深刻的结果(命题或定理)。
(3) 形式化的描述和原型
TDB模型一般都有形式化的描述，对时间、区间、时态元组、时态关系下一批定义，引入一批运算或扩展传统关系数据库的运算，例如时态选择，时态投影、时态连接等等。在模型和概念基础上深入下去，取得一批有意义的结果。例如某性质在关系数据库上成立，在时态数据库上也成立(平移，扩展)；某性质在关系数据库上成立，在时态数据库上加条件才成立，等等。在条件允许时，研究者都要实现个原型，检验理论结果和运行效率，分析模型的
优缺点及可实现性。
在这些原则的指导下，TDB研究者从不同的观点，根据不同的需求，提出了各种TDB模型。在下篇(<
参考文献
[1] A.Tansel, J.Clifford, S.Gadia, S.Jajodia, Segev and R.Snodgrass 编.―Temporal Databases, -Theory, Design and implementation‖, The Benjamin / Cummings Publishing Company 1993. [2]. J. Ben Zvi, The Time Relational Model, Ph.D.
Thesis, Computer Science Dept.UCLA, 1982. [3]. S. Ginsburg & Changjie Tang (唐常杰), Projection
of Object History, Theoretical Computer Science 48(1986) pp297—328.
[4]. S. Ginsburg & Changjie Tang (唐常杰), The
Canonical
[5]. S. B. Novathe and R. Ahmed, A Temporal Model and Query Languages. UF-CIS Technical Report TR-
8516-Computer and Information Science
Department Univ.Of Florida,April 1986.
[6]. R. Snodgrass and I. Ahn, Temporal Databases, IEEE Computer 19(9) P.35—42, September 1986.
[7]. A. U. Tansel, Adding time dimension to relational model and extending relational algebra,
Information Systems 11(4): 343—353 1986.
[8]. J. Clifford. A Model for Historical Databases. Proceedings of Workshop On Logical Bases for
Database. Toulouse, France December 1982. [9]. S. K. Gadia, Temporal element as a primitive for time in temporal databases and its application in query optimization. Proceedings of 1986. ACM Computer Science Conference.
[10]. 唐常杰、熊明“The Temporal Mechanisms in HBase” Journal of Computer Science and Technology,
Vol.11, No.4 July 1996, P365—371。
[11]. 唐常杰、于中华等，“时态数据库的分史存储技术”，
第15届全国数据库会议论文集1998
The Background, Characteristics and
Representative Researchers of Temporal
Databases
--- The retrospection of 20 years in TDB
(Part 1)
Tang Changjie
(Supported by the NSFC No.69773051)
Sichuan University Computer Department 610064
Abstract: The temporal database has been investigated for twenty years. Near hundred of TDB models are proposed. About 500 articles on TDB were published. This paper gives a simple Retrospection to the 20 years research of TDB, introduces the its background, characteristics and difficulties, representative researcher and articles. In the second part will discuss the main models and shortcoming in TDB research as
well as the author’s opinion about futures TDB investigation.
Key Words:Temporal databases, Cronon, Time interval, Temporal information.
语法知识—动词时态的知识点总复习含解析
一、选择题 1．They the English role play for the show last night. A．will practice B．practiced C．is practicing D．have practiced 2．—Look, Tom's parents look so sad. —Maybe they what's happened. A．knew B．have known C．has known D．will know 3．We’re not sure _______ there’ll be _______ or not tomorrow. A．if; rains B．if; rainy C．whether; raining D．whether; rain 4．Miss Brown, we ______ cleaning our classroom. Can we go home now? A．finish B．finishing C．are finished D．have finished 5．No noise, please. Your brother ________ his homework in the next room. A．does B．is doing C．did D．has done 6．Which of the following is right? A．He is used to live there. B．My main job is spreading the message about protecting the environment. C．I have borrowed the book from the library for two weeks. D．Kids under 18 are not allowed to drive. 7．I like this dress very much. It soft and smooth. A．feels B．touches C．is felt D．is touched 8．My mother will be very angry with me when she out where I have been. A．finds B．found C．will find D．has found 9．—I called you at three yesterday afternoon, but you weren’t in. —I ________ a meeting at that time. A．had B．was having C．have had D．would have 10．—I'm sorry. There was too much traffic on the road. —Never mind. The meeting________for only 5 minutes. A．has begun B．has stopped C．has been on 11．Alice always________her notebooks. She is not tidy. A．lose B．lost C．loses D．found 12．—How long have you________? —For 10 years, we got married in 2005. A．married B．got married C．been married D．were married 13．Miss Smith in our school since five years ago. A．teaches B．taught C．has taught D．is teaching 14．—I can’t stand such loud music! — Sorry, I __________ it off. A．have turned B．turn C．turned D．will turn
校园基础地理空间数据库建设设计方案
校园基础地理空间数据库建设设计方案 遥感1503班第10组 （杨森泉张晨欣杨剑钢熊倩倩） 测绘地理信息技术专业 昆明冶金高等专科学校测绘学院 2017年5月
一．数据来源 二. 目的 三 .任务 四. 任务范围 五 .任务分配与计划六．小组任务分配七. E-R模型设计八．关系模式九．属性结构表十．编码方案
一．数据来源 原始数据为大二上学期期末实训数字测图成果（即DWG格式的校园地形图） 导入GIS 软件数据则为修改过的校园地形图 二．目的 把现实世界中有一定范围内存在着的应用数据抽象成一个数据库的具体结构的过程。空间数据库设计要满足用户需求，具有良好的数据库性能，准确模拟现实世界，能够被某个数据库管理系统接受。
三．任务 任务包括三个方面：数据结构、数据操作、完整性约束 具体为： ①静态特征设计——结构特性，包括概念结构设计和逻辑结构设计； ②动态特性设计——数据库的行为特性，设计查询、静态事务处理等应用程序； ③物理设计，设计数据库的存储模式和存储方式。 主要步骤：需求分析→概念设计→逻辑设计→物理设计 原则：①尽量减少空间数据存储冗余；②提供稳定的空间数据结构，在用户的需要改变时，数据结构能够做出相应的变化；③满足用户对空间数据及时访问的需求，高校提供用户所需的空间数据查询结果；④在空间元素间为耻复杂的联系，反应空间数据的复杂性；⑤支持多种决策需要，具有较强的应用适应性。 四、任务范围 空间数据库实现的步骤、建库的前期准备工作内容、建库流程 步骤：①建立实际的空间数据库结构；②装入试验性数据测试应用程序；③装入实际空间数据，建立实际运行的空间数据库。 前期准备工作内容：①数据源的选择；②数据采集存储原则；③建库的数据准备；④数据库入库的组织管理。 建库流程：①首先必须确定数字化的方法及工具；②准备数字化原图，并掌握该图的投影、比例尺、网格等空间信息；③按照分层要求进行
数据库课程设计大作业
《数据库原理》课程设计报告 专业：测控技术与仪器 班级：测控071班 学号：200710402112 200710402115 姓名：杜文龙王京京 题目名称：物资管理系统 完成日期：2009年12月25日 昆明理工大学信息工程与自动化学院 2009年12月
物资管理系统 一、课程设计目的： 1.加深对讲授内容的理解 《数据库原理及应用》中有关数据库技术的基本理论、基本概念、设计与实现的方法和阶段性知识，光靠课堂讲授既枯燥无味又难以记住，但它们都很重要，要想熟练掌握，必须经过大量实践环节加深对它们的理解。 2.通过课程设计，掌握数据库系统设计与开发的方法及步骤 数据库是一门应用性很强的学科，开发一个数据库系统需要集理论、系统和应用三方面为一体，以理论为基础，以系统（DBMS）作支柱，以应用为目的，将三者紧密结合起来。同时结合实际需要开发一个真实的数据库系统，对于较大型的系统可多人一起完成，但无论如何都应完成数据库的需求分析、数据的分析与建模、数据库的建立、数据库的开发与运行等全部过程。在此过程中将所学的知识贯穿起来，达到能够纵观全局，分析、设计具有一定规模的题目要求，基本掌握数据库系统设计与开发的基本思路和方法并且做到对知识的全面掌握和运用。 3.培养学生自学以及主动解决问题的能力 通过本次设计，使同学能够主动查阅与数据库相关资料，掌握一些课堂上老师未曾教授的知识，从而达到培养学生自学以及主动解决问题的能力的目的。 二、课程设计基本要求： 1.课程设计应由学生本人独立完成，严禁抄袭。 2.掌握所学的基础理论知识，数据库的基本概念、基本原理、关系数据库的设 计理论、设计方法等。熟悉数据建模工具Visio与数据库管理系统SQLServer 软件的使用。 3.按时上机调试，认真完成课程设计。 4.认真编写课程设计报告。 三、需求分析 信息管理系统是集计算机技术、网络通讯技术为一体的信息系统工程，它能够使企业运行的数据更加准确、及时、全面、详实，同时对各种信息进一步地加工，使企业领导层对生产、经营的决策依据更充分，更具有合理性和库、科学性，并创建出更多的发展机会；另外也进一步加强企业的科学化、合理化、制度化、规范化管理，为企业的管理水平跨上新台阶，为企业持久、健康、稳定的发展打下基础。 这个物资管理系统是以客户机/服务器模式的信息管理模式的信息管理系统。它的开发过程不仅仅是一个编写应用程序的过程，而是以软件工程的思想为指导，从可行性研究开始，经过系统分析、系统设计、系统实施
时态的基础知识复习.doc
时态 英语语法中的时态(tense)是一种动词形式，不同的时态用以表示不同的时间与方式。是表示行为、动作和状态在各种吋间条件下的动词形式。因此，当我们说吋态结构的吋候，指的是相应时态下的动词形式。 英语吋态可分为16种：一般现在、一般过去、一般将来、过去将来吋，以及这四者的一般时、进行时、完成时和完成进行时。 在语法里,时或时态表示行为发生的时间和说话时的关系。一般分为过去式、现在式、将來式，通常也有与表示动作进行或终止的进行式和完成式等体貌一起相连用的情况。 动词的现在时 一般现在时 (1)一般现在时表示经常性的动作或状态 一般现在时表示经常性动作或状态时,常与often, always, usually, sometimes, every day 等时间状语连用。如： The shop opens at nine every day. It seldom snows here. (2)一般现在时表示客观存在或普遍真理 Light travels faster than sound. Food easily goes bad in hot weather. (3)一般现在时表示主语的特征或状态 The picture looks very beautiful. Air contains oxygen and nitrogen.空气含有氧和氮。 (4)一般现在时在时间和条件状语从句中表示将來的动作或状态 I'll tell her about it as soon as I see her. When does the train arrive? (5)用于图片说明或剧本屮的动作提示和背景说明 INSIDE THE SHELTER: Stockton slowly turns to face his wife. The angry screaming cries of the people ring in their ears even as they depart. 防空洞中：斯道克顿慢慢转过身，面对他的妻子。那群人正在离去，而他们愤怒的尖叫声却还冋响在他们的耳边。 (6)电视节口直播解说 It's Carter to serve- he needs just one more point. He serves. And Smith misses. What a great serve!So the championshipgoes to 19?year-old Harry Carte匚 该卡特发球了，他只需再得一分就赢了。他发球了，史密斯接球失误。多漂亮的发球！冠军属于了19岁的哈利■卡特。 现在进行时 (1)现在进行时表示说话时或现阶段正在进行的动作 表示现阶段止在进行的动作，通常有表示现阶段的时间状语，女0： today, this week, this month, this year, this term,now 等。如: He is writing a novel now. (2)现在进行时表示经常性的动作 现在进行时在表示经常性、重复性或习惯性的动作时必须与only, merely, simply, really,fast, rapidly, steadily, forever, all the time, always, constantly, continually, repeatedly 等频度副词连用。如：
数据库课程设计完整版
HUNAN CITY UNIVERSITY 数据库系统课程设计设计题目：宿舍管理信息系统 姓名： 学号： 专业：信息与计算科学 指导教师： 20年 12月1日 目录 引言 3 一、人员分配 4 二、课程设计目的和要求 4 三、课程设计过程 1.需求分析阶段 1.1应用背景 5 1.2需求分析目标5 1.3系统设计概要 5 1.4软件处理对象 6 1.5系统可行性分析 6 1.6系统设计目标及意义7
1.7系统业务流程及具体功能 7 8 2.系统的数据字典11 3.概念结构设计阶段 13 4.逻辑结构设计阶段 15 5.物理结构设计阶段 18 6.数据库实施 18 7.数据库的运行和维护 18 7.1 解决问题方法 19 7.2 系统维护 19 7.3 数据库性能评价 19 四、课程设计心得. 20 参考文献 20 引言 学生宿舍管理系统对于一个学校来说是必不可少的组成部分。目前好多学校还停留在宿舍管理人员手工记录数据的最初阶段，手工记录对于规模小的学校来说还勉强可以接受，但对于学生信息量比较庞大，需要记录存档的数据比较多的高校来说，人工记录是相当麻烦的。而且当查找某条记录时，由于数据量庞大，还只能靠人工去一条一条的查找，这样不但麻烦还浪费了许多时间，效率也比较低。当今社会是飞速进步的世界，原始的记录方式已经被社会所淘汰了，计算机化管理正是适应时代的产物。信息世界永远不会是一个平静的世界，当一种技术不能满足需求时，就会有新的技术诞生并取代旧技术。21世纪的今天,信息社会占着主流地位，计算机在各行各业中的运用已经得到普及，自动化、信息化的管理越来越广泛应用于各个领域。我们针对如此，设计了一套学生宿舍管理系统。学生宿舍管理系统采用的是计算机化管理，系统做的尽量人性化，使用者会感到操作非常方便，管理人员需要做的就是将数据输入到系统的数据库中去。由于数据库存储容量相当大，而且比较稳定，适合较长时间的保存，也不容易丢失。这无疑是为信息存储量比较大的学校提供了
动词的时态知识点梳理及经典练习(超详细)
动词的时态知识点梳理及经典练习(超详细) 一、初中英语动词的时态 1．— May I speak to Judy? — Sorry, she a speech in the hall now. A．makes B．has made C．made D．is making 【答案】D 【解析】 【详解】 句意：--我可以让Judy接电话吗？--对不起，她现在在大厅做演讲。这是打电话用语，指的是现在打电话的时候正在做某事，所以应该用现在进行时。故选D。 2．Miss Smith in our school since five years ago. A．teaches B．taught C．has taught D．is teaching 【答案】C 【解析】句意：Smith小姐从5年前就已经在我们学校教书了。考查现在完成时。 since five years ago自从五年前以来，意为自从五年前以来他就教我们英语，表示状态的持续，用于现在完成时；现在完成时的构成：主语+have/has+动词过去分词；主语是Miss Smith，所以助动词用has，teach教，实义动词，过去分词是taught，故答案选C。 3．We a few museums while we were in London. A．visit B．visited C．have visited D．are visiting 【答案】B 【解析】 句意：当我在伦敦时，我参观了几个博物馆。A. visit 参观，用于一般现在时态，主语复数时； B. visited 参观，用于一般过去时态； C. have visited 参观，用于一般现在完成时态； D. are visiting 参观，用于现在进行时态，主语复数时；根据 while we were in London.可知主句用过去时态；故选B 4．—May I speak to Mary? —Hold on, please.She_______in the kitchen. A．has cooked B．cooked C．will cook D．is cooking 【答案】D 【解析】 句意：——我可以让玛丽接电话吗？——请不要挂断电话。她正在厨房做饭。根据Hold on, please.可知此处表示现在让对方别挂断电话，应是表示他找的玛丽正做某事，故用现在进行时be doing，故选D。 5． I _____ Chinese dishes for my foreign friends tomorrow evening.
无锡市基础空间数据库SHP格式方案(大比例尺)
无锡市基础空间数据SHP格式设计方案 （大比例尺） 1、综述 1.1目的 为无锡市规划局基础空间数据建库提供标准。 1.2适用范围 1：500、1：1000、1：2000基础地形图数据 1.3制定原则 ●保证按本方案生产的数据可以实现同SHP数据的高效互转； ●保证按本方案生产的数据在转入数据库后可以实现标准图的输出； ●操作方便。 1.4类型约定 ● ●
1.5引用标准 《GB/T 14804-93 1：500 1：1000 1：2000 地形图要素分类与代码》（1994-08-01）《GB/T 7929-1995 1：500 1：1000 1：2000 地形图图式》（1996-05-01） 《GB 1：500 1：1000 1：2000 地形图数字化规范》（1998-08-01） 《GB/T14804-93 1：500 1：1000 1：2000 地形图要素分类与代码》（1994-08-01）《GT地籍数据库标准》 《GB/T 13923-92 国土基础信息数据分类与代码》（1993-07-01） 2、实体的划分 数据在SDE的服务器里是按照点、线、面和注记划分的，每一个SDE图层（FEATURECLASS）只能存储上述的一种空间对象。由于这种存储模型的限制，势必造成很多国标中的复杂地物被拆分到不同的SDE图层。为了在编码中体现设计的合理性、对实体的物理存储进行统一的管理，特在数据库的设计中在对空间实体做逻辑的划分。 2.1简单点 ●简单点实体只记录插入点的位置和相关属性，所有的简单点实体都必须以插入符号 的形式采集。 ●简单点状实体对应ARCOBJECT体系的IPOINT对象。 ●采集单位在使用点符号的时候要保证简单点的符号要和本方案提供的符号描述一 致，符号的插入点一致。 2.2简单无向线 ●简单线需要作业单位针对每一种实体制作线符号，这里所指的线符号必须是采集系 统提供的线符号库，不能用程序绘制。
大型数据库课程设计指南
大型数据库课程设计指南 一、课程设计目的 大型数据库课程设计是计算机专业集中实践性教学环节之一，是学习完《powerbuilder & SQL server 2000数据库系统管理与实现》课程后进行的一次全面的综合练习。其目的在于加深对大型数据库课程理论和基本知识的理解，掌握使用数据库进行软件设计的基本方法，提高运用数据库解决实际问题的能力。 培养学生正确的设计思想，理论联系实际的工作作风，严肃认真、实事求是的科学态度和勇于探索的创新精神。培养学生综合运用所学知识与生产实践经验，分析和解决工程技术问题的能力。 二、课程设计内容及要求 坚持“规格严格，功夫到家”的优良传统，加强基本功训练，做到理论与实际相结合，继承与创新相结合，充分发挥学生的主观能动性与教师因材施教、严格要求相结合，抓智力因素教育与非智力因素教育相结合，教书育人。 用powerbuilder和sql server 2000制作一个小型管理系统。所设计的小型管理系统应包含输入输出、查询、插入、删除等基本功能。根据课程设计1 周时间的安排选择适当大小的设计课题，课题的选择可以是实际问题，也可以是虚构的问题。根据题目的基本需求，画出流程图，编写程序，并写出详细的设计说明书。 三、课程设计时间 课程设计时间为1周。 四、课程设计分组 一人一组（每个人都不能重复） 五、课程设计课题 （见附件一） 六、课程设计课题选择 （1）具体课题题目附后 （2）一人一题，不允许重复。班长或学习委员进行协调 （3）如果对所给的设计题目不满意，可以自选题目（不能和其他人重复）。
但需要经过老师的最终确认。自选题目应该满足：所设计的数据库应 该具有添加、删除、编辑、多层灵活查询等功能。 （4）所有的题目都要在6月15日星期五下午四点前最后确认 七、课程设计具体时间安排 （1） 6月15日之前各班进行课程设计的安排（已经完成） （2） 6月18日12点之前完成计划制定。（包括在你的系统内主要实现的功能和每个功能你准备在那一天完成，并写成电子文档上交， 格式如图） （3） 6月18日至6月22日上午进行程序设计。19日下午、20日下午、21日下午对每个同学完成的功能打分 （4） 6月22日上午进行程序调试，并生成可执行程序 （5） 6月22日下午写课程设计报告和每天你所完成工作的日志记录和总结 （6） 6月22日下午四点之前，将课程设计报告和日志记录上传网络硬盘 八、课程设计的提交 （1）上交网络硬盘，网络硬盘地址为ftp://10.100.100.88用户名和密码都为自己在上面已经注册的 （2）要求提交的内容有：源程序和可执行程序、课程设计报告（word 文档）和每天你所完成工作的日志记录、总结 九、课程设计说明书的编写规范与写作框架 （见附件二）
初中英语四大时态知识点
一般现在时 一、概念： 1)经常性、习惯性的动作或存在的状态。 标志词或短语（带有表示频率的时间状语）：always , everyday , often , once a week (month , year , etc。) ,never， sometimes , seldom , usuall y等等She only write to her family once a month.她一个月只给家里写一封。 I go to work by bike every day。我每天骑自行车上班。 2)表示主语的特征、性格、能力、爱好等。 . He can swim. I work hard. I like watching TV. 3)表示客观真理 . There are seven days in a week. The sun rises in the east 。日出东方。 Ten minus two is eight。十减二等于八。 Light travels faster than sound 。光的速度比声音的速度快。 The United States lies by the west coast of the Pacific Ocean. 美国位于太平洋西岸。 4) 根据英文语法规定，当主句的谓语动词是一般将来时，那么时间或条件状语从句的谓语动词只能用一般现在时来表示将来要发生的动作。主句表将来，从句要用一般现在时。 例：I'll tell him the news when he comes back. 他回来时，我将告诉他这个消息。 If you take the job , they will talk with you in greater details。 如果你接受这份工作，他们将和你谈谈细节。 二、句式结构： 1）主语 + be动词 + 其他 2）主语 + 行为动词 + 其他 三、句式转换 1）be 动词的一般现在时的句式转换： 肯定句：主语+be+表语(n., adj.等)
大型数据库课程设计报告——机房管理系统
大型数据库课程设计 设计报告 题目：机房管理系统 学号： 学生姓名: 指导教师： 提交时间：
目录 第1章需求分析 (1) 1.1 需求调查 (1) 1.2 系统功能分析 (2) 1.3 面对用户需求分析 (3) 第2章面向对象分析和设计 (4) 第3章逻辑结构设计 (6) 3.1 类和对象向关系模式转换 (8) 3.2 关系模式优化 (9) 第4章数据库物理结构设计 (9) 4.1 存取方法设计 (9) 4.2 存储结构设计 (9) 4.3 物理设计 (10) 第5章数据库完整性设计 (12) 5.1 主键及唯一性索引 (12) 5.2 参照完整性设计 (12) 5.3 Check约束 (12) 5.4 Default约束 (12) 5.5 触发器设计 (13) 第6章数据库视图设计 (15) 第7章数据库存储过程设计 (16) 第8章权限设计 (17) 总结 (18) 参考文献： (18)
机房管理系统后台数据库 第1章需求分析 1.1 需求调查 针对一般高校机房管理系统的需求分析，通过对各个用户的调查，该机房管理系统有如下需求： 1)机房管理：实现机房管理员对机房信息、计算机信息以及教学班上机相关 信息的管理。机房管理员可以对包括机房名称、该机房拥有的计算机数目、计算机编号、计算机上机费率在内的相关机房信息、计算机信息进行管理，也可以为教学班的课程分配上机时间和地点。 2)基本信息管理：实现对课程信息和教学班的基本信息的管理，包括课程的 教师、上机时间和上机地点等基本信息，以及教学班学生、课程和成绩等基本信息的管理。学生可以对自己的个人基本信息进行管理，机房管理员可以对上机时间和地点等进行管理，任课教师可以对教学班学生课程成绩进行修改。 3)查询：实现对机房信息、学生信息、课程信息和教学班信息的相关查询。 机房管理员可以对机房各项相关信息进行查询，学生可以对包括学号、姓名、民族、性别、出生日期、班级、系别、专业和卡号在内的学生个人基本信息，课程的教师、上机时间、上机地点和成绩在内的课程信息，以及包括上机收费和余额在内的充值卡信息进行查询，任课老师可以对教学班学生信息、课程信息、上机时间、上机地点以及成绩等基本信息进行相关查询。 4)充值管理：实现充值人员对学生充值信息的管理，包括卡号、充值时间、 充值金额以及余额等基本信息。学生通过充值人员为自己的卡充值，也可以了解自己的充值卡余额。 5)上机管理：实现对学生上机信息和机房收费信息的管理。下机后，系统将 自动修改该学生的充值卡账户余额；通过机房收费信息可以统计各机房上机的费用。
英语语法基本基础知识——时态
英语的时态问题 英语的时态可以分为：“时”(time) 和“体”(aspect)（又称为态）。时是指动作发生的时间，体是指动作发生时的状态。时间与体就象是坐标里的横轴和纵轴，它们的结合交织出了瞬息万变的时空，也构成了英语动词的时态问题。 时间分为：过去，现在，将来，过去将来 体分为：一般（在某个时间点）， 进行（延续某个时间段）， 完成（完成某个时间段） 完成进行（延续某个完成的时间段） 如此以来，英语中就有16种时态变化，现在就用动词为write例，看看它们的形式。 注意：里面的斜体字部分，由于时态过于复杂，几乎没有人真正去应用它们，可以忽略不记。 下面就常用的12种时态，（其中还有三种相对用的较少的，请注意）。具体分析一下。 一．一般现在时 表示现在的时间“点”上发生的动作或者状态，常用于以下的情况 1、经常重复发生的动作或存在的状态，多与often, always, usually, sometimes, everyday, 等时 间状语连用。 He takes a walk after supper everyday My mother and father work at the same company. 2、表示性格，特征，能力。 Mr. Smith hates fish and never eats any. 3、表示客观真理或者普遍事实。
The sun rises in the east. 二．一般过去时 表示过去某时发生的动作或者状态，常和表示过去某个时间“点”的时间状语(yesterday, last week, 3 years ago, in 1987)连用 She bought a car last week. He came to help me at that time. 三．一般将来时 表示将来的时间“点”上发生的动作或者状态。 The train will arrive soon. We shall know the news tomorrow. 四．过去将来时 过去某个时间“点”上将要发生的动作或状态。 I asked her where she would spend her holiday. I told my father that I should go home next Monday. 五．现在进行时 表示现在的时间“段”上正在延续进行的动作或者状态。 I’m doing some washing. What are you doing? 六．过去进行时 在过去某一个时间“段”正在延续进行的动作。 I was working in my office at eight o’clock yesterday evening. He was making a phone call when I saw him. 七．将来进行时 在将来某个时间“段”正在发生的动作，一般表示一种猜测和未来的计划，一般不太常用。What will you be doing at 3 o’clock tomorrow afternoon? （明天下午三点你将在做什么哪） 八．现在完成时 表示动作在一个时间“段”的完成，而且这个时间段是从过去某一点延续到现在的。经常跟时间状语since 1987，for 10 hours , by the last year相连。 My brother has been ill for 3 days. I have not seen her since 1991. 九．过去完成时 在过去的某个时间“段”里动作的完成，从过去的一点再到过去的另一点。或者称为过去的过去。 He said that he had written her a letter. Helen rang me up after I had gone to sleep.
时态数据库
1.时态数据库的定义 区别于传统的关系型数据库(RDBMS)，时态数据库(Temporal Database)主要用于记录那些随着时间而变化的值的历史，而这些历史值对应用领域而言是重要的，这类应用有：金融、保险、预订系统、决策支持系统等。 目前时态数据库还没有像如Oracle、SQL Server等大型关系数据库那样的产品。在当前时态数据库技术尚未完全成熟的现状下，DBMS提供商不会轻易把时态处理功能引入现有的DBMS中，因此，利用成熟的RDBMS数据库，建立时态数据库的中间件，在现阶段是一个较好的选择，因此就应运而生TimeDB和TempDB了。 2.时态数据库的类型 时态数据库理论提出了三种基本时间：用户自定义时间、有效时间和事务时间。同时把数据库分为四种类型：快照数据库、回滚数据库、历史数据库和双时态数据库。 1)用户自定义时间：指用户根据自己的需要或理解定义的时间。时态数据库系统不 处理用户自己定义的时间类型。因此，用户自定义时间是和应用相关的，不在时态数据库处理的范围之内。 2)有效时间（Valid-Time）：指一个对象在现实世界中发生并保持的时间，即该对 象在现实世界中语义为真的时间，包含Valid-From和Valid-To两个值。它可以指示过去、现在和未来。例如，考虑事实?小明从2003年到2007年是大学生?，那么时间区间[2003, 2007]是事实?小明是大学生?的有效时间区间，该事实在该时间区间内为真。有效时间可以是时间点、时间点的集合、时间区间或者时间区间的集合，或者是整个时间域。有效时间由时态数据库系统解释并处理，在查询的过程中对用户透明。用户也可以显式地查询和更新有效时间。 3)事务时间（Transaction-Time）：指一个数据库对象发生操作的时间，是一个事 实存储在数据库、或者在数据库中发生改变的时间，包含Transaction-From和Transaction-To两个值。当用户对数据库状态进行更改时，会产生各种操作历史，事务时间真实地记录了数据库状态变更的历史。有时也称事务时间为系统时间。 4)快照数据库：快照数据库是反映现实世界某一瞬间情况的数据模型。它记录了特 定时刻的数据库状态。快照数据库采用这样的假设：一个存储在数据库中的元组，一定是真实世界中的有效事实。 5)历史数据库：数据库中被管理对象的生命周期是对象的有效时间，每一个元组记 录了数据的一个?历史?状态。历史数据库中没有约束时间的表示方法，可以是时间点的集合、时间区间或者区间集合等形式表示。 6)回滚数据库：数据库中被管理对象的生命周期是事务时间的数据库。它保存了数 据库中事务提交、状态演变的历史状态。 7)双时态数据库：数据库中元组包含一个系统支持的有效时间和一个系统支持的事 务时间的数据库，称为双时态数据库。双时态数据库具备了快照数据库、历史数据库和回滚数据库的特点，存储了现实世界和数据库系统的变更历史。 8)Now：Now的中文意思是当前时间，是一个时间变元，随着当前时间的变化而变化， 记录了随时间变化的信息，它的有效值依赖于当前时间。但在很多应用当中，now 值还能表示?过去?和?未来?时间，这就是now语义的研究课题，它对于提高时态系统查询效率具有比较重要的意义。 3.时态数据库脚本ATSQL的使用 时态数据处理构件根据ATSQL2的语法引入了Now、Beginning和Forever三个变元。 Beginning和Forever分别表示时态数据处理构件所能表示的时间起点和终点。Now表示当前时间。每次执行操作时必须使Now绑定到一个固定的值（操作执行的当前时间），
数据库基础知识试题(含答案)
数据库基础知识试题 部门____________ __________ 日期_________ 得分__________ 一、不定项选择题（每题1.5分，共30分） 1.DELETE语句用来删除表中的数据,一次可以删除( )。D A .一行 B.多行 C.一行和多行 D.多行 2.数据库文件中主数据文件扩展名和次数据库文件扩展名分别为( )。C A. .mdf .ldf B. .ldf .mdf C. .mdf .ndf D. .ndf .mdf 3.视图是从一个或多个表中或视图中导出的（）。A A 表 B 查询 C 报表 D 数据 4.下列运算符中表示任意字符的是( )。B A. * B. % C. LIKE D._ 5.（）是SQL Server中最重要的管理工具。A A．企业管理器 B.查询分析器 C.服务管理器 D.事件探察器 6.（）不是用来查询、添加、修改和删除数据库中数据的语句。D A、SELECT B、INSERT C、UPDATE D、DROP 7.在oracle中下列哪个表名是不允许的（）。D A、abc$ B、abc C、abc_ D、_abc 8.使用SQL命令将教师表teacher中工资salary字段的值增加500，应该使用的命令 是（）。D A、Replace salary with salary+500 B、Update teacher salary with salary+500 C、Update set salary with salary+500 D、Update teacher set salary=salary+500 9.表的两种相关约束是（）。C
空间数据库复习重点答案完整)
1、举例说明什么是空间数据、非空间数据？如何理解空间查询和非空间查询的区别？常用的空间数据库管理方式有哪几种及其各自特点。 数据：是指客观事务的属性、数量、位置及其相互关系等的符号描述。空间数据：是对现实世界中空间对象（事物）的描述，其实质是指以地球表面空间位置为参照，用来描述空间实体的位置、形状、大小及其分布特征等诸多方面信息的数据。河流的泛洪区，卫星影像数据、气象气候数据等都可以是空间数据书店名称店员人数，去年的销售量，电话号码等是非空间数据 空间查询是对空间数据的查询或命令 人工管理阶段 文件管理阶段缺点： 1）程序依赖于数据文件的存储结构，数据文件修改时，应用程序也随之改变。 2）以文件形式共享，当多个程序共享一数据文件时，文件的修改，需得到所有应用的许可。不能达到真正的共享，即数据项、记录项的共享。 常用： 文件与数据库系统混合管理阶段优点：由于一部分建立在标准的RDBMS上，存储和检索数据比较有效、可靠。 缺点：1）由于使用了两个子系统，它们各自有自己的规则，查询操作难以优化，存储在RDBMS外的数据有时会丢失数据项的语义。 2）数据完整性的约束条件可能遭破坏，如在几何空间数据系统中目标实体仍存在，但在RDBMS中却已删除。 3）几何数据采用图形文件管理，功能较弱，特别是在数据的安全性、一致性、完整性、并发控制方面，比商用数据库要逊色得多 全关系型空间数据库管理系统 ◆属性数据、几何数据同时采用关系式数据库进行管理 ◆空间数据和属性数据不必进行烦琐的连接，数据存取较快 ◆属性间接存取，效率比DBMS的直接存取慢，特别是涉及空间查询、对象嵌套等复杂的空间操作 ◆GIS软件：System9，Small World、GeoView等 本质：GIS软件商在标准DBMS顶层开发一个能容纳、管理空间数据的系统功能。 对象关系数据库管理系统 优点：在核心DBMS中进行数据类型的直接操作很方便、有效，并且用户还可以开发自己的空间存取算法。缺点：用户须在DBMS环境中实施自己的数据类型，对有些应用相当困难。 面向对象的数据库系统。 采用面向对象方法建立的数据库系统； 对问题领域进行自然的分割，以更接近人类通常思维的方式建立问题领域的模型。 目前面向对象数据库管理系统还不够成熟，价格昂贵，在空间数据管理领域还不太适用； 基于对象关系的空间数据库管理系统可能成为空间数据管理的主流 2、什么是GIS，什么是SDBMS？请阐述二者的区别和联系。 GIS是一个利用空间分析功能进行可视化和空间数据分析的软件。它的主要功能有：搜索、定位分析、地形分析、流分析、分布、空间分析/统计、度量GIS 可以利用SDBMS来存储、搜索、查询、分享大量的空间数据集 改：地理信息系统是以地理空间数据库为基础，在计算机软硬件的支持下，运用系统工 科学管理和综合分析具有空间内涵的地理数据，以提供管理、决策等所需信息的技术系统。简单的说，地理信息系统就是综合处理和分析地理空间数据的一种技术系统。
大型数据库课程设计
华东交大理工学院 课程设计报告书 所属课程名称数据库系统原理课程设计题目超市管理系统数据库设计 与实现 院（系）电信分院 班级09本科电子商务（2）班学号 学生姓名 指导教师 辅导教师 2012年1月2日
华东交大理工学院 课程设计安排计划 班级：课程： 通过课程设计，要求掌握数据库系统的基本概念、原理和技术，将理论与实际相结合，应用现有的数据建模工具、数据库管理系统软件及应用开发工具，规范、科学的完成一个小型数据库的设计并进行数据库应用系统的开发。 具体内容与要求如下： 1.根据所选课题，设计并构建一个数据库（用MS SQL SERVER 2005实现）;基于上述数据库设计实现一个数据库应用系统（系统开发工具不限） 2.数据库的设计与构建方面（课程设计重点） （1）数据库来源于对现实世界的抽象和概括，要求设计科学、规范、合理符合实际情况与需求购 （2）数据表的设计要求：每个关系至少要满足3NF，既要有较低的冗余度，又具有较高的访问效率，每个系统最少应有5个以上的表，并根据实现需要定义索引。 （3）数据库设计的安全性要求：配置MS SQL Server2005,根据实际需要定义合理的用户权限及用户视图。
（4）数据库设计的完整性要求：根据实际需要定义合理的完整性约束（实体完整性、参照完整性以及用户自定义完整性等）（5）根据实际情况定义合理的存储过程和触发器； 3、应用系统的设计与实现面 （1）要求实现所选课题的基本功能，界面美观、大方、实用。 （2）课题基本功能应符合实际系统的需求，一定要先做需求分析，再编写代码。 （3）应用系统开发工具不限，可以根据自己的实际情况选择一种。 4、课程设计报告方面 （1）课设报告杜绝抄袭和下载。 （2）课程设计报告内容包括： a.前言：主要对自己的课程设计进行简要介绍说明，在对所选题目进行调研的基础上，明确该选题要做什么。 b.需求分析：采用自顶向下的方法，对数据库及应用系统进行分析，列出系统功能模块，并画出系统的功能模块图，写出数据字典，并画出数据流图。 c.概要设计：根据需求分析画出E-R图（E-R图必需规范合理） d.逻辑设计：把E-R图转换成关系模式，并进行规范化，最
时间数据库的时间轴逻辑模型
ISSN 1000-9825, CODEN RUXUEW E-mail: jos@https://www.wendangku.net/doc/b48474016.html, Journal of Software, Vol.21, No.4, April 2010, pp.694?701 https://www.wendangku.net/doc/b48474016.html, doi: 10.3724/SP.J.1001.2010.03511 Tel/Fax: +86-10-62562563 ? by Institute of Software, the Chinese Academy of Sciences. All rights reserved. ? 时态数据库时间轴的动态逻辑模型 刘冬宁1,2, 汤庸2+ 1(广东工业大学计算机学院,广东广州 510006) 2(中山大学计算机科学系,广东广州 510275) Dynamic Logic Model of Time Axes in Temporal Database LIU Dong-Ning1,2, TANG Yong2+ 1(Faculty of Computer Science, Guangdong University of Technology, Guangzhou 510006, China) 2(Department of Computer Science, SUN YAT-SEN University, Guangzhou 510275, China) + Corresponding author: E-mail: issty@https://www.wendangku.net/doc/b48474016.html,, https://www.wendangku.net/doc/b48474016.html, Liu DN, Tang Y. Dynamic logic model of time axes in temporal database. 2010,21(4):694?701. https://www.wendangku.net/doc/b48474016.html,/1000-9825/3511.htm Abstract: Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain. Thus the essential characteristics of time and temporal attributes in database can be described exactly, and the result is used in the temporal querying. So the research starts from essential characteristics of time attributes. At first, this paper expounds the order relation and first order logic properties of time axes. Secondly, this paper axiomatically models that using Tense Logic and dynamic logic, which aims at reflecting the properties of axes in fine grain by logical analysis. In the part of dynamic logic modeling, respecting to the static of temporal logic system, this paper mostly deals with the dynamics in the new system. Based on Lin.Z system in Tense Logic, this paper makes out the dynamic Lin.Z system, which has some parameters and functions. The parameters of this system are based on the action, which helps the action exponential numerical and functional. The results of that embody the properties and representation method of the rule’s lifecycle and point “Now” in temporal database, which positively helps the research in the field of temporal knowledge representation and temporal querying subsequently. Key words: temporal database; time axes; Tense Logic; dynamic logic; action parameter 摘要: 尽管在1994年,Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语 言建模的,但是仍需要通过对时间轴的公理化建模,利用公理化系统的可靠和完全等性质对时间轴作“细精度”的语 ? Supported by the National Natural Science Foundation of China under Grant Nos.60673135, 60736020 (国家自然科学基金); the Program for New Century Excellent Talents in University of China under Grant No.NCET-04-0805 (新世纪优秀人才支持计划); the Natural Science Foundation of Guangdong Province of China under Grant Nos.7003721, 04105503 (广东省自然科学基金); the Science-Technology Plan of Guangdong Province of China under Grant Nos.2005B10101041, 2007B010200052 (广东省科技攻关计划) Received 2008-04-05; Revised 2008-10-16; Accepted 2008-11-10; Published online 2009-06-09