The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September-October (1997 vol.9)
pp: 784-797
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
Danilo Montesi, Elisa Bertino, Maurizio Martelli, "Transactions and Updates in Deductive Databases", IEEE Transactions on Knowledge & Data Engineering, vol.9, no. 5, pp. 784-797, September-October 1997, doi:10.1109/69.634755
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool