A Relation-Algebra Language to Specify Declarative Business Rules In Proceedings of the Fourth International Symposium on Business Modeling and Software Design BMSD - Volume 1, 63-73, 2014 , Luxembourg, Luxembourg