The Community for Technology Leaders
Green Image
ABSTRACT
<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>
INDEX TERMS
Database languages, deductive databases, updates, transactions, semantics.
CITATION
Maurizio Martelli, Danilo Montesi, Elisa Bertino, "Transactions and Updates in Deductive Databases", IEEE Transactions on Knowledge & Data Engineering, vol. 9, no. , pp. 784-797, September-October 1997, doi:10.1109/69.634755
103 ms
(Ver )