P.: 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...

Full description

Bibliographic Details
Main Authors: Sotiris Moschoyiannis, Alexandros Marinos, Paul Krause
Other Authors: The Pennsylvania State University CiteSeerX Archives
Format: Text
Language:English
Published: 2010
Subjects:
DML
Online Access:http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1068.6427
http://epubs.surrey.ac.uk/738714/1/Generating_SQL_from_SBVR_RuleML2010.pdf
Description
Summary: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.