Foundations of aggregation in deductive databases

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

Volumn 760 LNCS, Issue , 1993, Pages 13-34

  Van Gelder, Allen ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AGGREGATES; ALGEBRA; INTELLIGENT DATABASES; SEMANTICS;

AGGREGATE FUNCTION; BINARY RELATION; LANGUAGE CONSTRUCTS; MINIMIZATION PROBLEMS; ORDERED DOMAINS; RELATIONAL ALGEBRA; STRUCTURAL RECURSION; UNDERLYING CAUSE;

OBJECT-ORIENTED DATABASES;

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

References (13)

1. C. Beeri, R. Ramakrishnan, D. Srivastava, and S. Sudarshan. The valid model semantics for logic programs. In ACM Symposium on Principles of Database Systems, 1992.
2. S. Burris and H. P. Sankappanavar. A Course in Universal Algebra. Springer-Verlag, New York, 1981.
3. V. Breazu-Tannen, P. Buneman, and L. Wong. Naturally embedded query languages. In Int’l Conf. on Database Theory, 1992.
4. M. Escobar-Molano, R. Hull, and D. Jacobs. Safety and translation of calculus queries with scalar functions. In ACM Symposium on Principles of Database Systems, 1993.
5. G. Ganguly, S. Greco, and C. Zaniolo. Minimum and maximum predicates in logic programs. In ACM Symposium on Principles of Database Systems, pages 154-163, 1991.
6. D. B. Kemp and P. J. Stuckey. Semantics of logic programs with aggregates. In International Logic Programming Symposium, pages 387-401, 1991.
7. R. Ramakrishnan, F. Bancilhon, and A. Silberschatz. Safety of recursive horn clauses with infinite relations. In ACM Symposium on Principles of Database Systems, 1987.
8. K. A. Ross and Y. Sagiv. Monotonie aggregation in deductive databases. In ACM Symposium on Principles of Database Systems, 1992.
9. S. Sudarshan and R. Ramakrishnan. Aggregation and relevance in deductive databases. In Seventeenth International Conference on Very Large Data Bases, pages 501-511, 1991.
10. D. Stemple and T. Sheard. Specification and verification of abstract database types. In ACM Symposium on Principles of Database Systems, pages 248-257, 1984.
11. T. Sheard and D. Stemple. Automatic verification of database transaction safety. ACM Transactions on Database Systems, 14(3):322-368, 1991.
12. A. Van Gelder. The well-founded semantics of aggregation. In ACM Symposium on Principles of Database Systems, 1992.
13. L. Wong. Normal forms and conservative prpoperties for query languages over collection types. In ACM Symposium on Principles of Database Systems, 1993.