Publications of Kenneth A. Ross

Database Systems: View Maintenance and Query Processing

``Foundations of Aggregation Constraints,'' K. A. Ross, D. Srivastava, P. J. Stuckey and S. Sudarshan, to appear in Theoretical Computer Science. postscript
Preliminary version appeared in Workshop on Principles and Practice of Constraint Programming, May 1994.

``Faster Joins, Self-Joins and Multi-Way Joins Using Join Indices'' , H. Lei and K. A. Ross, International Workshop on Next Generation Information Technologies and Systems, June 1997. postscript

``Supporting Multiple View Maintenance Policies'' , L. Colby, A. Kawaguchi, D. Lieuwen, I. Mumick, and K. A. Ross, Proceedings of the 1997 SIGMOD Conference, May 1997. postscript

``Concurrency Control Theory for Deferred Materialized Views'' , A. Kawaguchi, D. Lieuwen, I. Mumick, D. Quass, and K. A. Ross, Proceedings of the 1997 International Conference on Database Theory, January 1997. postscript

``Querying Multiple Features of Groups in Relational Databases'' , D. Chatziantoniou and K. A. Ross, Proceedings of the 1996 VLDB Conference, September 1996. postscript

``Fast Joins Using Join Indices,'' Z. Li and K. A. Ross, Columbia University Technical Report CUCS-032-96, June, 1996. postscript

``Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time,'' K. A. Ross, D. Srivastava and S. Sudarshan, Proceedings of the 1996 ACM SIGMOD Conference, June 1996. postscript

``View Maintenance in Nested Data Models'' , A. Kawaguchi, D. Lieuwen, I. S. Mumick and K. A. Ross, SIGMOD Workshop on Materialized Views, June 1996. postscript

``Efficiently Following Object References for Large Object Collections and Small Main Memory,'' K. A. Ross, Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases, December, 1995. postscript

``PERF Join: An Alternative To Semijoin and Bloom Join,'' Z. Li and K. A. Ross, Proceedings of the International Conference on Information and Knowledge Management, November, 1995. postscript
Preliminary version appeared as ``Better Semijoins Using Tuple Bit-Vectors,'' Z. Li and K. A. Ross, Columbia University Technical Report CUCS-010-94.

``Adapting Materialized Views After Redefinitions,'' A. Gupta, I. S. Mumick, K. A. Ross, Proceedings of the ACM SIGMOD Conference, May 1995.
Extended version available as Columbia University Technical Report CUCS-010-95. postscript

``Efficient Incremental Evaluation of Queries with Aggregation,'' R. Ramakrishnan, K. A. Ross, D. Srivastava, and S. Sudarshan, International Symposium on Logic Programming, November 1994. postscript

``On the Cost of Transitive Closures in Relational Databases,'' Z. Li and K. A. Ross, Columbia University Technical Report CUCS-004-93, April, 1993. postscript

Database Systems: Deductive Databases

``Monotonic Aggregation in Deductive Databases,'' K. A. Ross and Y. Sagiv. Journal of Computer and System Sciences, Volume 54, Number 1, February 1997, pages 79-97. postscript
Preliminary versions in Proceedings of the Eleventh ACM Symposium on Principles of Database Systems, pages 114--126, June 1992, and Proceedings of the ILPS Workshop on Deductive Databases, pages 53--61, October 1991.

``Tail Recursion Elimination in Deductive Databases,'' K. A. Ross, in ACM Transactions on Database Systems, Volume 21, Number 2, June 1996, pages 208-237. postscript
See also ``Modular Acyclicity and Tail Recursion in Logic Programs,'' K. A. Ross, in Proceedings of the Tenth ACM Symposium on Principles of Database Systems, pages 92--101, May, 1991.

``Structural Totality and Constraint Stratification,'' K. A. Ross, in Proceedings of the Fourteenth ACM Symposium on Principles of Database Systems, May 1995. postscript

``A Syntactic Stratification Condition Using Constraints,'' K. A. Ross, International Symposium on Logic Programming, November 1994. postscript

``Constraint Stratification in Deductive Databases,'' K. A. Ross, ICLP Workshop on Deductive Databases, pages 101--116, June 1994. postscript

``Modular Stratification and Magic Sets for Datalog Programs with Negation,'' K. A. Ross, in Journal of the Association for Computing Machinery, Vol. 41, No. 6, pages 1216--1266, 1994. postscript
Preliminary version in Proceedings of the Ninth ACM Symposium on Principles of Database Systems, pages 161--171, April, 1990.

``On Negation in HiLog,'' K. A. Ross, in Journal of Logic Programming, Vol. 18, No. 1, pages 27--54, 1994. postscript
Preliminary version in Proceedings of the Tenth ACM Symposium on Principles of Database Systems, pages 206--215, May, 1991.

``A Procedural Semantics for Well-Founded Negation in Logic Programs,'' K. A. Ross, in Journal of Logic Programming., Vol. 13, No. 1, pages 1--22, 1992. postscript
Preliminary version in Proceedings of the Eighth ACM Symposium on Principles of Database Systems, pages 22--33, March, 1989.

``The Semantics of Deductive Databases,'' K. A. Ross, PhD Thesis. Stanford University Technical Report STAN-CS-91-1386, August 1991. postscript

``The Well-Founded Semantics for General Logic Programs,'' A. Van Gelder, K. A. Ross and J. S. Schlipf, in Journal of the Association for Computing Machinery, Vol. 38, No. 3, pages 620--650, July 1991. postscript
Preliminary version appeared as ``Unfounded Sets and Well-Founded Semantics for General Logic Programs,'' A. Van Gelder, K. A. Ross and J. S. Schlipf, in Proceedings of the Seventh ACM Symposium on Principles of Database Systems, pages 221--230, March, 1988.

``Glue-Nail: A Deductive Database System,'' G. Phipps, M. A. Derr, and K. A. Ross, in Proceedings of the ACM SIGMOD Conference on Management of Data, pages 308--317, May, 1991. postscript

``The Well-Founded Semantics for Disjunctive Logic Programs,'' K. A. Ross in Proceedings of the First International Conference on Deductive and Object Oriented Databases, pages 385--402, December, 1989.

``Inferring Negative Information From Disjunctive Databases,'' K. A. Ross and R. W. Topor, in Journal of Automated Reasoning, Vol. 4, No. 2, pages 397--424, 1988.

Database Systems: Language Issues and Object-Oriented Databases

``Noodle: A Language for Declarative Querying in an Object-Oriented Database,'' I. S. Mumick and K. A. Ross, Proceedings of the Third International Conference on Deductive and Object-Oriented Databases, December, 1993. postscript

``Design and Implementation of the Sword Declarative Object-Oriented Database System,'' I. S. Mumick, K. A. Ross and S. Sudarshan, AT&T Database Day, 1993. postscript

``An Architecture for Declarative Object-Oriented Databases,'' I. S. Mumick and K. A. Ross, in Proceedings of the JILPS Workshop on Deductive Databases, pages 21--30, November 1992.

``Relations with Relation Names as Arguments: Algebra and Calculus,'' K. A. Ross, in Proceedings of the Eleventh ACM Symposium on Principles of Database Systems, pages 346--353, June 1992. postscript

Nondatabase Publications

``Blending in the Ends of Chevron Stockpiles,'' G. K. Robinson and K. A. Ross, in Bulk Solids Handling, Vol. 11, No. 3, pages 595--602, 1991. See also ``What Shape is a Chevron Stockpile?'' G. K. Robinson and K. A. Ross, Technical Report Number VT88/14, 1988, CSIRO Division of Mathematics and Statistics.

``A Programming and Problem Solving Seminar,'' K. A. Ross and D. E. Knuth, Stanford University Technical Report STAN-CS-89-1269, July 1989. Seminar Documents

``Iteration of Some Discretizations of the Nonlinear Schrodinger Equation,'' K. A. Ross and C. J. Thompson, in Physica, 135A, pages 551--558, 1986.

``Chaotic Planar States of the Discrete Dynamical Anisotropic Heisenberg Spin Chain,'' C. J. Thompson, K. A. Ross, B. J. P. Thompson and M. Lakshmanan, in Physica, 133A, pages 330--336, 1985.