![Jennifer Widom](https://web.archive.org./web/20220814150820im_/https://profiles.stanford.edu/proxy/api/cap/profiles/10275/resources/profilephoto/350x350.1219536232000.jpg)
Jennifer Widom
Frederick Emmons Terman Dean of the School of Engineering, Fletcher Jones Professor of Computer Science and Professor of Electrical Engineering
Bio
Jennifer Widom is the Frederick Emmons Terman Dean of the School of Engineering and the Fletcher Jones Professor in Computer Science and Electrical Engineering at Stanford University. She served as Computer Science Department Chair from 2009-2014 and School of Engineering Senior Associate Dean from 2014-2016. Jennifer received her Bachelor's degree from the Indiana University Jacobs 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 a Guggenheim Fellowship in 2000, the ACM SIGMOD Edgar F. Codd Innovations Award in 2007, the ACM-W Athena Lecturer Award in 2015, and the EPFL-WISH Foundation Erna Hamburger Prize in 2018.
Administrative Appointments
-
Dean, School of Engineering (2017 - Present)
-
Senior Associate Dean for Faculty and Academic Affairs, School of Engineering (2014 - 2016)
-
Department Chair, Computer Science (2009 - 2014)
Honors & Awards
-
Member, National Academy of Engineering (2005 - present)
-
Member, American Academy of Arts & Sciences (2009 - present)
-
Fellow, ACM (2005 - present)
-
Edgar F. Codd Innovations Award, ACM SIGMOD (2007)
-
Erna Hamburger Prize, EPFL-WISH Foundation (2018)
-
Athena Lecturer Award, ACM-W (2015)
-
Fellow, Guggenheim Foundation (2000-01)
-
Career Achievement Award, Indiana University School of Informatics and Computing (2015)
-
Education Award, IEEE Technical Committee of Data Engineering (2018)
Professional Education
-
PhD, Cornell University, Computer Science (1987)
-
MS, Cornell University, Computer Science (1985)
-
MS, Indiana University, Computer Science (1983)
-
BS, Indiana University Jacobs School of Music, Music (1982)
2021-22 Courses
- Data-Driven Decisions and Discovery
CS 46N (Spr) -
Independent Studies (19)
- Advanced Reading and Research
CS 499 (Aut, Win, Spr, Sum) - Advanced Reading and Research
CS 499P (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 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) - Part-time Curricular Practical Training
CS 390D (Aut, Win) - 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 Research Project
CS 191W (Aut, Win, Spr)
- Advanced Reading and Research
-
Prior Year Courses
2019-20 Courses
- Working with Data - Tools and Techniques
CS 102 (Spr)
2018-19 Courses
- Big Data - Tools and Techniques
CS 102 (Win)
- Working with Data - Tools and Techniques
All Publications
-
Towards Globally Optimal Crowdsourcing Quality Management: The Uniform Worker Setting.
Proceedings. ACM-Sigmod International Conference on Management of Data
2016; 2016: 47-62
Abstract
We study crowdsourcing quality management, that is, given worker responses to a set of tasks, our goal is to jointly estimate the true answers for the tasks, as well as the quality of the workers. Prior work on this problem relies primarily on applying Expectation-Maximization (EM) on the underlying maximum likelihood problem to estimate true answers as well as worker quality. Unfortunately, EM only provides a locally optimal solution rather than a globally optimal one. Other solutions to the problem (that do not leverage EM) fail to provide global optimality guarantees as well. In this paper, we focus on filtering, where tasks require the evaluation of a yes/no predicate, and rating, where tasks elicit integer scores from a finite domain. We design algorithms for finding the global optimal estimates of correct task answers and worker quality for the underlying maximum likelihood problem, and characterize the complexity of these algorithms. Our algorithms conceptually consider all mappings from tasks to true answers (typically a very large number), leveraging two key ideas to reduce, by several orders of magnitude, the number of mappings under consideration, while preserving optimality. We also demonstrate that these algorithms often find more accurate estimates than EM-based algorithms. This paper makes an important contribution towards understanding the inherent complexity of globally optimal crowdsourcing quality management.
View details for DOI 10.1145/2882903.2882953
View details for PubMedID 28149000
View details for PubMedCentralID PMC5278759
-
Surpassing Humans and Computers with JellyBean: Crowd-Vision-Hybrid Counting Algorithms.
Proceedings of the ... AAAI Conference on Human Computation and Crowdsourcing
2015; 2015: 178-187
Abstract
Counting objects is a fundamental image processisng primitive, and has many scientific, health, surveillance, security, and military applications. Existing supervised computer vision techniques typically require large quantities of labeled training data, and even with that, fail to return accurate results in all but the most stylized settings. Using vanilla crowd-sourcing, on the other hand, can lead to significant errors, especially on images with many objects. In this paper, we present our JellyBean suite of algorithms, that combines the best of crowds and computer vision to count objects in images, and uses judicious decomposition of images to greatly improve accuracy at low cost. Our algorithms have several desirable properties: (i) they are theoretically optimal or near-optimal, in that they ask as few questions as possible to humans (under certain intuitively reasonable assumptions that we justify in our paper experimentally); (ii) they operate under stand-alone or hybrid modes, in that they can either work independent of computer vision algorithms, or work in concert with them, depending on whether the computer vision techniques are available or useful for the given setting; (iii) they perform very well in practice, returning accurate counts on images that no individual worker or computer vision algorithm can count correctly, while not incurring a high cost.
View details for PubMedID 26844304
-
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
- 3X: A Data Management System for Computational Experiments. Technical Report and Demonstration Proposal 2013
-
Logical Provenance in Data-Oriented Workflows
29th IEEE International Conference on Data Engineering (ICDE)
IEEE. 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
- Query Optimization over Crowdsourced Data. 2013
- GPS: A Graph Processing System. 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
28th IEEE International Conference on Data Engineering (ICDE)
IEEE. 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
-
LIVE: A Lineage-Supported Versioned DBMS
22nd International Conference on Scientific and Statistical Database Management
SPRINGER-VERLAG BERLIN. 2010: 416–433
View details for Web of Science ID 000286148800029
- Panda: A System for Provenance and Data. IEEE Data Engineering Bulletin, Special Issue on Data Provenance 2010; 3 (33): 42-49
- Synthesizing View Definitions from Data. 2010
- Panda: A System for Provenance and Data. 2010
- Foundations of Uncertain-Data Integration. 2010
- Generalized Uncertain Databases: First Steps. 2010
-
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
-
Confidence-Aware Join Algorithms
IEEE 25th International Conference on Data Engineering
IEEE. 2009: 628–639
View details for Web of Science ID 000269126700057
- 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
-
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
-
Databases with uncertainty and lineage
32nd International Conference on Very Large Data Bases
SPRINGER. 2008: 243–64
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
24th IEEE International Conference on Data Engineering/ 1st International Workshop on Secure Semantic Web
IEEE. 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
- Database Systems - The Complete Book. Prentice Hall. 2008
- A First Course in Database Systems. 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
4th International Conference on Pervasive Computing
SPRINGER-VERLAG BERLIN. 2006: 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
21st International Conference on Data Engineering (ICDE 2005)
IEEE COMPUTER SOC. 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
-
The pipelined set cover problem
10th International Conference on Database Theory (ICDT 2005)
SPRINGER-VERLAG BERLIN. 2005: 83–98
View details for Web of Science ID 000227472000006
-
Indexing relational database content offline for efficient keyword-based search
9th International Database Engineering and Application Symposium (IDEAS 2005)
IEEE COMPUTER SOC. 2005: 297–306
View details for Web of Science ID 000231656600031
-
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
21st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS)
ASSOC COMPUTING MACHINERY. 2004: 162–94
View details for Web of Science ID 000220300100006
-
CQL: A language for continuous queries over streams and relations
9th International Workshop on Data Bases and Programming Languages
SPRINGER-VERLAG BERLIN. 2004: 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
-
Computing the median with uncertainty
SIAM JOURNAL ON COMPUTING
2003; 32 (2): 538-547
View details for Web of Science ID 000181452400013
- 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
- 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
-
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
- An Abstract Semantics and Concrete Language for Continuous Queries over Streams and Relations 2003
- 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
ACM SIGMOD International Conference on Management of Data
ASSOC COMPUTING MACHINERY. 2001: 355–66
View details for Web of Science ID 000168887300032
- Run-Time Translation of View Tuple Deletions Using Data Lineage. Technical Report 2001
- A Data Stream Management System for Network Traffic Management. 2001
- Lineage Tracing for General Data Warehouse Transformations. 2001
-
Incremental computation and maintenance of temporal aggregates
17th International Conference on Data Engineering
IEEE COMPUTER SOC. 2001: 51–60
View details for Web of Science ID 000168248100006
-
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
-
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
International Conference on Management of Data
ASSOC COMPUTING MACHINERY. 2000: 285–96
View details for Web of Science ID 000087867500026
-
TIP: A temporal extension to Informix
International Conference on Management of Data
ASSOC COMPUTING MACHINERY. 2000: 596–96
View details for Web of Science ID 000087867500077
-
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
7th International Conference on Extending Database Technology
SPRINGER-VERLAG BERLIN. 2000: 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
- Better Static Rule Analysis for Active Database Systems. ACM Transactions on Database Systems 2000; 3 (25): 269-332
- Database System Implementation. Prentice Hall. 2000
-
Query optimization for XML
25th International Conference on Very Large Data Bases
MORGAN KAUFMANN PUB INC. 1999: 315–326
View details for Web of Science ID 000089669900032
- Ozone: Integrating Structured and Semistructured Data. 1999
- Compile-Time Path Expansion in Lore. 1999
- Approximate DataGuides. 1999
- Optimizing Branching Path Expressions. Technical Report 1999
-
Interactive query and search in semistructured databases
International Workshop on the World Wide Web and Databases (WebDB 98)
SPRINGER-VERLAG BERLIN. 1999: 52–62
View details for Web of Science ID 000082777200004
-
Managing historical semistructured data
THEORY AND PRACTICE OF OBJECT SYSTEMS
1999; 5 (3): 143-162
View details for Web of Science ID 000082324900003
- From Semistructured Data to XML: Migrating the Lore Data Model and Query Language. 1999
-
Representing and querying changes in semistructured data
IEEE Computer-Society 14th International Conference on Data Engineering (ICDE 98)
IEEE COMPUTER SOC. 1998: 4–13
View details for Web of Science ID 000072696100001
- 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
-
Efficient PCS call setup protocols
17th Annual Joint Conference of the IEEE-Computer-Society/IEEE-Communications-Society (INFOCOM 98)
I E E E. 1998: 728–736
View details for Web of Science ID 000073211700086
-
Maintaining temporal views over non-temporal information sources for data warehousing
6th International Conference on Extending Database Technology (EDBT 98)
SPRINGER-VERLAG BERLIN. 1998: 389–403
View details for Web of Science ID 000078840500026
-
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
-
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
-
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
23rd International Conference on Very Large Databases
MORGAN KAUFMANN PUB INC. 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
-
Clustering association rules
13th International Conference on Data Engineering
IEEE COMPUTER SOC. 1997: 220–231
View details for Web of Science ID A1997BH55Z00024
-
The WHIPS prototype for data warehouse creation and maintenance
13th International Conference on Data Engineering
IEEE COMPUTER SOC. 1997: 589–589
View details for Web of Science ID A1997BH55Z00074
-
A location management technique to support lifelong numbering in personal communications services
IEEE Global Telecommunications Conference (GLOBECOM 97)
IEEE. 1997: 704–710
View details for Web of Science ID A1997BJ90L00135
-
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
-
Making views self-maintainable for data warehousing
4th International Conference on Parallel and Distributed Information Systems
I E E E, COMPUTER SOC PRESS. 1996: 158–169
View details for Web of Science ID A1996BH04A00013
- 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
- Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann. 1996
- Integrating Heterogeneous Databases: Lazy or Eager?. ACM Computing Surveys 1996; 4 (28A)
-
A toolkit for constraint management in heterogeneous information systems
12th IEEE International Conference on Data Engineering
I E E E, COMPUTER SOC PRESS. 1996: 56–65
View details for Web of Science ID A1996BF21F00007
-
Modeling location management in personal communications services
1996 5th IEEE International Conference on Universal Personal Communications
IEEE. 1996: 596–601
View details for Web of Science ID A1996BG45X00120
-
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
11th International Conference on Data Engineering
I E E E, COMPUTER SOC PRESS. 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
- Production Rules in Parallel and Distributed Database Environments. 1992
-
PRODUCTION RULES IN PARALLEL AND DISTRIBUTED DATABASE ENVIRONMENTS
18TH INTERNATIONAL CONF ON VERY LARGE DATA BASES ( VLDB 92 )
MORGAN KAUFMANN PUB INC. 1992: 339–351
View details for Web of Science ID A1992BY11K00027
- The Starburst Rule System: Language Design, Implementation, and Applications. IEEE Data Engineering Bulletin, Special Issue on Active Databases 1992; 4 (15): 15-18
- Trace-Based Network Proof Systems: Expressiveness and Completeness. ACM Transactions on Programming Languages and Systems 1992; 3 (14): 396-416
- A Denotational Semantics for the Starburst Production Rule Language. ACM SIGMOD Record 1992; 3 (21): 4-9
- Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. 1992
- Deriving Production Rules for Incremental View Maintenance. 1991
-
DERIVING PRODUCTION RULES FOR INCREMENTAL VIEW MAINTENANCE
17th International Conference on Very Large Data Bases
MORGAN KAUFMANN PUB INC. 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
16th International Conference on Very Large Data Bases
MORGAN KAUFMANN PUB INC. 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