The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July-August (1997 vol.9)
pp: 587-599
ABSTRACT
<p><b>Abstract</b>—This paper presents a language of update programs that integrates logical queries, bulk updates and hypothetical reasoning in a seamless manner. There is no syntactic or semantic distinction between queries and updates. Update programs extend logic programs with negation in both syntax and semantics. They allow bulk updates in which an arbitrary update is applied simultaneously for all answers of an arbitrary query. Hypothetical reasoning is naturally supported by testing the success or failure of an update. We describe an alternating fixpoint semantics of update programs and show that it can express all nondeterministic database transformations.</p>
INDEX TERMS
Bulk updates, hypothetical reasoning, logical queries, alternating fixpoint semantics, database languages.
CITATION
Weidong Chen, "Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning", IEEE Transactions on Knowledge & Data Engineering, vol.9, no. 4, pp. 587-599, July-August 1997, doi:10.1109/69.617052
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool