Formal characterization of active databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1154, Issue , 1996, Pages 175-195

  Baral, Chitta ^a   Lobo, Jorge ^b  

^a University of Texas at El Paso   (United States)

^b UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CHARACTERIZATION; COMPUTER CIRCUITS; RECONFIGURABLE HARDWARE;

ACTIVE DATABASE; ACTIVE DATABASE SYSTEM; ADDITIONAL FLEXIBILITIES; NON-DETERMINISM; SHOW THROUGH;

DATABASE SYSTEMS;

EID: 84941163323     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0031741     Document Type: Conference Paper

References (24)

1. C. Baral. Reasoning about Actions: Non-deterministic effects, Constraints and Qualification. In Proc. of IJCAI 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. Bonnet 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.
6. U. Dayal, A. Buchmann, and S. Chakravarthy. The HiPAC Project. In J. Widom and S Ceri, editors, Active Database Systems, pages 177-206.Morgan Kaufmann, 1996.
7. P. Fraternali, D. Montesi, and L. Tanca. Active database semantics. In Proc. of the Fifth Australasian Database Conference, 1994.
8. N. Gehani and H. Jagadish. Active database facilities in Ode. In J. Widom and S Ceri, editors, Active Database Systems, pages 207-232. Morgan Kaufmann, 1996.
9. E. Hanson. The Ariel Project. In J. Widom and S Ceri, editors, Active Database Systems, pages 63-86.Morgan Kaufmann, 1996.
10. G. Kartha and V. Lifschitz. Actions with indirect effects: Preliminary report. In KR 94, pages 341-350, 1994.
11. Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. A logical approach to high level robot programming-a progress report. In Working notes of the 1994 AAAI fall symposium on Control of the Physical World by Intelligent Systems (to appear), New Orleans, LA, November 1994.
12. F. Lin and R. Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655-678, October 1994.
13. G. Mendez, J Llopis, J. Lobo, and C. Baral. Temporal logic and reasoning about actions. In Common Sense 96, 1996.
14. S. Manchanda and D. S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363-394.Morgan Kaufmann, 1988.
15. S. Potamianos and M. Stonebraker. The POSTGRESS rule system. In J. Widom and S Ceri, editors, Active Database Systems, pages 43-62.Morgan Kaufmann, 1996.
16. R. Reiter. On specifying database updates. Journal of Logic Programming, 19,20:1-39, 1994.
17. E. Simon and J. Kiernan. The A-RDL system. In J. Widom and S Ceri, editors, Active Database Systems, pages 111-150.Morgan Kaufmann, 1996.
18. P. Sistla and O. Wolfson. Temporal conditions and integrity constraint checking in active database systems. In Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, San Jose, CA, 1995.ACM Press
19. D. Sacca and C. Zaniolo. Stable models and non-determinism in logic programs with negation. In Proceedings of PODS 1990, pages 205-217, 1990.
20. J. Widom and S Ceri, editors. Active Database Systems-Triggers and Rules for advanced database processing. Morgan Kaufmann, 1996.
21. J. Widom. A denotational semantics for starburst production rule language. SIGMOD Record, 21(3):4-9, 1992.
22. J. Widom. The Starburst rule system. In J. Widom and S Ceri, editors, Active Database Systems, pages 87-110.Morgan Kaufmann, 1996.
23. C. Zaniolo. A unified semantics for active and deductive databases. In Proceedings of 1st international workshop on rules in database systems, pages 271-287.Springer-Verlag, 1993.
24. C. Zaniolo. Active database rules with transaction-conscious stable models semantics. In Proceedings of DOOD 1996, pages 55-72, 1996.