Expressed Backbone dependencies in Datalog.