A semantics for the integration of database modifications and transaction brackets into a logic programming language