PROGRAMMING WITH LOGICAL QUERIES, BULK UPDATES, AND HYPOTHETICAL REASONING

Authors
CHEN WD
Citation
Wd. Chen, PROGRAMMING WITH LOGICAL QUERIES, BULK UPDATES, AND HYPOTHETICAL REASONING, IEEE transactions on knowledge and data engineering, 9(4), 1997, pp. 587-599
Citations number
35
Categorie Soggetti
Information Science & Library Science","Computer Sciences, Special Topics","Engineering, Eletrical & Electronic","Computer Science Artificial Intelligence","Computer Science Information Systems
Journal title
IEEE transactions on knowledge and data engineering → ACNP
ISSN journal
10414347
Volume
9
Issue
4
Year of publication
1997
Pages
587 - 599
Database
ISI
SICI code
1041-4347(1997)9:4<587:PWLQBU>2.0.ZU;2-4
Abstract
This paper presents a language of update programs that integrates logi cal queries, bulk updates and hypothetical reasoning in a seamless man ner. 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 up date is applied simultaneously for all answers of an arbitrary query. Hypothetical reasoning is naturally supported by testing the success o r failure of an update. We describe an alternating fixpoint semantics of update programs and show that it can express all nondeterministic d atabase transformations.