Issue No. 05 - September-October (1997 vol. 9)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.634755
<p><b>Abstract</b>—In this paper, we develop a new approach that provides a smooth integration of extensional updates and declarative query languages for deductive databases. The approach is based on a declarative specification of updates in rule bodies. Updates are not executed as soon are evaluated. Instead, they are collected and then applied to the database when the query evaluation is completed. We call this approach nonimmediate update semantics. We provide a top-down and equivalent bottom-up semantics which reflect the corresponding computation models. We also package set of updates into transactions and we provide a formal semantics for transactions. Then, in order to handle complex transactions, we extend the transaction language with control constructors still preserving formal semantics and semantics equivalence.</p>
Database languages, deductive databases, updates, transactions, semantics.
M. Martelli, D. Montesi and E. Bertino, "Transactions and Updates in Deductive Databases," in IEEE Transactions on Knowledge & Data Engineering, vol. 9, no. , pp. 784-797, 1997.