The nonmonotonic semantics of active rules in deductive databases

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

Volumn 1341, Issue , 1997, Pages 265-282

  Zaniolo, Carlo ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT DATABASES; SEMANTICS;

ACTIVE DATABASE; ACTIVE RULES; LOGIC-BASED SEMANTICS; NON-MONOTONIC SEMANTICS; RULE SYSTEMS; STABLE MODEL; THEORETICAL FOUNDATIONS;

OBJECT-ORIENTED DATABASES;

EID: 79956061928     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63792-3_20     Document Type: Conference Paper

References (14)

1. [1] M. Baudinet, J. Chomicki, and P. Wolper. Temporal Deductive Databases, in Tansel et al (eds), pp. 294-320, Temporal Databases: Theory, Design, and Implementation, Benjamin/Cummings, 1994.
2. [2] A. Bonner and M. Kifer. An Overview of Transaction Logic. Theoretical Computer Science 133, 1994
3. [3] D. B. Kemp, K. Ramamohanarao, P. J. Stuckey, “ESL-programs and the efficient evaluation of nonstratified programs by transformation to ESL”," In Procs., International Conference on Deductive and Object-Oriented Databases, DOOD’95, pp. 91-100, Springer-Verlag, 1995.
4. [4] M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R.A. Kowalski and K. Bowen, editors, Logic programming: Proceedings of the fifth Int’l Conf. and Symposium, pp. 1070-1080, 1988.
5. [5] G. Phipps, M. A. Derr, and K. A. Ross. Glue-Nail!: A Deductive Database System. In Proceedings International ACM SIGMOD Conference on Management of Data, pp. 308-317, 1991.
6. [6] A. Van Gelder, K. A. Ross, and J. S. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of ACM 38:620-650, 1991.
7. [7] F. Giannotti, D. Pedreschi, D. Saccá, and C. Zaniolo. Non-Determinism in Deductive Databases. In C. Delobel, M. Kifer, and Y. Masunaga (eds.), Proceedings Deductive and Object-Oriented Databases, Second International Conference, DOOD’91, pp. 129-146, Springer-Verlag, 1991.
8. [8] B. Ludascher, W. May and G. Lausen, Nested Transactions in a Logical Language for Active Rules, Procs. of Logic in Databases (LID’96) Workshop, D. Pedreschi and C. Zaniolo (Eds.), Springer, 1996.
9. [9] Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, and James Harland. The Aditi deductive database system. VLDB Journal, 3:245-288, 1994.
10. [10] R. Ramakrishnan, D. Srivastava, S. Sudanshan, and P. Seshadri. Implementation of the CORAL Deductive Database System. In Proceedings of the International ACM SIGMOD Conference on Management of Data, pp. 167-176, 1993.
11. [11] K. A. Ross. Modular Stratification and Magic Sets for Datalog Programs with Negation. Journal of ACM 41(6):1216-1266, 1994.
12. [12] C. Zaniolo, N. Arni, and K. Ong, Negation and aggregates in recursive rules: theLDL++ approach In Procs., International Conference on Deductive and Object-Oriented Databases, DOOD’93, pp. 204-221 1993.
13. [13] Carlo Zaniolo, Active Database Rules with Transaction-Conscious Stable- Model Semantics In Procs., International Conference on Deductive and Object-Oriented Databases, DOOD’95, pp. 55-72 Springer 1995.
14. [14] C. Zaniolo, S. Ceri, C. Faloutsos, R. Snodgrass, V.S. Subrahmanian, and R. Zicari, Advanced Database Systems, Morgan Kaufmann, 1997