Aggregation and well-founded semantics

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

Volumn 1216, Issue , 1997, Pages 71-90

  Osorio, Mauricio ^a   Jayaraman, Bharat ^b  

^a UNIVERSIDAD DE LAS AMÉRICAS PUEBLA   (Mexico)

^b State University of New York   (United States)

Author keywords

Aggregation; Database query languages; Declarative programming; Deductive databases; Negation as failure; Partial order clauses; Well founded semantics

Indexed keywords

AGGLOMERATION; COMPUTATION THEORY; COMPUTER CIRCUITS; INTELLIGENT DATABASES; LOGIC PROGRAMMING; QUERY LANGUAGES; QUERY PROCESSING; SEMANTICS; TRANSLATION (LANGUAGES);

DATABASE QUERY LANGUAGE; DECLARATIVE PROGRAMMING; NEGATION AS FAILURES; PARTIAL ORDER; WELL FOUNDED SEMANTICS;

PROGRAM TRANSLATORS;

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

References (20)

1. [AG91] S. Abiteboul and S. Grumbach, "A Rule-Based Language with Functions and Sets," ACM Trans. on Database Systems, 16(1):1-30,1991.
2. [AD94] C. Aranvindam and P.M. Dung, "Partial deduction of Logic Programs wrt Well-Founded Semantics," New Generation Computing, 13 pp. 45-74,1994
3. [BN87] C. Been, S. Naqvi, et al, "Sets and Negation in a Logic Database Language (LDL1)," Proc. 6th ACM Symp. on Principles of Database Systems, pp. 21-37, 1987.
4. [Dix92] J. Dix, "A framework for representing and characterizing semantics of Logic Programs," Proc. 3rd Intl. Conf. on Principles of Knowledge Representation and Reasoning pp. 591-602, 1992.
5. [Dix95a] J. Dix, "A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties," Fundamenta Informaticae XXII(3) pp. 227-255, 1995.
6. [Dix95b] J. Dix, "A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties," Fundamenta Informaticae XXII(3) pp. 257-288, 1995.
7. [GGZ91] G. Ganguly, S. Greco, and C. Zaniolo, "Minimum and maximum predicates in logic programs", Proc. 10th ACM Symp. on Principles of Database Systems, pp 154-163, 1991.
8. [GL88] Gelfond and V. Lifschitz, "The Stable Model Semantics for Logic Programming," Proc. 5th Intl. Conf. of Logic Programming, pp. 1070-1080, Seattle, August 1988.
9. [JM95] B. Jayaraman, and K. Moon, "Implementation of Subset-Logic Programs," Submitted for publication.
10. [J0M95] B. Jayaraman, M. Osorio and K. Moon, "Partial Order Programming (revisited)", Proc. Algebraic Methodology and Software Technology, Springer-Verlag, July 1995.
11. Liu95[] M. Liu, "Relationlog: A typed Extension to Datalog with Sets and Tuples," Proc. Intl. Symp. of Logic Programming, pp 83-97, 1995.
12. [L1o87] J. Lloyd, "Foundations of Logic Programming," (2 ed.) Springer-Verlag, 1987.
13. [Moo97] K. Moon, "Implementation of Subset Logic Languages," Ph.D. dissertation, Department of Computer Science, SUNY-Buffalo, 1997.
14. [Prz88] T.C. Przymusinski, "On the Declarative Semantics of Stratified Deductive Databases" in J. Minker (ed.), Foundations of Deducive Databases and Logic Programming, 1988, pp. 193-216.
15. [PP90] T.C. Przymusinski and H. Przymusinska, "Semantic Issues in Deductive Databases and Logic Programs" in R.B. Banerji (ed.), Formal Techniques in Artificial Intelligence, 1990, pp. 321-367.
16. [RS92] K.A. Ross and Y. Sagiv, "Monotonic Aggregation in Deductive Databases," Proc. 11th ACM Symp. on Principles of Database Systems, pp. 114-126, San Diego, 1992.
17. [Sch92b] J. Schlipf, "Formalizing a Logic for Logic Programming", Annals of Mathematics and Artificial Intelligence, 5:279-302, 1992.
18. [SZ90] D. Sacca and C. Zaniolo, "Stable models and non-determinism in logic programs with negation", Proc. 9th ACM Symp. on Principles of Database Systems, 1990, pp. 205-217.
19. [Van92] A. Van Gelder, "The Well-Founded Semantics of Aggregation," Proc. ACM 11th Principles of Database Systems, pp. 127-138, San Diego, 1992.
20. [VRS91] A. Van Gelder, K.A. Ross, and J.S. Schlipf, "The Well-Founded Semantics for General Logic Programs," JA CM, 38(3):620-650.