checking inconsistency of rule sets in active real-time databases

	checking inconsistency of rule sets in active real-time databases
	Zhang Jian
	2008
会议名称	11th IEEE High Assurance Systems Engineering Symposium
会议录名称	Proceedings of IEEE International Symposium on High Assurance Systems Engineering
页码	453-456
会议日期	DEC 03-05,
会议地点	Nanjing, PEOPLES R CHINA
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS
ISSN	1530-2059
ISBN	978-0-7695-3482-4
部门归属	Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, Beijing 100190, Peoples R China.
摘要	Using active rules in database systems provides a kind of abstraction and flexibility, But it may also be difficult to use the rules properly, especially when they involve timing constraints. In this paper, we define a type of inconsistency be
关键词	Active Databases Real-time Databases Eca Rules Consistency Checking Constraint Solving
主办者	IEEE, IEEE Comp Soc, Nanjing Univ, IEEE Reliabil Soc
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10578
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zhang Jian. checking inconsistency of rule sets in active real-time databases[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS,2008:453-456.