Key constraints and monotonic aggregates in deductive databases

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

Volumn 2408, Issue PART2, 2002, Pages 109-134

  Zaniolo, Carlo ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AGGREGATES; COMPUTATION THEORY; INTELLIGENT DATABASES; LOGIC PROGRAMMING; SEMANTICS; XML;

COMPLEX ALGORITHMS; DATALOG PROGRAMS; DECLARATIVE LOGIC; DECLARATIVE SEMANTICS; EFFICIENT IMPLEMENTATION; EXPRESSIVE POWER; KEY CONSTRAINTS; MODEL-THEORETIC SEMANTICS;

COMPUTER CIRCUITS;

EID: 23044534017     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45632-5_5     Document Type: Article

References (38)

1. S. Abiteboul, R. Hull, and V. Vianu: Foundations of Databases. Addison-Wesley, 1995.
2. N. Bidoit and C. Froidevaux: General logical Databases and Programs: Default Logic Semantics and Stratification. Information and Computation, 91, pp. 15-54, 1991.
3. W. Chen, D. S. Warren: Tabled Evaluation With Delaying for General Logic Programs. JACM, 43(1): 20-74 (1996).
4. D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur and C. Zaniolo: The LDL System Prototype. IEEE Transactions on Knowledge and Data Engineering, 2(1), pp. 76-90, 1990.
5. S. Ceri, G. Gottlob and L. Tanca: Logic Programming and Databases. Springer, 1990.
6. S. W. Dietrich: Shortest Path by Approximation in Logic Programs. ACM Letters on Programming Languages and Systems, 1(2), pp. 119-137, 1992.
7. S. J. Finkelstein, N. Mattos, I.S. Mumick, and H. Pirahesh: Expressing Recursive Queries in SQL, ISO WG3 report X3H2-96-075, March 1996.
8. J. M. Hellerstein, P. J. Haas, H. J. Wang.: Online Aggregation. SIGMOD 1997: Proc. ACM SIGMOD Int. Conference on Management of Data, pp. 171-182, ACM, 1997.
9. S. Ganguly, S. Greco, and C. Zaniolo: Extrema Predicates in Deductive Databases. JCSS 51(2), pp. 244-259, 1995.
10. M. Gelfond and V. Lifschitz: The Stable Model Semantics for Logic Programming. Proc. Joint International Conference and Symposium on Logic Programming, R. A. Kowalski and K. A. Bowen (eds.), pp. 1070-1080, MIT Press, 1988.
11. F. Giannotti, D. Pedreschi, D. Saccà, C. Zaniolo: Non-Determinism in Deductive Databases. In DOOD'91, C. Delobel, M. Kifer, Y. Masunaga (eds.), pp. 129-146, Springer, 1991.
12. F. Giannotti, G. Manco, M. Nanni, D. Pedreschi: On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases. Proceedings of 12th Int. Workshop, Computer Science Logic, pp. 58-72, LNCS Vol. 1584, Springer, 1999.
13. F. Giannotti, D. Pedreschi, and C. Zaniolo: Semantics and Expressive Power of Non-Deterministic Constructs in Deductive Databases. JCSS 62, pp. 15-42, 2001.
14. Sergio Greco, Domenico Saccà: NP Optimization Problems in Datalog. ILPS 1997: Proc. Int. Logic Programming Symposium, pp. 181-195, MIT Press, 1997.
15. S. Greco and C. Zaniolo: Greedy Algorithms in Datalog with Choice and Negation, Proc. 1998 Joint Int. Conference & Symposium on Logic Programming, JCSLP'98, pp. 294-309, MIT Press, 1998.
16. R. Krishnamurthy, S. Naqvi: Non-Deterministic Choice in Datalog. In Proc. 3rd Int. Conf. on Data and Knowledge Bases, pp. 416-424, Morgan Kaufmann, 1988.
17. V. W. Marek and M. Truszczynski: Nonmonotonic Logic. Springer-Verlag, New York, 1995.
18. J. Minker: Logic and Databases: A 20 Year Retrospective. In D. Pedreschi and C. Zaniolo (eds.), Proceedings International Workshop on Logic in Databases (LID'96), Springer-Verlag, pp. 5-52, 1996.
19. I. Niemelä, P. Simons and T. Syrjanen: Smodels: A System for Answer Set Programming Proceedings of the 8th International Workshop on Non Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorado, 4 pages. (Also see: http://www.tcs.hut.fi/Software/smodels/)
20. I. Niemelä and P. Simons: Extending the Smodels System with Cardinality and Weight Constraints. InJack Minker (ed.): Logic-Based Artificial Intelligence, pp. 491-521. Kluwer Academic Publishers, 2001.
21. M.A. Orgun and W.W. Wadge, Towards an Unified Theory of Intensional Logic Programming. The Journal of Logic and Computation, 4(6), pp. 877-903, 1994.
22. T. C. Przymusinski: On the Declarative and Procedural Semantics of Stratified Deductive Databases: In J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, pp. 193-216, Morgan Kaufmann, 1988.
23. R. Ramakrishnan, D. Srivastava, S. Sudanshan, and P. Seshadri: Implementation of the CORAL Deductive Database System. SIGMOD'93: Proc. Int. ACM SIGMOD Conference on Management of Data, pp. 167-176, ACM, 1993.
24. K. A. Ross and Yehoshua Sagiv: Monotonic Aggregation in Deductive Database, JCSS 54(1), pp. 79-97, 1997.
25. D. Saccà and C. Zaniolo: Deterministic and Non-deterministic Stable Models, Journal of Logic and Computation, 7(5), pp. 555-579, 1997.
26. J. S. Schlipf: Complexity and Undecidability Results in Logic Programming, Annals of Mathematics and Artificial Intelligence, 15, pp. 257-288, 1995.
27. S. Sudarshan and R. Ramakrishnan: Aggregation and relevance in deductive databases. VLDB'91: Proceedings of 17th Conference on Very Large Data Bases, pp. 501-511, Morgan Kaufmann, 1991.
28. J. D. Ullman: Principles of Data and Knowledge-Based Systems, Computer Science Press, New York, 1988.
29. M.H. Van Emden and R. Kowalski: The Semantics of Predicate Logic as a Programming Language. JACM 23(4), pp. 733-742, 1976.
30. A. Van Gelder, K. A. Ross, and J. S. Schlipf: The Well-Founded Semantics for General Logic Programs. JACM 38, pp. 620-650, 1991.
31. A. Van Gelder: Foundations of Aggregations in Deductive Databases. In DOOD'93, S. Ceri, K. Tanaka, S. Tsur (Eds.), pp. 13-34, Springer, 1993.
32. H. Wang and C. Zaniolo: User-Defined Aggregates in Object-Relational Database Systems. ICDE 2000: International Conference on Database Engineering. pp. 111-121, IEEE Press, 2000.
33. H. Wang and C. Zaniolo: Using SQL to Build New Aggregates and Extenders for Object-Relational Systems. VLDB 2000: Proceedings of 26th Conference on Very Large Data Bases, pp. 166-175, Morgan Kaufmann, 2000.
34. C. Zaniolo and H. Wang: Logic-Based User-Defined Aggregates for the Next Generation of Database Systems. In K.R. Apt, V. Marek, M. Truszczynski, D.S. Warren (eds.): The Logic Programming Paradigm: Current Trends and Future Directions. Springer Verlag, pp. 121-140, 1999.
35. C. Zaniolo, S. Ceri, C. Faloutzos, R. Snodgrass, V.S. Subrahmanian, and R. Zicari: Advanced Database Systems, Morgan Kaufmann, 1997.
36. C. Zaniolo: The Nonmonotonic Semantics of Active Rules in Deductive Databases. In DOOD 1997, F. Bry, R. Ramakrishnan, K. Ramamohanarao (eds.), pp. 265-282, Springer, 1997.
37. C. Zaniolo et al.: LDL++ Documentation and Web Demo, 1988: http://www.cs.ucla.edu/ldl
38. C. Zaniolo: Key Constraints and Monotonic Aggregates in Deductive Databases. UCLA technical report, June 2001.