Abstrakt. Deklarativa teknologier har gjort stora framsteg i expressivitet mellan SQL och SBVR. SBVR-modeller är mer uttrycksfulla än SQL-scheman, men ännu inte lika nära förestående körbara. I det här dokumentet slutför vi arkitekturen för ett system som kan köra SBVR-modeller. Vi gör detta genom att beskriva hur SBVR-regler kan omvandlas till SQL DML så att de automatiskt kan kontrolleras mot databasen med hjälp av en standard SQL-fråga. I synnerhet beskriver vi en formalisering av den grundläggande strukturen i en SQL-fråga som inkluderar aggregerade funktioner, aritmetiska operationer, gruppering och gruppering på villkor. Vi gör detta medan vi håller oss inom en predicate calculus semantics som kan relateras till standard SBVR-LF specifikation och utrusta den med en konkret semantik för att uttrycka affärsregler formellt. Vårt tillvägagångssätt för att omvandla SBVR-regler till standard SQL-frågor är därför generiskt, och de resulterande frågorna kan enkelt utföras på ett relationsschema som genereras från SBVR-modellen.
I REF används SBVR för att generera en relationsdatabas och omvandla SBVR affärsregler till SQL-frågor som kan utföras mot datamängden.