Jennifer Widom
Fletcher Jones Professor in Computer Science, Senior Associate Dean for Faculty and Academic Affairs and Professor of Electrical Engineering
Bio
Jennifer Widom is the Fletcher Jones Professor and Chair of the Computer Science Department at Stanford University. She received her Bachelor's degree from the Indiana University School of Music in 1982 and her Computer Science Ph.D. from Cornell University in 1987. She was a Research Staff Member at the IBM Almaden Research Center before joining the Stanford faculty in 1993. Her research interests span many aspects of nontraditional data management. She is an ACM Fellow and a member of the National Academy of Engineering and the American Academy of Arts & Sciences; she received the ACM SIGMOD Edgar F. Codd Innovations Award in 2007 and was a Guggenheim Fellow in 2000; she has served on a variety of program committees, advisory boards, and editorial boards.
Honors & Awards
-
Member, National Academy of Engineering
-
Member, American Academy of Arts and Sciences
-
Fellow, Guggenheim Foundation
-
Fellow, ACM
-
Edgar F. Codd Innovations Award, ACM SIGMOD
Boards, Advisory Committees, Professional Organizations
-
Member, National Academy of Engineering (2013 - Present)
-
Member, American Academy of Arts and Sciences (2013 - Present)
Professional Education
-
PhD, Cornell University, Computer Science (1987)
-
BS, Indiana University, Music (1982)
2015-16 Courses
- Big Data, Big Discoveries, Big Fallacies
CS 46N (Aut) - Big Data: Tools and Techniques, Discoveries and Pitfalls
CS 102 (Spr) -
Independent Studies (25)
- Advanced Reading and Research
CS 499 (Aut, Win, Spr, Sum) - Advanced Reading and Research
CS 499P (Aut, Win, Spr, Sum) - Computer Laboratory
CS 393 (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390A (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390B (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390C (Aut, Win, Spr, Sum) - Independent Database Project
CS 395 (Aut, Win, Spr, Sum) - Independent Project
CS 399 (Aut, Win, Spr, Sum) - Independent Project
CS 399P (Aut, Win, Spr, Sum) - Independent Work
CS 199 (Aut, Win, Spr, Sum) - Independent Work
CS 199P (Aut, Win, Spr, Sum) - Master's Thesis and Thesis Research
EE 300 (Aut, Win, Spr, Sum) - Part-Time CPT
CS 390S (Aut) - Part-Time CPT
CS 390T (Win) - Part-Time Curricular Practical Training
CS 390Q (Spr) - Part-Time Curricular Practical Training
CS 390U (Spr) - Part-time Curricular Practical Training
CS 390P (Win, Spr) - Programming Service Project
CS 192 (Aut, Win, Spr, Sum) - Senior Project
CS 191 (Aut, Win, Spr, Sum) - Special Studies and Reports in Electrical Engineering
EE 191 (Aut, Win, Spr) - Special Studies and Reports in Electrical Engineering
EE 391 (Aut, Win, Spr, Sum) - Special Studies and Reports in Electrical Engineering (WIM)
EE 191W (Aut, Win, Spr) - Special Studies or Projects in Electrical Engineering
EE 190 (Aut, Win, Spr) - Special Studies or Projects in Electrical Engineering
EE 390 (Aut, Win, Spr, Sum) - Writing Intensive Senior Project (WIM)
CS 191W (Aut, Win, Spr)
- Advanced Reading and Research
-
Prior Year Courses
2013-14 Courses
- Introduction to Databases
CS 145 (Aut)
2012-13 Courses
- Introduction to Databases
CS 145 (Aut)
- Introduction to Databases
All Publications
-
The Beckman Report on Database Research
SIGMOD RECORD
2014; 43 (3): 61-70
View details for Web of Science ID 000344417300007
- Optimizing Graph Algorithms on Pregel-like Systems. 2014
- GPS: A Graph Processing System. 2013
-
Logical Provenance in Data-Oriented Workflows
2013 IEEE 29TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE)
2013: 877-888
View details for Web of Science ID 000326733500076
- Logical Provenance in Data-Oriented Workflows. 2013
- DataSift: An Expressive and Accurate Crowd-Powered Search Toolkit. 2013
- Optimal Crowd-Powered Rating and Filtering Algorithms. Technical Report 2013
- CrowdFill: Collecting Structured Data from the Crowd. Technical Report 2013
- CrowdFill: A System for Collecting Structured Data from the Crowd. Technical Report and Demonstration Proposal 2013
- 3X: A Data Management System for Computational Experiments. Technical Report and Demonstration Proposal 2013
- Query Optimization over Crowdsourced Data. 2013
-
An Overview of the Deco System: Data Model and Query Language; Query Processing and Optimization
SIGMOD RECORD
2012; 41 (4): 22-27
View details for Web of Science ID 000313910900003
-
Provenance-Based Debugging and Drill-Down in Data-Oriented Workflows
2012 IEEE 28TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE)
2012: 1249-1252
View details for DOI 10.1109/ICDE.2012.118
View details for Web of Science ID 000309122100117
- Deco: A System for Declarative Crowdsourcing. 2012
- Query Processing over Crowdsourced Data. Technical Report 2012
- Deco: Declarative Crowdsourcing. 2012
- CrowdScreen: Algorithms for Filtering Data with Humans. 2012
-
Making Aggregation Work in Uncertain and Probabilistic Databases
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
2011; 23 (8): 1261-1273
View details for DOI 10.1109/TKDE.2010.166
View details for Web of Science ID 000291806000011
- RAMP: A System for Capturing and Tracing Provenance in MapReduce Workflows 2011
- Provenance-Based Refresh in Data-Oriented Workflows. 2011
- Provenance for Generalized Map and Reduce Workflows. 2011
- Human-Assisted Graph Search: It's Okay to Ask Questions. 2011
- Synthesizing View Definitions from Data. 2010
- Panda: A System for Provenance and Data. IEEE Data Engineering Bulletin, Special Issue on Data Provenance 2010; 3 (33): 42-49
- Panda: A System for Provenance and Data. 2010
- Foundations of Uncertain-Data Integration. 2010
- Generalized Uncertain Databases: First Steps. 2010
-
LIVE: A Lineage-Supported Versioned DBMS
SCIENTIFIC AND STATISTICAL DATABASE MANAGEMENT
2010; 6187: 416-433
View details for Web of Science ID 000286148800029
-
Representing uncertain data: models, properties, and algorithms
VLDB JOURNAL
2009; 18 (5): 989-1019
View details for DOI 10.1007/s00778-009-0147-0
View details for Web of Science ID 000270651600002
-
Swoosh: a generic approach to entity resolution
VLDB JOURNAL
2009; 18 (1): 255-276
View details for DOI 10.1007/s00778-008-0098-x
View details for Web of Science ID 000262317000011
- Trio: A System for Data, Uncertainty, and Lineage. Managing and Mining Uncertain Data edited by Aggarwal, C. 2009
- STREAM: The Stanford Data Stream Management System. Data Stream Management: Processing High-Speed Data Streams edited by Garofalakis, M., Gehrke, J., Rastogi, R. 2009
- Continuous Uncertainty in Trio. 2009
- Trio-ER: The Trio System as a Workbench for Entity-Resolution. Technical Report 2009
- Outerjoins in Uncertain Databases. 2009
- Schema Design for Uncertain Databases. 2009
-
Confidence-Aware Join Algorithms
ICDE: 2009 IEEE 25TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, VOLS 1-3
2009: 628-639
View details for Web of Science ID 000269126700057
-
Databases with uncertainty and lineage
SPRINGER. 2008: 243-264
View details for DOI 10.1007/s00778-007-0080-z
View details for Web of Science ID 000253630600006
-
Exploiting lineage for confidence computation in uncertain and probabilistic databases
2008 IEEE 24TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, VOLS 1-3
2008: 1023-1032
View details for Web of Science ID 000257282600109
- Towards Special-Purpose Indexes and Statistics for Uncertain Data. 2008
- Towards a Streaming SQL Standard. 2008
- A First Course in Database Systems. Prentice Hall. 2008
- Database Systems - The Complete Book. Prentice Hall. 2008
- Optimization of Continuous Queries with Shared Expensive Filters. 2007
- Trio-One: Layering Uncertainty and Lineage on a Conventional DBMS. 2007
-
The CQL continuous query language: semantic foundations and query execution
VLDB JOURNAL
2006; 15 (2): 121-142
View details for DOI 10.1007/s00778-004-0147-z
View details for Web of Science ID 000236736000002
-
Declarative support for sensor data cleaning
PERVASIVE COMPUTING, PROCEEDINGS
2006; 3968: 83-100
View details for Web of Science ID 000237503800006
- A Pipelined Framework for Online Cleaning of Sensor Data Streams 2006
- Trio: A System for Data, Uncertainty, and Lineage. 2006
- Query Optimization over Web Services. 2006
- Estimating Data Stream Quality for Object-Detection Applications. 2006
- A Pipelined Framework for Online Cleaning of Sensor Data Streams (short paper). 2006
- Generic Entity Resolution in the SERF Project. IEEE Data Engineering Bulletin, Special Issue on Data Quality 2006; 2 (29): 13-20
- An Introduction to ULDBs and the Trio System. IEEE Data Engineering Bulletin, Special Issue on Probabilistic Databases 2006; 1 (29): 5-16
- Working Models for Uncertain Data. 2006
- ULDBs: Databases with Uncertainty and Lineage. 2006
-
The Lowell database - Research self assessment
COMMUNICATIONS OF THE ACM
2005; 48 (5): 111-118
View details for Web of Science ID 000229359800026
-
Adaptive caching for continuous queries
ICDE 2005: 21ST INTERNATIONAL CONFERENCE ON DATA ENGINEERING, PROCEEDINGS
2005: 118-129
View details for Web of Science ID 000229594000012
- Trio: A System for Integrated Management of Data, Accuracy, and Lineage. 2005
- Operator Placement for In-Network Stream Query Processing. 2005
- Content-Based Routing: Different Plans for Different Data. 2005
- Representing Uncertain Data: Uniqueness, Equivalence, Minimization, and Approximation Technical Report 2005
- Efficient Monitoring and Querying of Distributed, Dynamic Data via Approximate Replication. IEEE Data Engineering Bulletin, Special Issue on In-Network Query Processing 2005; 1 (28): 11-18
-
Indexing relational database content offline for efficient keyword-based search
9TH INTERNATIONAL DATABASE ENGINEERING & APPLICATION SYMPOSIUM, PROCEEDINGS
2005: 297-306
View details for Web of Science ID 000231656600031
-
The pipelined set cover problem
DATABASE THEORY - ICDT 2005, PROCEEDINGS
2005; 3363: 83-98
View details for Web of Science ID 000227472000006
-
A denotational semantics for continuous queries over streams and relations
SIGMOD RECORD
2004; 33 (3): 6-11
View details for Web of Science ID 000224139700001
-
Exploiting k-constraints to reduce memory overhead in continuous queries over data streams
ACM TRANSACTIONS ON DATABASE SYSTEMS
2004; 29 (3): 545-580
View details for Web of Science ID 000223536500004
-
Characterizing memory requirements for queries over continuous data streams
ASSOC COMPUTING MACHINERY. 2004: 162-194
View details for Web of Science ID 000220300100006
-
CQL: A language for continuous queries over streams and relations
DATABASE PROGRAMMING LANGUAGES
2004; 2921: 1-19
View details for Web of Science ID 000189417500001
- Mining the Space of Graph Properties. 2004
- StreaMon: An Adaptive Engine for Stream Query Processing. 2004
- Resource Sharing in Continuous Sliding-Window Aggregates. 2004
- Memory-Limited Execution of Windowed Stream Joins. 2004
- Flexible Time Management in Data Stream Systems. 2004
- Enabling Privacy for the Paranoids. 2004
- Adaptive Ordering of Pipelined Stream Filters. 2004
-
Incremental computation and maintenance of temporal aggregates
VLDB JOURNAL
2003; 12 (3): 262-283
View details for DOI 10.1007/s00778-003-0107-z
View details for Web of Science ID 000186462000005
-
Lineage tracing for general data warehouse transformations
VLDB JOURNAL
2003; 12 (1): 41-58
View details for DOI 10.1007/s00778-002-0083-8
View details for Web of Science ID 000183862800003
-
Exploiting hierarchical domain structure to compute similarity
ACM TRANSACTIONS ON INFORMATION SYSTEMS
2003; 21 (1): 64-93
View details for Web of Science ID 000181146300003
- STREAM: The Stanford Stream Data Manager. 2003
- Scaling Personalized Web Search. 2003
- Query Processing, Resource Management, and Approximation in a Data Stream Management System. 2003
- An Abstract Semantics and Concrete Language for Continuous Queries over Streams and Relations 2003
- Adaptive Filters for Continuous Queries over Distributed Data Streams. 2003
- Extended version appeared in SIAM Journal on Computing 2003; 2 (32): 538-547
- Monitoring Stream Properties for Continuous Query Processing 2003
-
Computing the median with uncertainty
SIAM JOURNAL ON COMPUTING
2003; 32 (2): 538-547
View details for Web of Science ID 000181452400013
- Best-Effort Cache Synchronization with Source Cooperation. 2002
- SimRank: A Measure of Structural-Context Similarity. 2002
- Preliminary shorter version 2002
- Models and Issues in Data Stream Systems. 2002
- Characterizing Memory Requirements for Queries over Continuous Data Streams 2002
-
Continuous queries over data streams
SIGMOD RECORD
2001; 30 (3): 109-120
View details for Web of Science ID 000170776400015
-
Adaptive precision setting for cached approximate values
ASSOC COMPUTING MACHINERY. 2001: 355-366
View details for Web of Science ID 000168887300032
-
Incremental computation and maintenance of temporal aggregates
17TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, PROCEEDINGS
2001: 51-60
View details for Web of Science ID 000168248100006
- A Data Stream Management System for Network Traffic Management. 2001
- Lineage Tracing for General Data Warehouse Transformations. 2001
- Run-Time Translation of View Tuple Deletions Using Data Lineage. Technical Report 2001
-
An algebraic approach to static analysis of active database rules
ACM TRANSACTIONS ON DATABASE SYSTEMS
2000; 25 (3): 269-332
View details for Web of Science ID 000167433800001
-
TIP: A temporal extension to Informix
ASSOC COMPUTING MACHINERY. 2000: 596-596
View details for Web of Science ID 000087867500077
-
Tracing the lineage of view data in a warehousing environment
ACM TRANSACTIONS ON DATABASE SYSTEMS
2000; 25 (2): 179-227
View details for Web of Science ID 000166261700002
-
WSQ/DSQ: A practical approach for combined querying of databases and the Web
ASSOC COMPUTING MACHINERY. 2000: 285-296
View details for Web of Science ID 000087867500026
-
Lore: A database management system for XML
DR DOBBS JOURNAL
2000; 25 (4): 76-?
View details for Web of Science ID 000085729800028
-
Temporal view self-maintenance
ADVANCES IN DATABASE TECHNOLOGY-DEBT 2000, PROCEEDINGS
2000; 1777: 395-412
View details for Web of Science ID 000170923700028
- Lineage Tracing in a Data Warehousing System. 2000
- Storing Auxiliary Data for Efficient Maintenance and Lineage Tracing of Complex Views. 2000
- Practical Lineage Tracing in Data Warehouses. 2000
- Practical Applications of Triggers and Constraints: Successes and Lingering Issues. 2000
- Performance Issues in Incremental Warehouse Maintenance. 2000
- Computing the Median with Uncertainty. 2000
- Summarizing and Searching Sequential Semistructured Sources. Technical Report 2000
- Implementing Parameterized Range Types in an Extensible DBMS. Technical Report 2000
- From Semistructured Data to XML: Migrating the Lore Data Model and Query Language. Markup Languages: Theory & Practice 2000; 2 (2)
- Offering a Precision-Performance Tradeoff for Aggregation Queries over Replicated Data. 2000
- Database System Implementation. Prentice Hall. 2000
- Better Static Rule Analysis for Active Database Systems. ACM Transactions on Database Systems 2000; 3 (25): 269-332
-
Managing historical semistructured data
THEORY AND PRACTICE OF OBJECT SYSTEMS
1999; 5 (3): 143-162
View details for Web of Science ID 000082324900003
- Ozone: Integrating Structured and Semistructured Data. 1999
- Compile-Time Path Expansion in Lore. 1999
- Approximate DataGuides. 1999
- From Semistructured Data to XML: Migrating the Lore Data Model and Query Language. 1999
- Optimizing Branching Path Expressions. Technical Report 1999
-
Query optimization for XML
PROCEEDINGS OF THE TWENTY-FIFTH INTERNATIONAL CONFERENCE ON VERY LARGE DATA BASES
1999: 315-326
View details for Web of Science ID 000089669900032
-
Interactive query and search in semistructured databases
WORLD WIDE WEB AND DATABASES
1999; 1590: 52-62
View details for Web of Science ID 000082777200004
-
Efficient PCS call setup protocols
IEEE INFOCOM '98 - THE CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS. 1-3
1998: 728-736
View details for Web of Science ID 000073211700086
- Indexing Semistructured Data. Technical Report 1998
- A Location Management Technique to Support Lifelong Numbering in Personal Communications Services. ACM Mobile Computing and Communications Review 1998; 1 (2): 27-35
-
Maintaining temporal views over non-temporal information sources for data warehousing
ADVANCES IN DATABASE TECHNOLOGY - EDBT'98
1998; 1377: 389-403
View details for Web of Science ID 000078840500026
-
Representing and querying changes in semistructured data
14TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, PROCEEDINGS
1998: 4-13
View details for Web of Science ID 000072696100001
-
Efficient and flexible location management techniques for wireless communication systems
WIRELESS NETWORKS
1997; 3 (5): 361-374
View details for Web of Science ID 000208155900006
-
Protocols for integrity constraint checking in federated databases
DISTRIBUTED AND PARALLEL DATABASES
1997; 5 (4): 327-355
View details for Web of Science ID A1997XW64900001
-
Teletraffic modeling for personal communications services
IEEE COMMUNICATIONS MAGAZINE
1997; 35 (2): 79-87
View details for Web of Science ID A1997WF97600008
-
DataGuides: Enabling query formulation and optimization in semistructured databases
PROCEEDINGS OF THE TWENTY-THIRD INTERNATIONAL CONFERENCE ON VERY LARGE DATABASES
1997: 436-445
View details for Web of Science ID 000072616400045
- Integrating Dynamically-Fetched External Information into a DBMS for Semistructured Data. 1997
- Change Management in Heterogeneous Semistructured Databases. Demonstration description 1997
- The STRIP Rule System for Efficiently Maintaining Derived Data. 1997
- On-Line Warehouse View Maintenance. 1997
- Querying Semistructured Heterogeneous Information. Journal of Systems Integration 1997; 3\4 (7): 381-407
- Query Optimization for Semistructured Data. Technical Report 1997
- Per-User Profile Replication in Mobile Environments: Algorithms, Analysis, and Simulation Results. ACM/Baltzer Journal of Mobile Networks and Applications 1997; 2 (2): 129-140
- Lore: A Database Management System for Semistructured Data. ACM SIGMOD Record 1997; 3 (26): 54-66
- Integrating Dynamically-Fetched External Information into a DBMS for Semistructured Data. ACM SIGMOD Record 1997; 4 (26): 24-31
- The TSIMMIS Approach to Mediation: Data Models and Languages. Journal of Intelligent Information Systems 1997; 2 (8): 117-132
- The Lorel Query Language for Semistructured Data. International Journal on Digital Libraries 1997; 1 (1): 68-88
-
The WHIPS prototype for data warehouse creation and maintenance
13TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING - PROCEEDINGS
1997: 589-589
View details for Web of Science ID A1997BH55Z00074
-
A location management technique to support lifelong numbering in personal communications services
IEEE. 1997: 704-710
View details for Web of Science ID A1997BJ90L00135
-
Clustering association rules
13TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING - PROCEEDINGS
1997: 220-231
View details for Web of Science ID A1997BH55Z00024
-
The Starburst active database Rule System
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
1996; 8 (4): 583-595
View details for Web of Science ID A1996VG33900009
- Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann. 1996
- LORE: A Lightweight Object REpository for Semistructured Data. 1996
- Integrity Constraint Checking in Federated Databases. 1996
- Efficient and Flexible Location Management Techniques for Wireless Communication Systems. 1996
- Change Detection in Hierarchically Structured Information . 1996
- A System Prototype for Warehouse View Maintenance. 1996
- Integrating Heterogeneous Databases: Lazy or Eager?. ACM Computing Surveys 1996; 4 (28A)
-
A toolkit for constraint management in heterogeneous information systems
PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON DATA ENGINEERING
1996: 56-65
View details for Web of Science ID A1996BF21F00007
-
Modeling location management in personal communications services
ICUPC '96 - 1996 5TH IEEE INTERNATIONAL CONFERENCE ON UNIVERSAL PERSONAL COMMUNICATIONS RECORD, VOLS 1 AND 2
1996: 596-601
View details for Web of Science ID A1996BG45X00120
-
Making views self-maintainable for data warehousing
PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED INFORMATION SYSTEMS
1996: 158-169
View details for Web of Science ID A1996BH04A00013
-
STATIC ANALYSIS TECHNIQUES FOR PREDICTING THE BEHAVIOR OF ACTIVE DATABASE RULES
ACM TRANSACTIONS ON DATABASE SYSTEMS
1995; 20 (1): 3-41
View details for Web of Science ID A1995RJ62400002
-
OBJECT EXCHANGE ACROSS HETEROGENEOUS INFORMATION SOURCES
PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON DATA ENGINEERING
1995: 251-260
View details for Web of Science ID A1995BC60N00030
- View Maintenance in a Warehousing Environment. 1995
- Using Delta Relations to Optimize Condition Evaluation in Active Databases. 1995
- User Profile Replication for Faster Location Lookup in Mobile Environments. 1995
- The TSIMMIS Approach to Mediation: Data Models and Languages. 1995
- Research Problems in Data Warehousing. 1995
- The Stanford Data Warehousing Project. IEEE Data Engineering Bulletin, Special Issue on Materialized Views and Data Warehousing 1995; 2 (18): 41-48
- Querying Semistructured Heterogeneous Information. 1995
-
DERIVING INCREMENTAL PRODUCTION RULES FOR DEDUCTIVE DATA
INFORMATION SYSTEMS
1994; 19 (6): 467-490
View details for Web of Science ID A1994PJ34700002
- Constraint Checking with Partial Information. 1994
- Active Database Systems Modern Database Systems: The Object Model, Interoperability, and Beyond edited by Kim, W. Addison-Wesley. 1994
- The Tsimmis Project: Integration of Heterogeneous Information Sources. 1994
- Deriving Incremental Production Rules for Deductive Data. Information Systems 1994; 6 (19): 467-490
- Validating Constraints with Partial Information: Research Overview. 1994
- An Algebraic Approach to Rule Analysis in Expert Database Systems. 1994
- An Overview of Production Rules in Database Systems. The Knowledge Engineering Review 1993; 2 (8): 121-143
- Managing Semantic Heterogeneity with Production Rules and Persistent Queues. 1993
- Deductive and Active Databases: Two Paradigms or Ends of a Spectrum? 1993
- Local Verification of Global Integrity Constraints in Distributed Databases. 1993
- A Denotational Semantics for the Starburst Production Rule Language. ACM SIGMOD Record 1992; 3 (21): 4-9
-
PRODUCTION RULES IN PARALLEL AND DISTRIBUTED DATABASE ENVIRONMENTS
VERY LARGE DATA BASES : VLDB - 92
1992: 339-351
View details for Web of Science ID A1992BY11K00027
- Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. 1992
- The Starburst Rule System: Language Design, Implementation, and Applications. IEEE Data Engineering Bulletin, Special Issue on Active Databases 1992; 4 (15): 15-18
- Production Rules in Parallel and Distributed Database Environments. 1992
- Trace-Based Network Proof Systems: Expressiveness and Completeness. ACM Transactions on Programming Languages and Systems 1992; 3 (14): 396-416
- Deriving Production Rules for Incremental View Maintenance. 1991
-
DERIVING PRODUCTION RULES FOR INCREMENTAL VIEW MAINTENANCE
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON VERY LARGE DATA BASES
1991: 577-589
View details for Web of Science ID A1991BA75N00050
- Implementing Set-Oriented Production Rules as an Extension to Starburst. 1991
- Deriving Production Rules for Constraint Maintenance. 1990
-
DERIVING PRODUCTION RULES FOR CONSTRAINT MAINTENANCE
VERY LARGE DATA BASES
1990: 566-577
View details for Web of Science ID A1990BA75M00047
- Set-Oriented Production Rules in Relational Database Systems. 1990
- A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing. 1989
- Expressiveness Bounds for Completeness in Trace-Based Network Proof Systems. 1988
- Completeness and Incompleteness of Trace-Based Network Proof Systems. 1987
- Whiteboards: a Graphical Database Tool. ACM Transactions on Office Information Systems 1986; 1 (4): 24-41