Formal characterization of active databases-Reference-Cited by-同舟云学术

Formal characterization of active databases

Published:1996 Issue: Volume: Page:173-195
ISSN:0302-9743
Container-title:Logic in Databases
language:
Short-container-title:

Author:

Baral Chitta,Lobo Jorge

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0031741

Reference24 articles.

1. C. Baral. Reasoning about Actions: Non-deterministic effects, Constraints and Qualification. In Proc. of IJGAI 95, pages 2017–2023, 1995.

2. C. Baral and M. Gelfond. Reasoning about effects of concurrent actions. Journal of Logic Programming (to appear), 1996.

3. C. Baral, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming (to appear), 1996.

4. A. Bonner and M. Kifer. Transaction logic programming. In D. S. Warren, editor, Logic Programming: Proc. of the 10th International Conf., pages 257–279, 1993.

5. S. Ceri, P. Fraternali, S. Paraboschi, and L. Branca. Active rule management in Chimera. In J. Widom and S Ceri, editors, Active Database Systems, pages 151–176. Morgan Kaufmann, 1996.

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

1. An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations;International Journal of Mobile Computing and Multimedia Communications;2011-04

2. Rule-Based Event Processing and Reaction Rules;Lecture Notes in Computer Science;2009

3. An Event-Condition-Action Logic Programming Language;Logics in Artificial Intelligence;2006

4. A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions;Database Programming Languages;2004

5. On Complexity of Updates through Integrity Constraints;Computational Logic — CL 2000;2000