Negation and aggregates in recursive rules: The LDL++ approach

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

Volumn 760 LNCS, Issue , 1993, Pages 204-221

  Zaniolo, Carlo ^a   Arni, Natraj ^b   Ong, Kayliang ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Microelectronics Computer Technology Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AGGREGATES; INTELLIGENT DATABASES;

RECURSIVE PROGRAMS; RECURSIVE RULES; USER-DEFINED AGGREGATES;

OBJECT-ORIENTED DATABASES;

EID: 85024225394     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57530-8_13     Document Type: Conference Paper

References (25)

1. A.V. Aho, J.E. Hopcropt, and J.D. Ullmann. The Design and analysis of Computer Algorithms. Addison-Wesley, 1974.
2. N. Arni, K. Ong, S. Tsur and C. Zaniolo. The LDL++ System: Rationale, Technology and Applications. Submitted for publication.
3. Chimenti, D. et al., “The CDC System Prototype,” IEEE Journal on Data and Knowledge Engineering, vol. 2, no. 1, pp. 76-90, March 1990.
4. M.P. Consens and A.O. Mendelzon. Low complexity aggregation in graphlog and datalog. In Proceedings of the third International Conference on Database Theory, 1990.
5. S. Ganguly, S. Greco, and C. Zaniolo. Minimum and Maximum Predicates in Logic Programming. In Proceedings of the Tenth ACM Symposium on Principles of Database Systems, pages 154-113, 1991.
6. S. Ganguly, S. Greco, and C. Zaniolo. Propagation of Extrema Predicates into Recursive Logic Programs. In Unpublished Manuscript, 1992.
7. M. Gelfond and V. Lifschitz. The stable model semantics of logic programming. In Proceedings of the Fifth Intern. Conference on Loqic Proqramminq, pages 1070-1080, 1988.
8. F. Giannotti, D. Pedreschi, D. Sacca, and C. Zaniolo. Nondeterminism in deductive databases. In Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases, 1991.
9. S. Greco, C. Zaniolo, and S. Ganguly. Greedy by Choice. In Proceedings of the Eleventh ACM Symposium on Principles of Database Systems, pages 105-163, 1992.
10. D.B. Kemp and P.J. Stackey. Semantics of Logic Programs with Aggregates. In Proceedings 1991 Ini. Logic Programming Symposium, pages 338-401, 1991.
11. R. Krishnamurthy and S. Naqvi. “Non-deterministic choice in Datalog,” In Proceedings 3rd Int.Conference on Data and Knowledge Bases, 1988.
12. A. Van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. Journal of ACM, 38(3):620-650, 1991.
13. A. Van Gelder. The Well-Founded Semantics of Aggregation. In Proceedings of the Eleventh ACM Symposium on Principles of Database Systems, pages 127-138, 1992.
14. P.G. Kolaitis and C.H. Papadimitriou, Why not negation by fixpoint?, JCSS, 43(1), 125-144, 1991.
15. Phipps, G., M.A., Derr and K. A. Ross, “Glue-Nail: a Deductive Database System,” Proc. 1991 ACM-SIGMOD Conference on Management of Data, pp. 308-317 (1991).
16. T. Przymusinski. On the declarative and procedural semantics of stratified deductive databases. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193-216. Morgan-Kaufman, Los Altos, CA, 1988.
17. A. Przymusinska and T. Przymusinski. Weakly Perfect Model Semantics for Logic Programs. In Proceedings of the Fifth Intern. Conference on Logic Programming, pages 1106-1122, 1988.
18. S. A. Naqvi, S. Tsur. “A Logical Language for Data and Knowledge Bases”, W. H. Freeman, 1989.
19. K.A. Ross, and Y. Sagiv. Monotonic Aggregation in Deductive Databases. In Proceedings of the Eleventh ACM Symposium on Principles of Database Systems, pages 127-138, 1992.
20. K.A. Ross, Modular Stratification and Magic Sets for Datalog Programs, In Proceedings of the Ninth ACM Symposium on Principles of Database Systems, pages 160-171, 1990.
21. D. Sacca and C. Zaniolo. Stable models and non-determinism in logic programs with negation. In Proceedings of the Ninth ACM Symposium on Principles of Database Systems, pages 205-217, 1990.
22. Ramakrishan, R., Srivastava, D. and Sudarshan, S., “CORAL: A Deductive Database Programming Language,” Proc. VLDB’92 Int. Conf, pp. 238-250, 1992.
23. Tsur S., ‘Deductive Databases in Action,' Proc. 10th, ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 205-218, 1990.
24. Zaniolo, C., Intelligent Databases: Old Challenges and New Opportunities, Journal of Intelligent Information Systems, 1, 271-292 (1992).
25. Zaniolo, C., A Unified Semantics for Deductive Databases and Active Databases, Procs. Workshop on Rules in Database Systems, Edinburgh, U.K., 1993.