关系数据库引擎:事件轨迹时间属性的有效验证器

2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops Pub Date : 2013-09-09 DOI:10.1109/EDOCW.2013.37

J. Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet

{"title":"关系数据库引擎:事件轨迹时间属性的有效验证器","authors":"J. Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet","doi":"10.1109/EDOCW.2013.37","DOIUrl":null,"url":null,"abstract":"Trace validation is the process of analyzing a log produced by a system to discover violations of some specification involving sequences of events. This paper presents a translation of Linear Temporal Logic properties into equivalent SQL expressions. Experimental results on four different scenarios show that off-the-shelf database engines outperform seven different trace validation techniques from past literature, sometimes by orders of magnitude.","PeriodicalId":376599,"journal":{"name":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","volume":"52 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces\",\"authors\":\"J. Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet\",\"doi\":\"10.1109/EDOCW.2013.37\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Trace validation is the process of analyzing a log produced by a system to discover violations of some specification involving sequences of events. This paper presents a translation of Linear Temporal Logic properties into equivalent SQL expressions. Experimental results on four different scenarios show that off-the-shelf database engines outperform seven different trace validation techniques from past literature, sometimes by orders of magnitude.\",\"PeriodicalId\":376599,\"journal\":{\"name\":\"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops\",\"volume\":\"52 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-09-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EDOCW.2013.37\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EDOCW.2013.37","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

跟踪验证是分析系统生成的日志以发现涉及事件序列的某些规范的违反的过程。本文提出了一种将线性时间逻辑属性转换成等价的SQL表达式的方法。在四种不同场景下的实验结果表明，现成的数据库引擎优于过去文献中七种不同的跟踪验证技术，有时甚至高出数量级。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces

Trace validation is the process of analyzing a log produced by a system to discover violations of some specification involving sequences of events. This paper presents a translation of Linear Temporal Logic properties into equivalent SQL expressions. Experimental results on four different scenarios show that off-the-shelf database engines outperform seven different trace validation techniques from past literature, sometimes by orders of magnitude.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops

自引率

0.00%

发文量