Declarative specification and evaluation of database updates-Reference-Cited by-同舟云学术

Declarative specification and evaluation of database updates

Published:1991 Issue: Volume: Page:147-166
ISSN:0302-9743
Container-title:Deductive and Object-Oriented Databases
language:
Short-container-title:

Author:

Chen Weidong

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55015-1_8.pdf

Reference18 articles.

1. S. Abiteboul, P. Buneman, C. Delobel, R. Hull, P. Kanellakis, and V. Vianu. New hope on data models and types. SIGMOD RECORD, 19(4), December 1990.

2. S. Abiteboul and V. Vianu. A transaction language complete for database update and specification. In ACM PODS, 1987.

3. S. Abiteboul and V. Vianu. Procedural and declarative update languages. In ACM PODS, pages 240–250, 1988.

4. S. Abiteboul and V. Vianu. Non-determinism in logic-based languages. Technical Report CS89-159, Computer Science and Engineering, University of California, San Diego, October 1989.

5. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik. The object-oriented database system manifesto. In Proc. DOOD'89, pages 40–57, December, 1989.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A logical approach to cooperative information systems;The Journal of Logic Programming;2000-04

2. A Logic for Programming Database Transactions;Logics for Databases and Information Systems;1998

3. Active-U-Datalog: Integrating active rules in a logical update language;Transactions and Change in Logic Databases;1998

4. Update programs versus revision programs;Non-Monotonic Extensions of Logic Programming;1997

5. From action theories to updates, transactions, triggers and agents — A tutorial;Deductive and Object-Oriented Databases;1997