Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning

@article{Chen1997ProgrammingWL,
  title={Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning},
  author={Weidong Chen},
  journal={IEEE Trans. Knowl. Data Eng.},
  year={1997},
  volume={9},
  pages={587-599}
}
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. Users can specify 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… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 31 references

Query evaluation of alternating xpoint logic

W. Chen
1993
View 5 Excerpts
Highly Influenced

The Alternating Fixpoint of Logic Programs with Negation

J. Comput. Syst. Sci. • 1993
View 7 Excerpts
Highly Influenced

Hypothetical Datalog: Complexity and Expressibility

Theor. Comput. Sci. • 1990
View 6 Excerpts
Highly Influenced

A logic-based language for database updates

Foundations of Deductive Databases and Logic Programming. • 1988
View 9 Excerpts
Highly Influenced

Datalog Extensions for Database Queries and Updates

J. Comput. Syst. Sci. • 1991
View 4 Excerpts
Highly Influenced

Procedural Languages for Database Queries and Updates

J. Comput. Syst. Sci. • 1990
View 5 Excerpts
Highly Influenced

First-Order Dynamic Logic

Lecture Notes in Computer Science • 1979
View 4 Excerpts
Highly Influenced

A survey of research on deductive database systems

Ramakrishnan, J.D.R. andUllman
1993
View 1 Excerpt

Similar Papers

Loading similar papers…