Formal characterizations of active databases: Part II-Reference-Cited by-同舟云学术

Formal characterizations of active databases: Part II

Published:1997 Issue: Volume: Page:247-264
ISSN:0302-9743
Container-title:Deductive and Object-Oriented Databases
language:
Short-container-title:

Author:

Baral Chitta,Lobo Jorge,Trajcevski Goce

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63792-3_19

Reference44 articles.

1. S. Abiteboul, M. Vardi, and V. Vianu. Fixpoint logic, relational machines and computational complexity. In Structure in Complexity Theory, 1992.

2. C. Baral. Reasoning about actions: non-deterministic effects, constraints and qualification. In Proc. of IJCAI, Montreal, 1995.

3. C. Baral and M. Gelfond. Representing concurrent actions in extended logic programs. In Bertram Fronhofer, editor, Theoretical Approaches to Dynamic Worlds. (to appear). Preliminary version appeared in IJCAI 93.

4. C. Basal, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming (to appear), 1997.

5. C. Baral and J. Lobo. Formal characterization of active databases. In International Workshop on Logic in Databases, 1996.

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

1. A Procedure for an Event-Condition-Transaction Language;Web Reasoning and Rule Systems;2015

2. Consistency Policies for Dynamic Information Systems with Declassification Flows;Information Systems Security;2011

3. Specifying active databases as non-Markovian theories of actions;Journal of Intelligent Information Systems;2008-03-04

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

5. Analysis of Policy Management Models and Specification Languages;Network Control and Engineering for QoS, Security and Mobility II;2003