数据库条件查询及回调功能的自动机设计和实现  

Automata-based Design and Realization of Database Conditional Inquiry and Rollback

作　　者：曾壹[1] 盛凯[1] 李智[1] 

机构地区：[1]中国铁道科学研究院通信信号研究所

出　　处：《铁道通信信号》2016年第10期93-96,共4页Railway Signalling & Communication

摘　　要：CTC系统数据库中存储的报警、操作消息能够反映特定线路的使用情况和调度员的操作习惯。使用软件封装并执行条件查询,能够大大降低数据库操作的难度。软件具备在数据库中查询满足条件的表格,以及回调之前查询记录的功能。软件设计过程中采用自动机编程的方法,确立了软件规格,并验证了使用自动机编程方法进行软件设计的可行性和有效性。The alarm and operation information stored in the database of the CTC system can explicitly reflect dispatching situation of railway lines and operators＇ operating habit.Encapsulating software and executing conditional inquiry could simplify database operations significantly.The software is capable of inquiring charts of given conditions and rolling back to previous records.With the introduction of automata-based programming techniques,software specification and requirement are illustrated and realized and the feasibility and efficiency of these techniques in designing the database management software is also verified.

关 键 词：自动机编程 条件查询 SQL查询回调 

分 类 号：U284.48[交通运输工程—交通信息工程及控制]