ACM Transactions on Database Systems (TODS)
ConQuer: A Conceptual Query Language
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
An Introduction to Database Systems
An Introduction to Database Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Parsing SBVR-Based Controlled Languages
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
An SBVR Framework for RESTful Web Applications
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
From UML/OCL to SBVR specifications: A challenging transformation
Information Systems
An approach for bridging the gap between business rules and the semantic web
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Towards the web of models: a rule-driven RESTful architecture for distributed systems
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Hi-index | 0.00 |
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.