Title
Generating SQL queries from SBVR rules
Abstract
Declarative technologies have made great strides in expressivity between SQL and SBVR. SBVR models are more expressive that SQL schemas, but not as imminently executable yet. In this paper, we complete the architecture of a system that can execute SBVR models. We do this by describing how SBVR rules can be transformed into SQL DML so that they can be automatically checked against the database using a standard SQL query. In particular, we describe a formalization of the basic structure of an SQL query which includes aggregate functions, arithmetic operations, grouping, and grouping on condition. We do this while staying within a predicate calculus semantics which can be related to the standard SBVR-LF specification and equip it with a concrete semantics for expressing business rules formally. Our approach to transforming SBVR rules into standard SQL queries is thus generic, and the resulting queries can be readily executed on a relational schema generated from the SBVR model.
Year
DOI
Venue
2010
10.1007/978-3-642-16289-3_12
RuleML
Keywords
Field
DocType
standard sbvr-lf specification,standard sql query,sql dml,sbvr rule,aggregate function,predicate calculus semantics,concrete semantics,sql query,sbvr model,generating sql query,sql schema,sbvr,formal semantics,predicate calculus,business rules,declarative programming,sql
SQL,Data mining,Semantics of Business Vocabulary and Business Rules,Programming language,Computer science,Query by Example,Declarative programming,Business rule,SQL/PSM,Database,Null (SQL),Executable
Conference
Volume
ISSN
ISBN
6403
0302-9743
3-642-16288-6
Citations 
PageRank 
References 
6
0.63
7
Authors
3
Name
Order
Citations
PageRank
Sotiris Moschoyiannis110213.86
Alexandros Marinos29412.40
Paul Krause329512.71