Active database rules with transaction-conscious stable-model semantics

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

Volumn 1013, Issue , 1995, Pages 55-72

  Zaniolo, Carlo ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INTELLIGENT DATABASES; SEMANTICS;

EFFICIENT IMPLEMENTATION; FORMAL FRAMEWORK; LOGIC-BASED MODELING; NON TERMINATIONS; OPERATIONAL SEMANTICS; RESEARCH ISSUES; SEMANTIC FOUNDATION; STABLE MODEL SEMANTICS;

OBJECT-ORIENTED DATABASES;

EID: 84949211145     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60608-4_34     Document Type: Conference Paper

References (14)

1. [1] Aiken, A. J. Widom, J. M. Hellerstein. Behavior of Database Production Rules: Termination, Confluence and Observable Termination. In ACM SIGMOD Int. Conf. on Management of Data, pages 59-68, 1992.
2. [2] M. Gelfond, V. Lifschitz, The stable model semantics for logic programming, Proc. 5fh Int. Conf. on Logic Programming, MIT Press, 1988.
3. [3] M.L. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules, procedure, cacheing and views in data base systems. In ACM SIGMOD Int. Conf. on Management of Data, pages 281-290, 1990.
4. [4] J. Chomicki, Temporal deductive databases, Temporal Databases: Theory, Design and Implementation, A. Tansel et al. (eds), Benjamin/Cummings, 1993.
5. [5] J. Chomicki, "Polynomial-time Computable Queries in Temporal Deductive Database Systems," PODS 1990.
6. [6] S. Ghandeharizadeh, R. Hull and D. Jacobs, "On Implementing a Language for Specifying Active Database Execution' Models, Procs. Int. Conf. on Very Large Databases, 1993.
7. [7] D. McCarty and U. Dayal. The architecture of an active database management system. In ACM SIGMOD International Conf. on Management of Data, pages 215-224, 1989.
8. [8] N.H. Gehani and H.V. Jagadish. Ode as an active database: Constraints and triggers. Seventeenth Int. Conf. on Very Large Data Bases, Barcelona, pages 327-336, 1991.
9. Widom J., "The Starburst Active Database Rule System", '-To appear in IEEE Trans. On Knowledge and Data Engineering.
10. [10] U. Dayal, E.N. Hanson, and J. Widom Active Database Systems, "Modern Database Systems, W. Kim (ed.), Addison Wesley, 1995.
11. Y. Motakis, and C. Zaniolo, Composite Temporal Events in Active Databases: a Formal Semantics, submitted for publication.
12. [12] J.S. Schlipf, The expressive powers of logic programming semantics, Proc. ACM-PODS, 1990, 196-204.
13. [13] Zaniolo, C., N. Arni, K. Ong, "Negation and Aggregates in Recursive Rules: the LDL:++ Approach", Proc. 3rd Int. Conf. on Deductive and 0-0 DBs, DOOD-93, Phoenix, AZ, Dee 6-8, 1993.
14. [14] C. Zaniolo, "A unified semantics for active and deductive databases", In Procs. 1st Int. Workshop on Rules in Database Systems, pages 271-287, Springer-Verlag, 1993