时态信息处理技术及应用

图书标准信息

• 作者 汤庸、叶小平、汤娜 编
• 出版社 清华大学出版社
• 出版时间 2010-07
• 版次 1
• ISBN 9787302223900
• 定价 110.00元
• 装帧 精装
• 开本 16开
• 纸张 胶版纸
• 页数 349页
• 字数 502千字
• 正文语种 简体中文，英语

【内容简介】

《时态信息处理技术及应用》读者对象为高等院校计算机专业的师生，科研机构及相关领域的研发人员等。时间是自然界无处不在的属性。时态信息处理已经成为现代信息系统的重要组成部分。《时态信息处理技术及应用》系统研究时态信息处理技术及其应用，内容包括：（1）时间模型、时间演算和时态逻辑方法；（2）时态数据库基本概念、时态数据模型、时间算子now的语义和时态数据索引；（3）时态数据查询语言，以TempDB为例介绍时态数据库管理系统的设计和实现；（4）XML、工作流时态扩展和时态知识模型；（5）时态应用模式，并给出一个典型的时态应用实例。

【目录】

Preface
ListofFiguresandTables
PartITemporalModelsandCalculationMethods
1FromTimeDatatoTemporalInformation
1.1ApplicationRequirement
1.2WhatIsTimeData
1.2.1TimePoint
1.2.2TimeInterval
1.2.3TimeSpan
1.2.4ComplexTimeData
1.3TemporalInformation，TemporalDatabaseandTemporalSystem
1.3.1WhatIsTemporalInformation
1.3.2TemporalDatabase
1.3.3TemporalSystem
1.4OriginandDevelopmentofTemporalInformationTechnologies
1.4.1FoundingPhase
1.4.2DevelopmentPhase
1.4.3ApplicationPhase
1.5CurrentSituation，ProblemsandTrends
1.5.1CurrentSituation
1.5.2ExistentProblemsinTemporalDatabaseResearch
1.5.3Trends
References

2TimeCalculationandTemporalLogicMethod
2.1TimeModel
2.1.1ContinuousModel
2.1.2StepwiseModel
2.1.3DiscreteModel
2.1.4NonTemporalModel
2.2PropertiesofTimeStructure
2.2.1OrderRelationsofTimeSets
2.2.2FirstOrderPropertiesofTimeFlow
2.3Point-BasedTemporalLogic
2.3.1TemporalExtensionsBasedSnapshotModel
2.3.2TemporalExtensionsBasedTimestampModel
2.4Interval-BasedTemporalLogic
2.4.1FromIntervaltoPoint
2.4.2FromPointtoPoint
2.4.3TemporalPredict
2.5CalculationBasedonSpan
2.6OtherTemporalCalculationsinCommonUse
2.7TimeGranularityandConversionCalculation
2.7.1TimeGranularityandChronon
2.7.2StateofExistenceofTimeGranularity
2.7.3OperationsofTimeGranularity
2.7.4RelationalChartofTimeGranularityConversion
2.8TenseLogic
2.8.1SyntaxandSemanticsofTenseLogic
2.8.2AxiomaticsandProperties
References

3TemporalExtensionofRelationalAlgebra
3.1RegularRelationalOperations
3.1.1BasicNotions
3.1.2RelationalAlgebra
3.1.3RelationalCalculus
3.2RelationalAlgebraofHistoricalDatabase
3.2.1BasicNotionsandTerminologies
3.2.2HRDMModel
3.2.3HistoricalRelationalAlgebraofHRDM
3.3BitemporalRelationalAlgebraofBCDM
3.3.1BasicNotionsandTerminologies
3.3.2BitemporalRelationalAlgebra
3.4SnapshotReducibilityandTemporalCompleteness
3.4.1SnapshotReducibility
3.4.2TemporalSemi-Completeness
3.4.3TemporalCompleteness
References

Part11DatabaseBasedonTemporalInformation
4TemporalDataModelandTemporalDatabaseSystems
4.1Time-Dimensions
4.1.1User-DefinedTime
4.1.2ValidTime
4.1.3TransactionTime
4.1.4TwoTemporalVariables：NowandUC
4.1.5AnIllustration
4.2TemporalDatabaseTypes
4.2.1SnapshotDatabase
4.2.2HistoricalDatabase
4.2.3RollbackDatabase
4.2.4BitemporalDatabase
4.3TemporalDataModels
4.3.1BitemporalTimeStamps
4.3.2BCDM
4.3.3TemporalEntity-RelationshipDataModel
4.4DifferencefromReal-TimeDatabase
References

5Spatio-TemporalDataModelandSpatio-TemporalDatabases
5.1Introduction
5.2Spatio-TemporalDataModel
5.2.1Spatio-TemporalObject
5.2.2BasicConsiderationsofSpatio-TemporalModeling
5.2.3VersionBasedDataModel
5.2.4Event-BasedDataModel
5.2.5Constraint-BasedDataModel
5.2.6MovingObjectsDataModel
5.3QueryonSpatio-TemporalData
5.3.1Spatio-TemporalDataQuery
5.3.2MovingDataQuery
5.3.3Spatio-TemporalDatabaseLanguage
5.4StructureofSpatio-TemporalDatabaseSystem
5.4.1StructureofCompleteType
5.4.2StructureofLayeredType
5.4.3StructureofExtendedType
Reference

6TemporalExtensionofXMLDataModel
6.1Motivation
6.1.1XMLTemporalDriven
6.1.2Commercial-DrivenTemporalDatabase
6.2TemporalResearchoftheSemi-StructuredData
6.3TemporalXMLModelandQueryMechanism
References

7DataOperationsBasedonTemporalVariables
7.1Introduction
7.2DataModelBasedonTemporalVariables
7.2.1OrderandTemporalVariables
7.2.2MainBodyInstances
7.2.3BitemporalRelationModelBasedonVariables
7.3DataUpdating
7.3.1DataInserting
7.3.2DataDeleting
7.3.3DataModifying
7.4DataQuerying
7.4.1NowinCurrentVersions
7.4.2NowinNon-CurrentVersion
7.4.3TemporalQueryingAlgorithms
References

PartIIITemporalIndexTechnologies
8TemporalIndexesSupportingValidTime
8.1Introduction
8.2SummaryofTemporalIndex
8.2.1TemporalIndexBasedonTransactionTime
8.2.2IndexBasedonValidTime
8.2.3BitemporalIndex
8.3TRdim
8.3.1RelativeTemporalDataModel
8.3.2TemporalRelationIndexModel
8.4DataQueryingandIndexUpdating
8.4.1IndexQuerying
8.4.2IndexUpdating
8.5Simulation
8.5.1IndexConstructing
8.5.2QueryBasedonProbability
8.5.3QueryBasedontheNumberofData
References

9IndexesforMoving-ObjectsData
9.1Introduction
9.2DataModelforMovingObjects
9.2.1DataModelModm
9.2.2TemporalSummary
9.3IndexforMovingObjectData
9.3.1LinearOrderDivision

……
PartIVTemporalDatabaseManagementSystems
PartVTemporalApplicationandCaseStudy
Appendix
Index