Hyperlinks access the publication in postscript, pdf, HTML, or through the InfoLab publication server. A few publications are available in hard-copy only, indicated by italicized titles. Publications are divided roughly into topic categories with some papers cross-listed. Within each category, publications are listed roughly in reverse chronological order. In cases where a paper needed to be shortened for publication, the full version usually is provided as well. The categories are:

• Books
• Recent Releases
• Uncertainty and Lineage
• Data Streams and Continuous Queries
• Sensor Data Management
• Web-Related and Text
• Data Cleaning, Mining, and Similarity
• Replication, Caching, and Distributed Data
• Data Privacy
• XML and Semistructured Data
• Data Warehousing
• View Management
• Temporal Databases
• Heterogeneous and Extensible Database Systems
• Active Database Systems
• Constraint Management
• Data Management for Wireless Networks
• Concurrent Program Verification
• Miscellaneous

Books

• J.D. Ullman and J. Widom. A First Course in Database Systems. Prentice Hall, Upper Saddle River, New Jersey, first edition 1997, second edition 2002, third edition 2007. See the FCDB Web page for more information. (Translations: Chinese, Hungarian, Italian, Korean, Polish, Spanish)

• H. Garcia-Molina, J.D. Ullman, and J. Widom. Database Systems - The Complete Book. Prentice Hall, Upper Saddle River, New Jersey, 2002. See the DSCB Web page for more information. (Translations: Polish, Russian)

• H. Garcia-Molina, J.D. Ullman, and J. Widom. Database System Implementation. Prentice Hall, Upper Saddle River, New Jersey, 2000. See the DBSI Web page for more information. (Translations: Chinese)

• J. Widom and S. Ceri. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, San Francisco, California, 1996. See the publisher's Web page for more information.

Recent Releases

• A. Das Sarma, M. Theobald, and J. Widom. Exploiting Lineage for Confidence Computation in Uncertain and Probabilistic Databases. To appear in Proceedings of the 24th International Conference on Data Engineering, Cancun, Mexico, April 2008.

• O. Benjelloun, H. Garcia-Molina, D. Menestrina, Q. Su, S.E. Whang, and J. Widom. Swoosh: A Generic Approach to Entity Resolution. To appear in VLDB Journal, 2008.

• O. Benjelloun, A. Das Sarma, A. Halevy, M. Theobald, and J. Widom. Databases with Uncertainty and Lineage. To appear in VLDB Journal, 2008. Note: much of the material in this paper appeared in preliminary form in ULDBs: Databases with Uncertainty and Lineage, and Trio-One: Layering Uncertainty and Lineage on a Conventional DBMS, cited below.

• A. Das Sarma, J.D. Ullman, and J. Widom. Functional Dependencies for Uncertain Relations. Technical Report, November 2007.

• R. Murthy and J. Widom. Making Aggregation Work in Uncertain and Probabilistic Databases. Proceedings of the Workshop on Management of Uncertain Data, pages 76-90, Vienna, Austria, September 2007.

• K. Munagala, U. Srivastava, and J. Widom. Optimization of Continuous Queries with Shared Expensive Filters. Proceedings of the 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Beijing, China, June 2007.

• P. Agrawal and J. Widom. Confidence-Aware Joins in Large Uncertain Databases. Technical Report, March 2007.

• M. Mutsuzaki, M. Theobald, A. de Keijzer, J. Widom, P. Agrawal, O. Benjelloun, A. Das Sarma, R. Murthy, and T. Sugihara. Trio-One: Layering Uncertainty and Lineage on a Conventional DBMS. Proceedings of the Third Biennial Conference on Innovative Data Systems Research (CIDR '07), Pacific Grove, California, January 2007. Demonstration description.

Uncertainty and Lineage

• A. Das Sarma, M. Theobald, and J. Widom. Exploiting Lineage for Confidence Computation in Uncertain and Probabilistic Databases. To appear in Proceedings of the 24th International Conference on Data Engineering, Cancun, Mexico, April 2008.

• O. Benjelloun, A. Das Sarma, A. Halevy, M. Theobald, and J. Widom. Databases with Uncertainty and Lineage. To appear in VLDB Journal, 2008. Note: much of the material in this paper appeared in preliminary form in ULDBs: Databases with Uncertainty and Lineage, and Trio-One: Layering Uncertainty and Lineage on a Conventional DBMS, cited below.

• A. Das Sarma, J.D. Ullman, and J. Widom. Functional Dependencies for Uncertain Relations. Technical Report, November 2007.

• R. Murthy and J. Widom. Making Aggregation Work in Uncertain and Probabilistic Databases. Proceedings of the Workshop on Management of Uncertain Data, pages 76-90, Vienna, Austria, September 2007.

• P. Agrawal and J. Widom. Confidence-Aware Joins in Large Uncertain Databases. Technical Report, March 2007.

• M. Mutsuzaki, M. Theobald, A. de Keijzer, J. Widom, P. Agrawal, O. Benjelloun, A. Das Sarma, R. Murthy, and T. Sugihara. Trio-One: Layering Uncertainty and Lineage on a Conventional DBMS. Proceedings of the Third Biennial Conference on Innovative Data Systems Research (CIDR '07), Pacific Grove, California, January 2007. Demonstration description.

• P. Agrawal, O. Benjelloun, A. Das Sarma, C. Hayworth, S. Nabar, T. Sugihara, and J. Widom. Trio: A System for Data, Uncertainty, and Lineage. Proceedings of the 32nd International Conference on Very Large Data Bases, pages 1151-1154, Seoul, Korea, September 2006. Demonstration description.

• O. Benjelloun, A. Das Sarma, A. Halevy, and J. Widom. ULDBs: Databases with Uncertainty and Lineage. Proceedings of the 32nd International Conference on Very Large Data Bases, pages 953-964, Seoul, Korea, September 2006.

• A. Das Sarma, S.R. Jeffery, M.J. Franklin, and J. Widom. Estimating Data Stream Quality for Object-Detection Applications. Proceedings of the Third International ACM SIGMOD Workshop on Information Quality in Information Systems, Chicago, Illinois, June 2006.

• A. Das Sarma, O. Benjelloun, A. Halevy, and J. Widom. Working Models for Uncertain Data. Proceedings of the 22nd International Conference on Data Engineering, Atlanta, Georgia, April 2006.

• O. Benjelloun, A. Das Sarma, C. Hayworth, and J. Widom. An Introduction to ULDBs and the Trio System. IEEE Data Engineering Bulletin, Special Issue on Probabilistic Databases, 29(1):5-16, March 2006.

• A. Das Sarma, S.U. Nabar, and J. Widom. Representing Uncertain Data: Uniqueness, Equivalence, Minimization, and Approximation. Technical Report, December 2005.

• J. Widom. Trio: A System for Integrated Management of Data, Accuracy, and Lineage. Proceedings of the Second Biennial Conference on Innovative Data Systems Research (CIDR '05), Pacific Grove, California, January 2005.

• Y. Cui and J. Widom. Lineage Tracing for General Data Warehouse Transformations. VLDB Journal, 12(1):41-58, May 2003. A short version of this paper appeared in Proceedings of the 27th International Conference on Very Large Data Bases, pages 471-480, Rome, Italy, September 2001.

• Y. Cui and J. Widom. Run-Time Translation of View Tuple Deletions Using Data Lineage. Technical Report, June 2001.

• C. Olston, B.T. Loo, and J. Widom. Adaptive Precision Setting for Cached Approximate Values. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 355-366, Santa Barbara, California, May 2001.

• C. Olston and J. Widom. Offering a Precision-Performance Tradeoff for Aggregation Queries over Replicated Data. Proceedings of the 26th International Conference on Very Large Data Bases, pages 144-155, Cairo, Egypt, September 2000.

• Y. Cui, J. Widom, and J.L. Wiener. Tracing the Lineage of View Data in a Warehousing Environment. ACM Transactions on Database Systems, 25(2):179-227, June 2000.

• Y. Cui and J. Widom. Storing Auxiliary Data for Efficient Maintenance and Lineage Tracing of Complex Views. Proceedings of the Second International Workshop on Design and Management of Data Warehouses (DMDW 2000), Stockholm, Sweden, June 2000.

• Y. Cui and J. Widom. Practical Lineage Tracing in Data Warehouses. Proceedings of the 16th International Conference on Data Engineering, pages 367-378, San Diego, California, February 2000.

• Y. Cui and J. Widom. Lineage Tracing in a Data Warehousing System. Proceedings of the 16th International Conference on Data Engineering, pages 683-684, San Diego, California, February 2000. Demonstration description.

Data Streams and Continuous Queries

• K. Munagala, U. Srivastava, and J. Widom. Optimization of Continuous Queries with Shared Expensive Filters. Proceedings of the 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Beijing, China, June 2007.

• U. Srivastava, K. Munagala, and J. Widom. Operator Placement for In-Network Stream Query Processing. Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 250-258, Baltimore, Maryland, June 2005.

• S. Babu, K. Munagala, J. Widom, and R. Motwani. Adaptive Caching for Continuous Queries. Proceedings of the 21st International Conference on Data Engineering, pages 118-129, Tokyo, Japan, April 2005.

• K. Munagala, S. Babu, R. Motwani, and J. Widom. The Pipelined Set Cover Problem. Proceedings of the Tenth International Conference on Database Theory, Lecture Notes in Computer Science 3363, pages 83-98, Springer-Verlag, Berlin, January 2005.

• A. Arasu, B. Babcock, S. Babu, J. Cieslewicz, M. Datar, K. Ito, R. Motwani, U. Srivastava, J. Widom. STREAM: The Stanford Data Stream Management System. To appear in M. Garofalakis, J. Gehrke, and R. Rastogi, editors, Data Stream Management: Processing High-Speed Data Streams, Springer-Verlag, 2005.

• S. Babu, U. Srivastava, and J. Widom. Exploiting k-Constraints to Reduce Memory Overhead in Continuous Queries over Data Streams. ACM Transactions on Database Systems, 29(3):545-580, September 2004.

• A. Arasu and J. Widom. A Denotational Semantics for Continuous Queries over Streams and Relations. ACM SIGMOD Record, 33(3):6-12, September 2004.

• A. Arasu and J. Widom. Resource Sharing in Continuous Sliding-Window Aggregates. Proceedings of the 30th International Conference on Very Large Data Bases, pages 336-347, Toronto, Canada, August 2004.

• U. Srivastava and J. Widom. Memory-Limited Execution of Windowed Stream Joins. Proceedings of the 30th International Conference on Very Large Data Bases, pages 324-335, Toronto, Canada, August 2004.

• P. Bizarro, S. Babu, D. DeWitt, and J. Widom. Content-Based Routing: Different Plans for Different Data. In Proceedings of the 31st International Conference on Very Large Data Bases, pages 757-768, Trondheim, Norway, September 2005.

• U. Srivastava and J. Widom. Flexible Time Management in Data Stream Systems. Proceedings of the 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 263-274, Paris, France, June 2004.

• S. Babu, R. Motwani, K. Munagala, I. Nishizawa, and J. Widom. Adaptive Ordering of Pipelined Stream Filters. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 407-418, Paris, France, June 2004.

• S. Babu and J. Widom. StreaMon: An Adaptive Engine for Stream Query Processing. Short demonstration description, Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 931-932, Paris, France, June 2004.

• A. Arasu, S. Babu and J. Widom. The CQL Continuous Query Language: Semantic Foundations and Query Execution. VLDB Journal, 15(2):121-142, June 2006. A preliminary, much shorter version of this paper appeared as the November 2002 Technical Report An Abstract Semantics and Concrete Language for Continuous Queries over Streams and Relations, and an even shorter version titled CQL: A Language for Continuous Queries over Streams and Relations, appeared as an invited paper in Proceedings of the Ninth International Conference on Data Base Programming Languages, pages 1-19, Potsdam, Germany, September 2003.

• A. Arasu, B. Babcock, S. Babu, J. McAlister, and J. Widom. Characterizing Memory Requirements for Queries over Continuous Data Streams. ACM Transactions on Database Systems, 29(1):162-194, March 2004. Preliminary shorter version appeared in Proceedings of the 21st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 221-232, Madison, Wisconsin, June 2002.

• U. Srivastava, S. Babu, and J. Widom. Monitoring Stream Properties for Continuous Query Processing (short paper). Proceedings of the Workshop on Management and Processing of Data Streams, San Diego, California, June 2003.

• C. Olston, J. Jiang, and J. Widom. Adaptive Filters for Continuous Queries over Distributed Data Streams. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 563-574, San Diego, California, June 2003.

• A. Arasu, B. Babcock, S. Babu, M. Datar, K. Ito, I. Nishizawa, J. Rosenstein, and J. Widom. STREAM: The Stanford Stream Data Manager. Short demonstration description, Proceedings of the ACM SIGMOD International Conference on Management of Data, San Diego, California, June 2003.

• R. Motwani, J. Widom, A. Arasu, B. Babcock, S. Babu, M. Datar, G. Manku, C. Olston, J. Rosenstein, and R. Varma. Query Processing, Resource Management, and Approximation in a Data Stream Management System. Proceedings of the First Biennial Conference on Innovative Data Systems Research (CIDR '03), pages 245-256, Pacific Grove, California, January 2003.

• B. Babcock, S. Babu, M. Datar, R. Motwani, and J. Widom. Models and Issues in Data Stream Systems. Proceedings of the 21st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 1-16, Madison, Wisconsin, June 2002. Invited paper.

• S. Babu and J. Widom. Continuous Queries over Data Streams. ACM SIGMOD Record, 30(3):109-120, September 2001.

• S. Babu, L. Subramanian, and J. Widom. A Data Stream Management System for Network Traffic Management. Proceedings of the Workshop on Network-Related Data Management}, Santa Barbara, California, May 2001.

Sensor Data Management

• A. Das Sarma, S.R. Jeffery, M.J. Franklin, and J. Widom. Estimating Data Stream Quality for Object-Detection Applications. Proceedings of the Third International ACM SIGMOD Workshop on Information Quality in Information Systems, Chicago, Illinois, June 2006.

• S.R. Jeffery, G. Alonso, M.J. Franklin, W. Hong, and J. Widom. Declarative Support for Sensor Data Cleaning. Proceedings of the Fourth International Conference on Pervasive Computing, Lecture Notes in Computer Science 3968, pages 83-100, Springer, Berlin, May 2006.

• S.R. Jeffery, G. Alonso, M.J. Franklin, W. Hong, and J. Widom. A Pipelined Framework for Online Cleaning of Sensor Data Streams (short paper). Proceedings of the 22nd International Conference on Data Engineering, Atlanta, Georgia, April 2006.

• U. Srivastava, K. Munagala, and J. Widom. Operator Placement for In-Network Stream Query Processing. Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 250-258, Baltimore, Maryland, June 2005.

Web-Related and Text

• U. Srivastava, J. Widom, K. Munagala, R. Motwani. Query Optimization over Web Services. Proceedings of the 32nd International Conference on Very Large Data Bases, pages 355-366, Seoul, Korea, September 2006.

• G. Jeh and J. Widom. Scaling Personalized Web Search. Proceedings of the 12th International World Wide Web Conference (WWW 2003), pages 271-279, Budapest, Hungary, May 2003.

• Q. Su and J. Widom. Indexing Relational Database Content Offline for Efficient Keyword-Based Search. Proceedings of the Ninth International Database Engineering and Applications Symposium (IDEAS '05), pages 297-306, Montreal, Canada, July 2005.

• R. Goldman and J. Widom. WSQ/DSQ: A Practical Approach for Combined Querying of Databases and the Web. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 285-296, Dallas, Texas, May 2000.

Data Cleaning, Mining, and Similarity

• O. Benjelloun, H. Garcia-Molina, D. Menestrina, Q. Su, S.E. Whang and J. Widom. Swoosh: A Generic Approach to Entity Resolution. To appear in VLDB Journal, 2008.

• O. Benjelloun, H. Garcia-Molina, H. Kawai, T.E. Larson, D. Menestrina, Q. Su, S. Thavisomboon, J. Widom. Generic Entity Resolution in the SERF Project. IEEE Data Engineering Bulletin, Special Issue on Data Quality, 29(2):13-20, June 2006.

• S.R. Jeffery, G. Alonso, M.J. Franklin, W. Hong, and J. Widom. Declarative Support for Sensor Data Cleaning. Proceedings of the Fourth International Conference on Pervasive Computing, Dublin, Ireland, May 2006.

• S.R. Jeffery, G. Alonso, M.J. Franklin, W. Hong, and J. Widom. A Pipelined Framework for Online Cleaning of Sensor Data Streams (short paper). Proceedings of the 22nd International Conference on Data Engineering, Atlanta, Georgia, April 2006.

• G. Jeh and J. Widom. Mining the Space of Graph Properties. Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pages 187-196, Seattle, Washington, August 2004.

• G. Jeh and J. Widom. SimRank: A Measure of Structural-Context Similarity. Proceedings of the Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pages 538-543, Edmonton, Canada, July 2002.

• P. Ganesan, H. Garcia-Molina, and J. Widom. Exploiting Hierarchical Domain Structure to Compute Similarity. Transactions on Information Systems, 21(1): 64-93, January 2003.

• B. Lent. A. Swami, and J. Widom. Clustering Association Rules. Proceedings of the 13th International Conference on Data Engineering, pages 220-231, Birmingham, UK, April 1997.

Replication, Caching, and Distributed Data

• C. Olston and J. Widom. Efficient Monitoring and Querying of Distributed, Dynamic Data via Approximate Replication. IEEE Data Engineering Bulletin, Special Issue on In-Network Query Processing, 28(1):11-18, March 2005.

• C. Olston, J. Jiang, and J. Widom. Adaptive Filters for Continuous Queries over Distributed Data Streams. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 563-574, San Diego, California, June 2003.

• C. Olston and J. Widom. Best-Effort Cache Synchronization with Source Cooperation. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 73-84, Madison, Wisconsin, June 2002. Shorter proceedings version of the same paper.

• C. Olston, B.T. Loo, and J. Widom. Adaptive Precision Setting for Cached Approximate Values. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 355-366, Santa Barbara, California, May 2001.

• C. Olston and J. Widom. Offering a Precision-Performance Tradeoff for Aggregation Queries over Replicated Data. Proceedings of the 26th International Conference on Very Large Data Bases, pages 144-155, Cairo, Egypt, September 2000.

• T. Feder, R. Motwani, R. Panigrahy, C. Olston, and J. Widom. Computing the Median with Uncertainty. Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, pages 602-607, Portland, Oregon, May 2000. Extended version appeared in SIAM Journal on Computing, 32(2):538-547, March 2003.

• P. Grefen and J. Widom. Protocols for Integrity Constraint Checking in Federated Databases. International Journal of Distributed and Parallel Databases, 5(4):327-355, October 1997.

• P. Grefen and J. Widom. Integrity Constraint Checking in Federated Databases. In Proceedings of the First IFCIS International Conference on Cooperative Information Systems, Brussels, Belgium, June 1996. Note: this material also appears in the much-expanded journal paper journal paper Protocols for Integrity Constraint Checking in Federated Databases, cited above.

• A. Gupta and J. Widom. Local Verification of Global Integrity Constraints in Distributed Databases. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 49-58, Washington, D.C., May 1993.

• S. Ceri and J. Widom. Production Rules in Parallel and Distributed Database Environments. Proceedings of the 18th International Conference on Very Large Data Bases, pages 339-351, Vancouver, British Columbia, August 1992.

Data Privacy

• G. Aggarwal, M. Bawa, P. Ganesan, H. Garcia-Molina, K. Kenthapadi, N. Mishra, R. Motwani, U. Srivastava, D. Thomas, and J. Widom. Enabling Privacy for the Paranoids. Proceedings of the 30th International Conference on Very Large Data Bases, pages 708-719, Toronto, Canada, August 2004.

XML and Semistructured Data

• R. Goldman, J. McHugh, and J. Widom. Lore: A Database Management System for XML. Dr. Dobb's Journal, 25(4):76-80. April 2000.

• R. Goldman and J. Widom. Summarizing and Searching Sequential Semistructured Sources. Technical Report, March 2000.

• J. Widom. Data Management for XML - Research Directions. Working Document, initial draft appeared April 1999. A July 1999 postscript version of this document appears in the IEEE Data Engineering Bulletin, Special Issue on XML, 22(3):44-52, September 1999.

• J. McHugh and J. Widom. Query Optimization for XML. Proceedings of the 25th International Conference on Very Large Data Bases, pages 315-326, Edinburgh, Scotland, September 1999. Note: this is a short version of the paper Query Optimization for Semistructured Data, cited below.

• R. Goldman, J. McHugh, and J. Widom. From Semistructured Data to XML: Migrating the Lore Data Model and Query Language. Markup Languages: Theory & Practice, 2(2), 2000. Originally appeared in Proceedings of the 2nd International Workshop on the Web and Databases (WebDB '99), pages 25-30, Philadelphia, Pennsylvania, June 1999.

• T. Lahiri, S. Abiteboul, and J. Widom. Ozone: Integrating Structured and Semistructured Data. Proceedings of the Seventh International Conference on Database Programming Languages, Kinloch Rannoch, Scotland, September 1999.

• S. Chawathe, S. Abiteboul, and J. Widom. Managing Historical Semistructured Data. Theory and Practice of Object Systems, 5(3):143-162, August 1999.

• J. McHugh and J. Widom. Optimizing Branching Path Expressions. Technical Report, June 1999.

• R. Goldman and J. Widom. Approximate DataGuides. Proceedings of the Workshop on Query Processing for Semistructured Data and Non-Standard Data Formats, Jerusalem, Israel, January 1999.

• J. McHugh and J. Widom. Compile-Time Path Expansion in Lore. Proceedings of the Workshop on Query Processing for Semistructured Data and Non-Standard Data Formats, Jerusalem, Israel, January 1999.

• R. Goldman and J. Widom. Interactive Query and Search in Semistructured Databases. Proceedings of the First International Workshop on the Web and Databases (WebDB '98), Lecture Notes in Computer Science 1590, pages 52-62, Springer-Verlag, Berlin, March 1998.

• S. Chawathe, S. Abiteboul, and J. Widom. Representing and Querying Changes in Semistructured Data. Proceedings of the 14th International Conference on Data Engineering, pages 4-13, Orlando, Florida, February 1998. Note: much of the material in this conference paper also appears in the journal paper Managing Historical Semistructured Data, cited above

• J. McHugh, J. Widom, S. Abiteboul, Q. Luo, A. Rajaraman. Indexing Semistructured Data. Technical Report, February 1998.

• J. McHugh and J. Widom. Query Optimization for Semistructured Data. Technical Report, November 1997. A short version of this paper, Query Optimization for XML, appeared in VLDB '99.

• S. Chawathe, V. Gossain, X. Liu, J. Widom, and S. Abiteboul Change Management in Heterogeneous Semistructured Databases. Demonstration description, November 1997.

• J. McHugh, S. Abiteboul, R. Goldman, D. Quass, and J. Widom. Lore: A Database Management System for Semistructured Data. ACM SIGMOD Record, 26(3):54-66, September 1997.

• R. Goldman and J. Widom. DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases. Proceedings of the 23rd International Conference on Very Large Data Bases, pages 436-445, Athens, Greece, August 1997. Full version of the same paper.

• J. McHugh and J. Widom. Integrating Dynamically-Fetched External Information into a DBMS for Semistructured Data. ACM SIGMOD Record, 26(4):24-31, December 1997. Also appeared in Proceedings of the Workshop on Management of Semistructured Data, pages 75-82, Tucson, Arizona, May 1997.

• S. Abiteboul, D. Quass, J. McHugh, J. Widom, and J.L. Wiener. The Lorel Query Language for Semistructured Data. International Journal on Digital Libraries, 1(1):68-88, April 1997.

• D. Quass, J. Widom. R. Goldman, K. Haas, Q. Luo, J. McHugh, S. Nestorov, A. Rajaraman, H. Rivero, S. Abiteboul, J.D. Ullman, and J.L. Wiener. LORE: A Lightweight Object REpository for Semistructured Data. Proceedings of the ACM SIGMOD International Conference on Management of Data, Montreal, Canada, June 1996. Demonstration description.

• S. Chawathe, A. Rajaraman, H. Garcia-Molina, and J. Widom. Change Detection in Hierarchically Structured Information. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 493-504, Montreal, Canada, June 1996. Full version of the same paper.

• D. Quass, A. Rajaraman, J.D. Ullman, J. Widom and Y. Sagiv. Querying Semistructured Heterogeneous Information. Journal of Systems Integration, 7(3/4):381-407, September 1997. Also appeared in Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases, pages 319-344, Singapore, December 1995. Full version of the same paper. Note: much of the material in this paper appears in an updated and more complete form in the journal paper The Lorel Query Language for Semistructured Data, cited above.

• Y. Papakonstantinou, H. Garcia-Molina, and J. Widom. Object Exchange Across Heterogeneous Information Sources. Proceedings of the 11th International Conference on Data Engineering, pages 251-260, Taipei, Taiwan, March 1995. Full version of the same paper. Note: one cut-and-paste figure is omitted from the postscript file in both versions.

Data Warehousing

• Y. Cui and J. Widom. Lineage Tracing for General Data Warehouse Transformations. VLDB Journal, 12(1):41-58, May 2003. A short version of this paper appeared in Proceedings of the 27th International Conference on Very Large Data Bases, pages 471-480, Rome, Italy, September 2001.

• W.J. Labio, J. Yang, Y. Cui, H. Garcia-Molina, and J. Widom. Performance Issues in Incremental Warehouse Maintenance. Proceedings of the 26th International Conference on Very Large Data Bases, pages 461-472, Cairo, Egypt, September 2000.

• Y. Cui, J. Widom, and J.L. Wiener. Tracing the Lineage of View Data in a Warehousing Environment. ACM Transactions on Database Systems, 25(2):179-227, June 2000.

• Y. Cui and J. Widom. Storing Auxiliary Data for Efficient Maintenance and Lineage Tracing of Complex Views. Proceedings of the Second International Workshop on Design and Management of Data Warehouses (DMDW 2000), Stockholm, Sweden, June 2000.

• J. Yang and J. Widom. Temporal View Self-Maintenance in a Warehousing Environment. Proceedings of the Seventh International Conference on Extending Database Technology (EDBT 2000), pages 395-412, Konstanz, Germany, March 2000.

• Y. Cui and J. Widom. Practical Lineage Tracing in Data Warehouses. Proceedings of the 16th International Conference on Data Engineering, pages 367-378, San Diego, California, February 2000.

• Y. Cui and J. Widom. Lineage Tracing in a Data Warehousing System. Proceedings of the 16th International Conference on Data Engineering, pages 683-684, San Diego, California, February 2000. Demonstration description.

• J. Yang and J. Widom. Maintaining Temporal Views Over Non-Historical Information Sources for Data Warehousing. Proceedings of the Sixth International Conference on Extending Database Technology (EDBT '98), pages 389-403, Valencia, Spain, March 1998.

• D. Quass and J. Widom. On-Line Warehouse View Maintenance. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 393-404, Tucson, Arizona, May 1997.

• W.J. Labio, Y. Zhuge, J.L. Wiener, H. Gupta, H. Garcia-Molina, and J. Widom. The WHIPS Prototype for Data Warehouse Creation and Maintenance. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 557-559, Tucson, Arizona, May 1997. Demonstration description.

• D. Quass, A. Gupta, I.S. Mumick, and J. Widom. Making Views Self-Maintainable for Data Warehousing. Proceedings of the Fourth International Conference on Parallel and Distributed Information Systems (PDIS '96), pages 158-169, Miami Beach, Florida, December 1996.

• J.L. Wiener, H. Gupta, W.J. Labio, Y. Zhuge, H. Garcia-Molina, and J. Widom. A System Prototype for Warehouse View Maintenance. Proceedings of the 1996 Workshop on Materialized Views: Techniques and Applications, pages 26-33, Montreal, Canada, June 1996.

• S. Chawathe, A. Rajaraman, H. Garcia-Molina, and J. Widom. Change Detection in Hierarchically Structured Information. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 493-504, Montreal, Canada, June 1996. Full version of the same paper.

• J. Widom. Research Problems in Data Warehousing. Proceedings of the Fourth International Conference on Information and Knowledge Management (CIKM '95), pages 25-30, Baltimore, Maryland, November 1995. Invited paper.

• J. Hammer, H. Garcia-Molina, W.J. Labio, J. Widom, and Y. Zhuge. The Stanford Data Warehousing Project. IEEE Data Engineering Bulletin, Special Issue on Materialized Views and Data Warehousing, 18(2):41-48, June 1995.

• Y. Zhuge, H. Garcia-Molina, J. Hammer, and J. Widom. View Maintenance in a Warehousing Environment. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 316-327, San Jose, CA, May 1995. Full version of the same paper.

View Management

• Y. Cui and J. Widom. Run-Time Translation of View Tuple Deletions Using Data Lineage. Technical Report, June 2001.

• Y. Cui, J. Widom, and J.L. Wiener. Tracing the Lineage of View Data in a Warehousing Environment. ACM Transactions on Database Systems, 25(2):179-227, June 2000.

• Y. Cui and J. Widom. Storing Auxiliary Data for Efficient Maintenance and Lineage Tracing of Complex Views. Proceedings of the Second International Workshop on Design and Management of Data Warehouses (DMDW 2000), Stockholm, Sweden, June 2000.

• J. Yang and J. Widom. Temporal View Self-Maintenance in a Warehousing Environment. Proceedings of the Seventh International Conference on Extending Database Technology (EDBT 2000), pages 395-412, Konstanz, Germany, March 2000.

• J. Yang and J. Widom. Maintaining Temporal Views Over Non-Historical Information Sources for Data Warehousing. Proceedings of the Sixth International Conference on Extending Database Technology (EDBT '98), pages 389-403, Valencia, Spain, March 1998.

• D. Quass and J. Widom. On-Line Warehouse View Maintenance. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 393-404, Tucson, Arizona, May 1997.

• B. Adelberg, H. Garcia-Molina, and J. Widom. The STRIP Rule System for Efficiently Maintaining Derived Data. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 147-158, Tucson, Arizona, May 1997.

• D. Quass, A. Gupta, I.S. Mumick, and J. Widom. Making Views Self-Maintainable for Data Warehousing. Proceedings of the Fourth International Conference on Parallel and Distributed Information Systems (PDIS '96), pages 158-169, Miami Beach, Florida, December 1996.

• J.L. Wiener, H. Gupta, W.J. Labio, Y. Zhuge, H. Garcia-Molina, and J. Widom. A System Prototype for Warehouse View Maintenance. Proceedings of the 1996 Workshop on Materialized Views: Techniques and Applications, pages 26-33, Montreal, Canada, June 1996.

• Y. Zhuge, H. Garcia-Molina, J. Hammer, and J. Widom. View Maintenance in a Warehousing Environment. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 316-327, San Jose, CA, May 1995. Full version of the same paper.

• S. Ceri and J. Widom. Deriving Production Rules for Incremental View Maintenance. Proceedings of the 17th International Conference on Very Large Data Bases, pages 577-589, Barcelona, Spain, September 1991.

Temporal Databases

• J. Yang and J. Widom. Incremental Computation and Maintenance of Temporal Aggregates. VLDB Journal, 12(3):262-283, October 2003. An earlier, shorter version of this paper appeared in Proceedings of the 17th International Conference on Data Engineering, pages 51-60, Heidelberg, Germany, April 2001.

• J. Yang, H.C. Ying, and J. Widom. TIP: A Temporal Extension to Informix. Proceedings of the ACM SIGMOD International Conference on Management of Data, page 596, Dallas, Texas, May 2000. Demonstration description.

• J. Yang and J. Widom. Temporal View Self-Maintenance in a Warehousing Environment. Proceedings of the Seventh International Conference on Extending Database Technology (EDBT 2000), pages 395-412, Konstanz, Germany, March 2000.

• S. Chawathe, S. Abiteboul, and J. Widom. Managing Historical Semistructured Data. Theory and Practice of Object Systems, 5(3):143-162, August 1999.

• J. Yang and J. Widom. Maintaining Temporal Views Over Non-Historical Information Sources for Data Warehousing. Proceedings of the Sixth International Conference on Extending Database Technology (EDBT '98), pages 389-403, Valencia, Spain, March 1998.

Heterogeneous and Extensible Database Systems

• J. Yang, J. Widom, and P. Brown. Implementing Parameterized Range Types in an Extensible DBMS. Technical Report, November 2000.

• S. Chawathe, V. Gossain, X. Liu, J. Widom, and S. Abiteboul Change Management in Heterogeneous Semistructured Databases. Demonstration description, November 1997.

• P. Grefen and J. Widom. Protocols for Integrity Constraint Checking in Federated Databases. International Journal of Distributed and Parallel Databases, 5(4):327-355, October 1997.

• J. McHugh and J. Widom. Integrating Dynamically-Fetched External Information into a DBMS for Semistructured Data. ACM SIGMOD Record, 26(4):24-31, December 1997. Also appeared in Proceedings of the Workshop on Management of Semistructured Data, pages 75-82, Tucson, Arizona, May 1997.

• H. Garcia-Molina, Y. Papakonstantinou, D. Quass, A. Rajaraman, Y. Sagiv, J.D. Ullman, and J. Widom. The TSIMMIS Approach to Mediation: Data Models and Languages. Journal of Intelligent Information Systems, 8(2):117-132, March 1997. Preliminary version appeared in Proceedings of the Second International Workshop on Next Generation Information Technologies and Systems, pages 185-193, Naharia, Israel, June 1995.

• J. Widom. Integrating Heterogeneous Databases: Lazy or Eager?. ACM Computing Surveys, 28A(4), December 1996. Invited short position paper for ACM Workshop on Strategic Directions in Computing Research.

• P. Grefen and J. Widom. Integrity Constraint Checking in Federated Databases. In Proceedings of the First IFCIS International Conference on Cooperative Information Systems, pages 38-47, Brussels, Belgium, June 1996. Note: this material also appears in the much-expanded journal paper Protocols for Integrity Constraint Checking in Federated Databases, cited above.

• S. Chawathe, H. Garcia-Molina, and J. Widom. A Toolkit for Constraint Management in Heterogeneous Information Systems. Proceedings of the 12th International Conference on Data Engineering, pages 56-65, New Orleans, Louisiana, February 1996. Full version of a similar (earlier) paper.

• D. Quass, A. Rajaraman, J.D. Ullman, J. Widom and Y. Sagiv. Querying Semistructured Heterogeneous Information. Journal of Systems Integration, 7(3/4):381-407, September 1997. Also appeared in Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases, pages 319-344, Singapore, December 1995. Full version of the same paper. Note: much of the material in this paper appears in an updated and more complete form in the journal paper The Lorel Query Language for Semistructured Data, in the "Semistructured Data" category above.

• Y. Papakonstantinou, H. Garcia-Molina, and J. Widom. Object Exchange Across Heterogeneous Information Sources. Proceedings of the 11th International Conference on Data Engineering, pages 251-260, Taipei, Taiwan, March 1995. Full version of the same paper. Note: one cut-and-paste figure is omitted from the postscript file in both versions.

• S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J.D. Ullman, and J. Widom. The Tsimmis Project: Integration of Heterogeneous Information Sources. Proceedings of the 100th Anniversary Meeting of the Information Processing Society of Japan, pages 7-18, Tokyo, Japan, October 1994.

• S. Ceri and J. Widom. Managing Semantic Heterogeneity with Production Rules and Persistent Queues. Proceedings of the 19th International Conference on Very Large Data Bases, pages 108-119, Dublin, Ireland, August 1993.

• J. Widom, R.J. Cochrane, and B. Lindsay. Implementing Set-Oriented Production Rules as an Extension to Starburst. Proceedings of the 17th International Conference on Very Large Data Bases, pages 275-285, Barcelona, Spain, September 1991. Note: one cut-and-paste figure is omitted from the postscript file.

Active Database Systems

• S. Ceri, R.J. Cochrane, and J. Widom. Practical Applications of Triggers and Constraints: Successes and Lingering Issues. Proceedings of the 26th International Conference on Very Large Data Bases, pages 285-296, Cairo, Egypt, September 2000. Invited paper.

• E. Baralis and J. Widom. Better Static Rule Analysis for Active Database Systems. ACM Transactions on Database Systems, 25(3):269-332, September 2000.

• S. Chawathe, S. Abiteboul, and J. Widom. Representing and Querying Changes in Semistructured Data. Proceedings of the 14th International Conference on Data Engineering, pages 4-13, Orlando, Florida, February 1998. Note: much of the material in this conference paper also appears in the journal paper Managing Historical Semistructured Data, cited in previous categories.

• S. Chawathe, V. Gossain, X. Liu, J. Widom, and S. Abiteboul Change Management in Heterogeneous Semistructured Databases. Demonstration description, November 1997.

• B. Adelberg, H. Garcia-Molina, and J. Widom. The STRIP Rule System for Efficiently Maintaining Derived Data. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 147-158, Tucson, Arizona, May 1997.

• J. Widom. The Starburst Active Database Rule System. IEEE Transactions on Knowledge and Data Engineering, 8(4):583-595, August 1996. Note: one cut-and-paste figure is omitted from the postscript file.

• E. Baralis and J. Widom. Using Delta Relations to Optimize Condition Evaluation in Active Databases. Proceedings of the Second International Workshop on Rules in Database Systems, Lecture Notes in Computer Science 985, pages 292-308, Springer-Verlag, Berlin, September 1995. Full version of the same paper.

• A. Aiken, J.M. Hellerstein, and J. Widom. Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM Transactions on Database Systems, 20(1):3-41, March 1995.

• E. Baralis and J. Widom. An Algebraic Approach to Rule Analysis in Expert Database Systems. Proceedings of the 20th International Conference on Very Large Data Bases, pages 606-617, Santiago, Chile, September 1994. Full version of the same paper. Note: much of the material in this conference paper also appears in the journal paper Better Static Rule Analysis for Active Database Systems, cited above.

• U. Dayal, E.N. Hanson, and J. Widom. Active Database Systems. In W. Kim, editor, Modern Database Systems: The Object Model, Interoperability, and Beyond, Addison-Wesley, Reading, Massachusetts, 1994.

• S. Ceri and J. Widom. Deriving Incremental Production Rules for Deductive Data. Information Systems, 19(6):467-490, 1994.

• J. Widom. Deductive and Active Databases: Two Paradigms or Ends of a Spectrum? Proceedings of the First International Workshop on Rules in Database Systems, pages 306-315, Edinburgh, Scotland, August 1993.

• E.N. Hanson and J. Widom. An Overview of Production Rules in Database Systems. The Knowledge Engineering Review, 8(2):121-143, June 1993.

• J. Widom. The Starburst Rule System: Language Design, Implementation, and Applications. IEEE Data Engineering Bulletin, Special Issue on Active Databases, 15(4):15-18, December 1992. Note: much of the material in this short overview paper also appears in the journal paper The Starburst Active Database Rule System, cited above.

• J. Widom. A Denotational Semantics for the Starburst Production Rule Language. ACM SIGMOD Record, 21(3):4-9, September 1992.

• S. Ceri and J. Widom. Production Rules in Parallel and Distributed Database Environments. Proceedings of the 18th International Conference on Very Large Data Bases, pages 339-351, Vancouver, British Columbia, August 1992.

• A. Aiken, J. Widom, and J.M. Hellerstein. Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 59-68, San Diego, California, June 1992. Note: much of the material in this conference paper also appears in the journal paper Static Analysis Techniques for Predicting the Behavior of Active Database Rules, cited above.

• S. Ceri and J. Widom. Deriving Production Rules for Incremental View Maintenance. Proceedings of the 17th International Conference on Very Large Data Bases, pages 577-589, Barcelona, Spain, September 1991.

• J. Widom, R.J. Cochrane, and B. Lindsay. Implementing Set-Oriented Production Rules as an Extension to Starburst. Proceedings of the 17th International Conference on Very Large Data Bases, pages 275-285, Barcelona, Spain, September 1991. Note: one cut-and-paste figure is omitted from the postscript file.

• S. Ceri and J. Widom. Deriving Production Rules for Constraint Maintenance. Proceedings of the 16th International Conference on Very Large Data Bases, pages 566-577, Brisbane, Australia, August 1990.

• J. Widom and S.J. Finkelstein. Set-Oriented Production Rules in Relational Database Systems. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 259-270, Atlantic City, New Jersey, May 1990.

Constraint Management

• S. Ceri, R.J. Cochrane, and J. Widom. Practical Applications of Triggers and Constraints: Successes and Lingering Issues. Proceedings of the 26th International Conference on Very Large Data Bases, pages 285-296, Cairo, Egypt, September 2000. Invited paper.

• P. Grefen and J. Widom. Protocols for Integrity Constraint Checking in Federated Databases. International Journal of Distributed and Parallel Databases, 5(4):327-355, October 1997.

• P. Grefen and J. Widom. Integrity Constraint Checking in Federated Databases. In Proceedings of the First IFCIS International Conference on Cooperative Information Systems, pages 38-47, Brussels, Belgium, June 1996. Note: this material also appears in the much-expanded journal paper Protocols for Integrity Constraint Checking in Federated Databases, cited above.

• S. Chawathe, H. Garcia-Molina, and J. Widom. A Toolkit for Constraint Management in Heterogeneous Information Systems. Proceedings of the 12th International Conference on Data Engineering, pages 56-65, New Orleans, Louisiana, February 1996. Full version of the same paper.

• J. Widom, A. Gupta, Y. Sagiv, and J.D. Ullman. Validating Constraints with Partial Information: Research Overview. Proceedings of the Fifth International Workshop on the Deductive Approach to Information Systems and Databases, pages 375-385, Costa Brava, Spain, September 1994.

• A. Gupta, Y. Sagiv, J.D. Ullman, and J. Widom. Constraint Checking with Partial Information. Proceedings of the 13th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 45-55, Minneapolis, Minnesota, May 1994.

• A. Gupta and J. Widom. Local Verification of Global Integrity Constraints in Distributed Databases. Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 49-58, Washington, D.C., May 1993.

• S. Ceri and J. Widom. Deriving Production Rules for Constraint Maintenance. Proceedings of the 16th International Conference on Very Large Data Bases, pages 566-577, Brisbane, Australia, August 1990.

Data Management for Wireless Networks

• Y. Cui, D. Lam, J. Widom, and D.C. Cox. Efficient PCS Call Setup Protocols. Proceedings of the 17th Annual IEEE Joint Conference on Computer Communications (Infocom '98), pages 728-736, San Francisco, California, March 1998.

• D. Lam, Y. Cui, D.C. Cox, and J. Widom. A Location Management Technique to Support Lifelong Numbering in Personal Communications Services. ACM Mobile Computing and Communications Review, 2(1):27-35, January 1998.

• D. Lam, Y. Cui, D.C. Cox, and J. Widom. A Location Management Technique to Support Lifelong Numbering in Personal Communications Services. Proceedings of the 1997 IEEE Global Telecommunications Conference (Globecom '97), Phoenix, Arizona, pages 704-710, November 1997. Note: much of the material in this conference paper also appears in the journal paper of the same title, cited above.

• J. Jannink, D. Lam, N. Shivakumar, J. Widom, and D.C. Cox. Efficient and Flexible Location Management Techniques for Wireless Communication Systems. ACM/Baltzer Journal of Wireless Networks, 3(5):361-374, 1997.

• N. Shivakumar, J. Jannink, and J. Widom. Per-User Profile Replication in Mobile Environments: Algorithms, Analysis, and Simulation Results. ACM/Baltzer Journal of Mobile Networks and Applications, 2(2):129-140, 1997.

• D. Lam, D.C. Cox, and J. Widom. Teletraffic Modeling for Personal Communications Services. IEEE Communications, 35(2):79-87, February 1997.

• J. Jannink, D. Lam, N. Shivakumar, J. Widom, and D.C. Cox. Efficient and Flexible Location Management Techniques for Wireless Communication Systems. Proceedings of the Second ACM International Conference on Mobile Computing and Networking (MobiCom '96), pages 38-49, White Plains, New York, November 1996. Note: much of the material in this conference paper also appears in the journal paper of the same title, cited above.

• D. Lam, J. Jannink, D.C. Cox, and J. Widom. Modeling Location Management in Personal Communication Services. Proceedings of the 1996 IEEE International Conference on Universal Personal Communications, volume 2 pages 596-601, Cambridge, Massachusetts, September 1996. Note: much of the material in this conference paper also appears in the journal paper Teletraffic Modeling for Personal Communications Services, cited above.

• N. Shivakumar and J. Widom. User Profile Replication for Faster Location Lookup in Mobile Environments. Proceedings of the First ACM International Conference on Mobile Computing and Networking (MobiCom '95), pages 161-169, Berkeley, CA, November 1995. Note: much of the material in this conference paper also appears in the journal paper Per-User Profile Replication in Mobile Environments: Algorithms, Analysis, and Simulation Results, cited above.

Concurrent Program Verification

• J. Widom, D. Gries, and F.B. Schneider. Trace-Based Network Proof Systems: Expressiveness and Completeness. ACM Transactions on Programming Languages and Systems, 14(3):396-416, July 1992.

• J. Hooman and J. Widom. A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing. PARLE '89: Proceedings of Parallel Architectures and Languages Europe, Volume II, Lecture Notes in Computer Science 366, pages 424-441, Springer-Verlag, Berlin, June 1989.

• J. Widom and P. Panangaden. Expressiveness Bounds for Completeness in Trace-Based Network Proof Systems. CAAP '88: Proceedings of the 13th Colloquium on Trees in Algebra and Programming, Lecture Notes in Computer Science 299, pages 200-214, Springer-Verlag, Berlin, March 1988. Note: much of the material in this conference paper also appears in the journal paper Trace-Based Network Proof Systems: Expressiveness and Completeness, cited above.

• J. Widom, D. Gries, and F.B. Schneider. Completeness and Incompleteness of Trace-Based Network Proof Systems. Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages, pages 27-38, Munich, West Germany, January 1987. Note: much of the material in this conference paper also appears in the journal paper Trace-Based Network Proof Systems: Expressiveness and Completeness, cited above.

Miscellaneous

• J. Donahue and J. Widom. Whiteboards: a Graphical Database Tool. ACM Transactions on Office Information Systems, 4(1):24-41, January 1986.