Jeffrey D. Ullman

CoRR, 2023

2022

Efficient and Privacy Preserving Approximation of Distributed Statistical Queries.

[BibT_eX]

[DOI]

IEEE Trans. Big Data, 2022

Visits to Research Groups.

[BibT_eX]

[DOI]

XRDS, 2022

Abstractions, their algorithms, and their compilers.

[BibT_eX]

[DOI]

Commun. ACM, 2022

BFLUT Bloom Filter for Private Look Up Tables.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security, Cryptology, and Machine Learning, 2022

2021

On the Nature of Data Science.

[BibT_eX]

[DOI]

Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021

Meta-X: A Technique for Reducing Communication in Geographically Distributed Computations.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security Cryptography and Machine Learning, 2021

2020

PANDA: Partitioned Data Security on Outsourced Sensitive and Non-sensitive Data.

[BibT_eX]

[DOI]

ACM Trans. Manag. Inf. Syst., 2020

The Battle for Data Science.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2020

Panda: Partitioned Data Security on Outsourced Sensitive and Non-sensitive Data.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Efficient Multiway Hash Join on Reconfigurable Hardware.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation and Benchmarking for the Era of Cloud(s), 2019

Partitioned Data Security on Outsourced Sensitive and Non-Sensitive Data.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Conference on Data Engineering, 2019

Scaling Cryptographic Techniques by Exploiting Data Sensitivity at a Public Cloud.

[BibT_eX]

[DOI]

Sharad Mehrotra

Shantanu Sharma

Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019

2018

Computing marginals using MapReduce.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2018

SharesSkew: An algorithm to handle skew for joins in MapReduce.

[BibT_eX]

[DOI]

Nikos Stasinopoulos

Angelos Vasilakopoulos

Inf. Syst., 2018

2017

Report from the third workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR'16).

[BibT_eX]

[DOI]

SIGMOD Rec., 2017

Report from the Fourth Workshop on Algorithms andSystems for MapReduce and Beyond (BeyondMR '17).

[BibT_eX]

[DOI]

SIGMOD Rec., 2017

GYM: A Multiround Distributed Join Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Database Theory, 2017

Data Science Education: We're Missing the Boat, Again.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Conference on Data Engineering, 2017

Efficient and private approximations of distributed databases calculations.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

2016

Assignment Problems of Different-Sized Inputs in MapReduce.

[BibT_eX]

[DOI]

ACM Trans. Knowl. Discov. Data, 2016

Some pairs problems.

[BibT_eX]

[DOI]

Gokul Nath Babu Manoharan

Jonathan R. Ullman

Proceedings of the 3rd ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, 2016

Shasta: Interactive Reporting At Scale.

[BibT_eX]

[DOI]

Stephan Ellner

Karl Schnaitter

Sridatta Chegu

Alejandro Estrella-Balderrama

Shivakumar Venkataraman

Divyakant Agrawal

Proceedings of the 2016 International Conference on Management of Data, 2016

Panel: The State of Data: Invited Paper from panelists.

[BibT_eX]

[DOI]

Proceedings of the 20th International Database Engineering & Applications Symposium, 2016

Computing Marginals Using MapReduce: Keynote talk paper.

[BibT_eX]

[DOI]

Proceedings of the 20th International Database Engineering & Applications Symposium, 2016

Portrait of an Indexer - Computing Pointers Into Instructional Videos.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Educational Data Mining, 2016

Concise essence-preserving big data representation.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015

Parallel Skyline Queries.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2015

Handling Skew in Multiway Joins in Parallel Processing.

[BibT_eX]

[DOI]

Angelos Vasilakopoulos

CoRR, 2015

Meta-MapReduce: A Technique for Reducing Communication in MapReduce Computations.

[BibT_eX]

[DOI]

CoRR, 2015

Experiments as research validation: have we gone too far?

[BibT_eX]

[DOI]

Commun. ACM, 2015

Bounds for Overlapping Interval Join on MapReduce.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT), 2015

MapReduce Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Companion Volume to the Proceedings of the 2nd IKDD Conference on Data Sciences, 2015

2014

Storing and Querying Tree-Structured Records in Dremel.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2014

GYM: A Multiround Join Algorithm In MapReduce.

[BibT_eX]

[DOI]

CoRR, 2014

Assignment of Different-Sized Inputs in MapReduce.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 28th International Symposium, 2014

Anchor-Points Algorithms for Hamming and Edit Distances Using MapReduce.

[BibT_eX]

[DOI]

Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014

Mining of Massive Datasets, 2nd Ed.

[BibT_eX]

[DOI]

Jure Leskovec

Cambridge University Press, ISBN: 978-1107077232, 2014

2013

Upper and Lower Bounds on the Cost of a Map-Reduce Computation.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2013

Big data: a research agenda.

[BibT_eX]

[DOI]

Alfredo Cuzzocrea

Domenico Saccà

Proceedings of the 17th International Database Engineering & Applications Symposium, 2013

Matching bounds for the all-pairs MapReduce problem.

[BibT_eX]

[DOI]

Proceedings of the 17th International Database Engineering & Applications Symposium, 2013

Enumerating subgraph instances using map-reduce.

[BibT_eX]

[DOI]

Dimitris Fotakis

Proceedings of the 29th IEEE International Conference on Data Engineering, 2013

2012

Designing good MapReduce algorithms.

[BibT_eX]

[DOI]

XRDS, 2012

Vision Paper: Towards an Understanding of the Limits of Map-Reduce Computation

[BibT_eX]

[DOI]

CoRR, 2012

Fuzzy Joins Using MapReduce.

[BibT_eX]

[DOI]

Anish Das Sarma

David Menestrina

Aditya G. Parameswaran

Proceedings of the IEEE 28th International Conference on Data Engineering (ICDE 2012), 2012

Transitive closure and recursive Datalog implemented on clusters.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Extending Database Technology, 2012

Designing good algorithms for MapReduce and beyond.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Cloud Computing, SOCC '12, 2012

2011

Optimizing Multiway Joins in a Map-Reduce Environment.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2011

Map-reduce extensions and recursive queries.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2011, 2011

2010

Foundations of Uncertain-Data Integration.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2010

Optimizing joins in a map-reduce environment.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2010, 2010

Cluster Computing, Recursion and Datalog.

[BibT_eX]

[DOI]

Proceedings of the Datalog Reloaded - First International Workshop, 2010

Evaluating, combining and generalizing recommendations with prerequisites.

[BibT_eX]

[DOI]

Aditya G. Parameswaran

Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010

2009

Viewpoint - Advising students for success.

[BibT_eX]

[DOI]

Commun. ACM, 2009

Schema Design for Uncertain Databases.

[BibT_eX]

[DOI]

Anish Das Sarma

Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, 2009

Database systems - the complete book (2. ed.).

[BibT_eX]

Pearson Education, ISBN: 978-0-13-187325-4, 2009

2007

Using views to generate efficient evaluation plans for queries.

[BibT_eX]

[DOI]

Chen Li

J. Comput. Syst. Sci., 2007

Introduction to automata theory, languages, and computation, 3rd Edition.

[BibT_eX]

Pearson international edition, Addison-Wesley, ISBN: 978-0-321-47617-3, 2007

2005

In memory of Seymour Ginsburg 1928 - 2004.

[BibT_eX]

[DOI]

Daniel J. Rosenkrantz

SIGMOD Rec., 2005

The Lowell database research self-assessment.

[BibT_eX]

[DOI]

Commun. ACM, 2005

Gradiance On-Line Accelerated Learning.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2005, 2005

2003

Querying websites using compact skeletons.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2003

Improving the Efficiency of Database-System Teaching.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

The Lowell Report.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

A Survey of New Directions in Database System.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Database Systems for Advanced Applications (DASFAA '03), 2003

Introduction to automata theory, languages, and computation - international edition, 2nd Edition.

[BibT_eX]

Addison-Wesley, ISBN: 978-0-321-21029-6, 2003

2002

A first course in database systems (2. ed.).

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-035300-9, 2002

Database systems - the complete book (international edition).

[BibT_eX]

Pearson Education, ISBN: 978-0-13-098043-4, 2002

Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie (2. Aufl.).

[BibT_eX]

Pearson Studium, ISBN: 978-3-8273-7020-4, 2002

2001

Finding Interesting Associations without Support Pruning.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2001

Introduction to automata theory, languages, and computation, 2nd edition.

[BibT_eX]

[DOI]

SIGACT News, 2001

Generating Efficient Plans for Queries Using Views.

[BibT_eX]

[DOI]

Chen Li

Proceedings of the 2001 ACM SIGMOD international conference on Management of data, 2001

Minimizing View Sets without Losing Query-Answering Power.

[BibT_eX]

[DOI]

Chen Li

Mayank Bawa

Proceedings of the Database Theory, 2001

Introduction to automata theory, languages, and computation, 2nd Edition.

[BibT_eX]

Addison-Wesley series in computer science, Addison-Wesley-Longman, ISBN: 978-0-201-44124-6, 2001

2000

Information integration using logical views.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Scalable Techniques for Mining Causal Structures.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 2000

Dynamic Miss-Counting Algorithms: Finding Implication and Similarity Rules with Confidence Pruning.

[BibT_eX]

[DOI]

Shinji Fujiwara

Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

A Survey of Association-Rule Mining.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science, 2000

Database System Implementation

[BibT_eX]

[DOI]

Prentice-Hall, ISBN: 0-13-040264-8, 2000

Introduction to Automata Theory, Languages and Computation, Second Edition

[BibT_eX]

Addison-Wesley, 2000

1999

Answering Queries Using Limited External Query Processors.

[BibT_eX]

[DOI]

Alon Y. Levy

J. Comput. Syst. Sci., 1999

Computing Capabilities of Mediators.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1999, 1999

Some Advances in Data-Mining Techniques (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Next Generation Information Technologies and Systems, 1999

The MIDAS Data-Mining Project at Stanford.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Database Engineering and Applications Symposium, 1999

Optimizing Large Join Queries in Mediation Systems.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 1999

1998

Reminiscences on Influential Papers.

[BibT_eX]

[DOI]

SIGMOD Rec., 1998

The Asilomar Report on Database Research.

[BibT_eX]

[DOI]

Joseph M. Hellerstein

SIGMOD Rec., 1998

Computing Iceberg Queries Efficiently.

[BibT_eX]

[DOI]

Proceedings of the VLDB'98, 1998

Query Flocks: A Generalization of Association-Rule Mining.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1998, 1998

Capability Based Mediation in TSIMMIS.

[BibT_eX]

[DOI]

Murty Valiveti

Proceedings of the SIGMOD 1998, 1998

Elements of ML programming - ML 97 edition.

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-790387-0, 1998

1997

Mediator Languages - a Proposal for a Standard.

[BibT_eX]

[DOI]

Peter Buneman

Louiqa Raschid

SIGMOD Rec., 1997

Querying Semistructured Heterogeneous Information.

[BibT_eX]

[DOI]

J. Syst. Integr., 1997

The TSIMMIS Approach to Mediation: Data Models and Languages.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 1997

Dynamic Itemset Counting and Implication Rules for Market Basket Data.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1997, 1997

Representative Objects: Concise Representations of Semistructured, Hierarchial Data.

[BibT_eX]

[DOI]

Svetlozar Nestorov

Janet L. Wiener

Sudarshan S. Chawathe

Proceedings of the Thirteenth International Conference on Data Engineering, 1997

Index Selection for OLAP.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Data Engineering, 1997

A First Course in Database Systems.

[BibT_eX]

[DOI]

Prentice-Hall, ISBN: 0-13-861337-0, 1997

1996

Database Research: Achievements and Opportunities Into the 21st Century.

[BibT_eX]

[DOI]

Abraham Silberschatz

Michael Stonebraker

SIGMOD Rec., 1996

Moving Database Theory into Database Practice.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

LORE: A Lightweight Object REpository for Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Implementing Data Cubes Efficiently.

[BibT_eX]

[DOI]

Venky Harinarayan

Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

The TSIMMIS Database Integration Project.

[BibT_eX]

Proceedings of the Atti del Quarto Convegno Nazionale su Sistemi Evoluti per Basi di Dati (4th National Conference on Advanced Database Systems), 1996

Integrating Information by Outerjoins and Full Disjunctions.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

Answering Queries Using Limited External Processors.

[BibT_eX]

[DOI]

Alon Y. Levy

Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion).

[BibT_eX]

[DOI]

Proceedings of the Logic in Databases, 1996

Efficient Implementation of Data Cubes Via Materialized Views.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Knowledge Discovery and Data Mining (KDD-96), 1996

MedMaker: A Mediation System Based on Declarative Specifications.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

The Database Approach to Knowledge Represention.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Informatik - Datenstrukturen und Konzepte der Abstraktion.

[BibT_eX]

Informatik Lehrbuchreihe, International Thomson, ISBN: 978-3-8266-0242-9, 1996

1995

Argument Reduction by Factoring.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

A survey of deductive database systems.

[BibT_eX]

[DOI]

Raghu Ramakrishnan

J. Log. Program., 1995

The Role of Theory Today.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1995

Information Translation, Mediation, and Mosaic-Based Browsing in the TSIMMIS System.

[BibT_eX]

[DOI]

Joachim Hammer

Kelly Ireland

Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

Answering Queries Using Templates with Binding Patterns.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

The TSIMMIS Approach to Mediation: Data Models and Languages.

[BibT_eX]

Dallan Quass

Proceedings of the Next Generation Information Technologies and Systems (NGITS '95), 1995

A Version Numbering Scheme with a Useful Lexicographical Order.

[BibT_eX]

[DOI]

Arthur M. Keller

Proceedings of the Eleventh International Conference on Data Engineering, 1995

A Query Translation Scheme for Rapid Implementation of Wrappers.

[BibT_eX]

[DOI]

Ashish Gupta

Proceedings of the Deductive and Object-Oriented Databases, 1995

1994

Efficient and Complete Tests for Database Integrity Constraint Checking.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1994

Constraint Checking with Partial Information.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

The TSIMMIS Project: Integration of Heterogeneous Information Sources.

[BibT_eX]

Sudarshan S. Chawathe

Joachim Hammer

Kelly Ireland

Proceedings of the 10th Meeting of the Information Processing Society of Japan, 1994

Validating Constraints with Partial Information: Research Overview.

[BibT_eX]

Proceedings of the Fith International Workshop on the Deductive Approach to Information Systems and Databases, 1994

Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie (3. Aufl.).

[BibT_eX]

Internationale Computer-Bibliothek, Addison-Wesley, ISBN: 978-3-89319-744-6, 1994

Elements of ML programming.

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-288788-5, 1994

1993

Logical Query Optimization by Proff-Tree Transformation.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1993

1992

New Frontiers in Database System Research.

[BibT_eX]

[DOI]

Proceedings of the Future Tendencies in Computer Science, 1992

Generalizing Conjunctive Query Containment for View Maintenance and Integrity Constraint Verification (Abstract).

[BibT_eX]

Ashish Gupta

Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, 1992

The Interface Between Language Theory and Database Theory.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Studies in Computer Science, 1992

Foundations of Computer Science, C Edition

[BibT_eX]

[DOI]

Computer Science Press / W. H. Freeman, ISBN: 0716782332, 1992

1991

High-Probability Parallel Transitive-Closure Algorithms.

[BibT_eX]

[DOI]

SIAM J. Comput., 1991

Database Systems: Achievements and Opportunities.

[BibT_eX]

[DOI]

Abraham Silberschatz

Michael Stonebraker

Commun. ACM, 1991

The Input/Output Complexity of Transitive Closure.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1991

A Comparison between Deductive and Object-Oriented Database Systems.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 1991

1990

Deductive Databases: Achievements and Future Directions.

[BibT_eX]

[DOI]

Carlo Zaniolo

SIGMOD Rec., 1990

Database Systems: Achievements and Opportunities - The "Lagunita" Report of the NSF Invitational Workshop on the Future of Database System Research held in Palo Alto, California, February 22-23, 1990.

[BibT_eX]

[DOI]

Abraham Silberschatz

Michael Stonebraker

SIGMOD Rec., 1990

Selected Database Research at Stanford.

[BibT_eX]

[DOI]

SIGMOD Rec., 1990

The theory of deductive database systems.

[BibT_eX]

[DOI]

Proceedings of the Intellectual Leverage: Thirty-Fifth IEEE Computer Society International Conference, 1990

Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie (2. Aufl.).

[BibT_eX]

Internationale Computer-Bibliothek, Addison-Wesley, ISBN: 978-3-89319-181-9, 1990

1989

An Optimal Synchronizer for the Hypercube.

[BibT_eX]

[DOI]

David Peleg

SIAM J. Comput., 1989

On the Convergence of Query Evaluation.

[BibT_eX]

[DOI]

Christos H. Papadimitriou

J. Comput. Syst. Sci., 1989

Efficient Evaluation of Right-, Left-, and Mult-Lineare Rules.

[BibT_eX]

[DOI]

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Bottom-Up Beats Top-Down for Datalog.

[BibT_eX]

[DOI]

Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

Proof-Tree Transformation Theorems and Their Applications.

[BibT_eX]

[DOI]

Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

Principles of Database and Knowledge-Base Systems, Volume II

[BibT_eX]

Computer Science Press, ISBN: 0-7167-8162-X, 1989

1988

Efficient tests for top-down termination of logical rules.

[BibT_eX]

[DOI]

Allen Van Gelder

J. ACM, 1988

Parallel Complexity of Logical Query Programs.

[BibT_eX]

[DOI]

Allen Van Gelder

Algorithmica, 1988

The Complexity of Ordering Subgoals.

[BibT_eX]

[DOI]

Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

Principles of Database and Knowledge-Base Systems, Volume I

[BibT_eX]

[DOI]

Christos H. Papadimitriou

Principles of computer science series 14, Computer Science Press, ISBN: 0-7167-8158-1, 1988

1987

A Communication-Time Tradeoff.

[BibT_eX]

[DOI]

SIAM J. Comput., 1987

YAWN! (Yet Another Window on NAIL!).

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1987

Algorithms for the Compilation of Regular Expressions into PLAs.

[BibT_eX]

[DOI]

Anna R. Karlin

Howard Trickey

Algorithmica, 1987

Database Theory: Past and Future.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

1986

Updating Logical Databases.

[BibT_eX]

Adv. Comput. Res., 1986

Magic Sets and Other Strange Ways to Implement Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

Convergence of Sideways Query Evaluation.

[BibT_eX]

[DOI]

Christos H. Papadimitriou

Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

Design Overview of the NAIL! System.

[BibT_eX]

[DOI]

Katherine A. Morris

Allen Van Gelder

Proceedings of the Third International Conference on Logic Programming, 1986

Compilers: Principles, Techniques, and Tools.

[BibT_eX]

[DOI]

Ravi Sethi

Addison-Wesley series in computer science / World student series edition, Addison-Wesley, ISBN: 0201101947, 1986

1985

Implementation of Logical Query Languages for Databases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1985

Implementation of Logical Query Languages for Databases (Abstract).

[BibT_eX]

[DOI]

Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data, 1985

An Approach To Processing Queries In A Logic-Based Query Language.

[BibT_eX]

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

Logic and Database Systems.

[BibT_eX]

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

1984

On the Foundations of the Universal Relation Model.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1984

System/U: A Database System Based on the Universal Relation Assumption.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1984

Connections in Acyclic Hypergraphs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

Flux, Sorting, and Supercomputer Organization for AI Applications.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1984

Correcting Faults in Write-Once Memory

[BibT_eX]

[DOI]

Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

On Complementary and Independent Mappings on Databases.

[BibT_eX]

[DOI]

Arthur M. Keller

Proceedings of the SIGMOD'84, 1984

On the Equivalence of Logical Databases.

[BibT_eX]

[DOI]

Gabriel M. Kuper

Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

Some Thoughts About Supercomputer Organization.

[BibT_eX]

Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

1983

On Kent's "Consequences of Assuming a Universal Relation".

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1983

Corrigendum: The Theory of Joins in Relational Databases.

[BibT_eX]

ACM Trans. Database Syst., 1983

Maximal Objects and the Semantics of Universal Relation Databases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1983

Tools for Template Dependencies.

[BibT_eX]

[DOI]

SIAM J. Comput., 1983

On Notions of Information Transfer in VLSI Circuits

[BibT_eX]

[DOI]

Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983

Fragments of Relations.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD'83, 1983

The Revenge of the JD.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1983

On the Semantics of Updates in Databases.

[BibT_eX]

[DOI]

Ronald Fagin

Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1983

Universal Relation Interfaces for Database Systems.

[BibT_eX]

Proceedings of the Information Processing 83, 1983

Data Structures and Algorithms.

[BibT_eX]

Addison-Wesley, ISBN: 0-201-00023-7, 1983

1982

A Simplified Universal Relation Assumption and Its Properties.

[BibT_eX]

[DOI]

Ronald Fagin

Alberto O. Mendelzon

ACM Trans. Database Syst., 1982

The Theory of Functional and Template Dependencies.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1982

Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization.

[BibT_eX]

[DOI]

J. ACM, 1982

The Compilation of Regular Expressions into Integrated Circuits.

[BibT_eX]

[DOI]

Robert W. Floyd

J. ACM, 1982

Query Processing in Universal Relation Systems.

[BibT_eX]

[DOI]

IEEE Database Eng. Bull., 1982

The U. R. Strikes Back.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Database Systems, 1982

A Regular Expression Compiler.

[BibT_eX]

Howard Trickey

Proceedings of the COMPCON'82, 1982

Principles of Database Systems, 2nd Edition

[BibT_eX]

Computer Science Press, ISBN: 0-914894-36-6, 1982

1981

Deadlock-Free Packet Switching Networks.

[BibT_eX]

[DOI]

Sam Toueg

SIAM J. Comput., 1981

Equivalence of Relational Database Schemes.

[BibT_eX]

[DOI]

SIAM J. Comput., 1981

Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions.

[BibT_eX]

[DOI]

SIAM J. Comput., 1981

Fragments of Relations: First Hack.

[BibT_eX]

Proceedings of the XP2 Workshop on Relational Database Theory, 1981

Optimal Wiring between Rectangles

[BibT_eX]

[DOI]

Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981

Properties of Acyclic Database Schemes

[BibT_eX]

[DOI]

Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981

A View of Directions in Relational Database Theory.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1981

1980

Adequacy of Decompositions of Relational Databases.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1980

A Scheme for the Automatic Inference of Variable Types.

[BibT_eX]

[DOI]

Marc A. Kaplan

J. ACM, 1980

Universal Instances.

[BibT_eX]

Proceedings of the XP1 Workshop on Relational Database Theory, 30 June, 1980

System/U: A Database System Based on the Universal Relation Assumption.

[BibT_eX]

Henry F. Korth

Proceedings of the XP1 Workshop on Relational Database Theory, 30 June, 1980

A Complete Axiomatization for a Large Class of Dependencies in Relational Databases

[BibT_eX]

[DOI]

Proceedings of the 12th Annual ACM Symposium on Theory of Computing, 1980

The Interaction between Functional Dependencies and Template Dependencies.

[BibT_eX]

[DOI]

Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data, 1980

The Compilation of Regular Expressions into Integrated Circuits (Extended Abstract)

[BibT_eX]

[DOI]

Robert W. Floyd

Proceedings of the 21st Annual Symposium on Foundations of Computer Science, 1980

Principles of Database Systems, 1st Edition

[BibT_eX]

Computer Science Press, 1980

1979

Optimal Partial-Match Retrieval When Fields Are Independently Specified.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1979

Efficient Optimization of a Class of Relational Expressions.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1979

The Theory of Joins in Relational Databases.

[BibT_eX]

[DOI]

Catriel Beeri

ACM Trans. Database Syst., 1979

Equivalences Among Relational Expressions.

[BibT_eX]

[DOI]

SIAM J. Comput., 1979

The Universality of Data Retrieval Languages.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

Modeling Communications Protocols by Automata

[BibT_eX]

[DOI]

Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979

Introduction to Automata Theory, Languages and Computation.

[BibT_eX]

Addison-Wesley, ISBN: 0-201-02988-X, 1979

1978

Efficient Optimization of a Class of Relational Expressions (Abstract).

[BibT_eX]

[DOI]

Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, USA, May 31, 1978

A General Scheme for the Automatic Inference of Variable Types.

[BibT_eX]

[DOI]

Marc A. Kaplan

Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion).

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977

A Model of Statistical Databases and Their Security.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1977

Economy of Description by Parsers, DPDA'S, and PDA'S.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1977

Evaluating Relational Expressions with Dense and Sparse Arguments.

[BibT_eX]

[DOI]

SIAM J. Comput., 1977

Finding the Depth of a Flow Graph.

[BibT_eX]

[DOI]

Amelia C. Fong

J. Comput. Syst. Sci., 1977

Code Generation for Expressions with Common Subexpressions.

[BibT_eX]

[DOI]

Stephen C. Johnson

J. ACM, 1977

Operations on Sparse Relations.

[BibT_eX]

[DOI]

Harry B. Hunt III

Commun. ACM, 1977

Monotone Data Flow Analysis Frameworks.

[BibT_eX]

[DOI]

Acta Informatica, 1977

Code Generation for Machines with Multiregister Operations.

[BibT_eX]

[DOI]

Stephen C. Johnson

Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977

The Theory of Joins in Relational Data Bases (Extended Abstract)

[BibT_eX]

[DOI]

Catriel Beeri

Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1976

On Finding Lowest Common Ancestors in Trees.

[BibT_eX]

[DOI]

SIAM J. Comput., 1976

Node Listings for Reducible Flow Graphs.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1976

Global Data Flow Analysis and Iterative Algorithms.

[BibT_eX]

[DOI]

J. ACM, 1976

Bounds on the Complexity of the Longest Common Subsequence Problem.

[BibT_eX]

[DOI]

Daniel S. Hirschberg

J. ACM, 1976

Protection in Operating Systems.

[BibT_eX]

[DOI]

Michael A. Harrison

Walter L. Ruzzo

Commun. ACM, 1976

Induction Variables in Very High Level Languages.

[BibT_eX]

[DOI]

Amelia C. Fong

Proceedings of the Conference Record of the Third ACM Symposium on Principles of Programming Languages, 1976

1975

A Simple Algorithm for Global Data Flow Analysis Problems.

[BibT_eX]

[DOI]

SIAM J. Comput., 1975

Evaluating Polynomials at Fixed Sets of Points.

[BibT_eX]

[DOI]

Kenneth Steiglitz

SIAM J. Comput., 1975

NP-Complete Scheduling Problems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1975

On the Complexity of LR(k) Testing.

[BibT_eX]

[DOI]

Harry B. Hunt III

Commun. ACM, 1975

Deterministic Parsing of Ambiguous Grammars.

[BibT_eX]

[DOI]

Stephen C. Johnson

Commun. ACM, 1975

On Protection in Operating System.

[BibT_eX]

[DOI]

Michael A. Harrison

Walter L. Ruzzo

Proceedings of the Fifth Symposium on Operating System Principles, 1975

Application of Lattice Algebra to Loop Optimization.

[BibT_eX]

[DOI]

Amelia C. Fong

Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

Economy of Descriptions by Parsers, DPDA's, and PDA's

[BibT_eX]

[DOI]

Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975

1974

Dynamic Memories with Rapid Random and Sequential Access.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1974

Worst-Case Performance Bounds for Simple One-Dimensional Packing Algorithms.

[BibT_eX]

[DOI]

SIAM J. Comput., 1974

Characterizations of Reducible Flow Graphs.

[BibT_eX]

[DOI]

J. ACM, 1974

Operations on Sparse Relations and Efficient Algorithms for Grammar Problems (Extended Abstract)

[BibT_eX]

[DOI]

Harry B. Hunt III

Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974

Bounds on the Complexity of the Longest Common Subsequence Problem (Extended Abstract)

[BibT_eX]

[DOI]

Daniel S. Hirschberg

Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974

The Design and Analysis of Computer Algorithms.

[BibT_eX]

Addison-Wesley, ISBN: 0-201-00029-6, 1974

1973

Parsing Algorithms with Backtrack

[BibT_eX]

[DOI]

Alexander Birman

Inf. Control., August, 1973

Set Merging Algorithms.

[BibT_eX]

[DOI]

SIAM J. Comput., 1973

A Technique for Speeding up LR(k) Parsers.

[BibT_eX]

[DOI]

SIAM J. Comput., 1973

Error Detection in Precedence Parsers.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1973

Fast Algorithms for the Elimination of Common Subexpressions

[BibT_eX]

Acta Informatica, 1973

Polynomial Complete Scheduling Problems.

[BibT_eX]

[DOI]

Proceedings of the Fourth Symposium on Operating System Principles, 1973

Analysis of a Simple Algorithm for Global Flow Problems.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973

The theory of parsing, translation, and compiling. 2: Compiling.

[BibT_eX]

[DOI]

Prentice-Hall, ISBN: 0139145648, 1973

1972

Flow Graph Reducibility.

[BibT_eX]

[DOI]

SIAM J. Comput., 1972

Optimization of Straight Line Programs.

[BibT_eX]

[DOI]

SIAM J. Comput., 1972

The Transitive Reduction of a Directed Graph.

[BibT_eX]

[DOI]

M. R. Garey

SIAM J. Comput., 1972

Optimization of LR(k) Parsers.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1972

Equivalence of Programs with Structured Variables.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1972

A Note on the Efficiency of Hashing Functions.

[BibT_eX]

[DOI]

J. ACM, 1972

Weak and Mixed Strategy Precedence Parsing.

[BibT_eX]

[DOI]

Peter J. Denning

J. ACM, 1972

Worst-Case Analysis of Memory Allocation Algorithms

[BibT_eX]

[DOI]

M. R. Garey

Ronald L. Graham

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972

A Fast Algorithm for the Elimination of Common Subexpressions

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Symposium on Switching and Automata Theory, 1972

Applications of language theory to compiler design.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

The theory of parsing, translation, and compiling. 1: Parsing

[BibT_eX]

[DOI]

Prentice-Hall, ISBN: 0139145567, 1972

1971

Translations on a Context-Free Grammar

[BibT_eX]

[DOI]

Inf. Control., December, 1971

Characterizations and Extensions of Pushdown Translations.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1971

Principles of Optimal Page Replacement.

[BibT_eX]

[DOI]

Peter J. Denning

J. ACM, 1971

The Care and Feeding of LR(k) Grammars

[BibT_eX]

[DOI]

Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, 1971

1970

On the Computational Power of Pushdown Automata.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1970

A Characterization of Two-Way Deterministic Classes of Languages.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1970

The Generation of Optimal Code for Arithmetic Expressions.

[BibT_eX]

[DOI]

Ravi Sethi

J. ACM, 1970

Transformations on Straight Line Programs-Preliminary Version

[BibT_eX]

[DOI]

Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970

A formal approach to code optimization.

[BibT_eX]

[DOI]

Ravi Sethi

Proceedings of a Symposium on Compiler Optimization, 1970

1969

Universal Single Transition Time Asynchronous State Assignments.

[BibT_eX]

[DOI]

Arthur D. Friedman

Ronald L. Graham

IEEE Trans. Computers, 1969

A General Theory of Translation.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1969

Properties of Syntax Directed Translations.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1969

Syntax Directed Translations and the Pushdown Assembler.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1969

Halting Stack Automata.

[BibT_eX]

[DOI]

J. ACM, 1969

Some Results on Tape-Bounded Turing Machines.

[BibT_eX]

[DOI]

J. ACM, 1969

Formal languages and their relation to automata.

[BibT_eX]

[DOI]

Addison-Wesley series in computer science and information processing, Addison-Wesley, ISBN: 0201029839, 1969

1968

Time and Tape Complexity of Pushdown Automaton Languages

[BibT_eX]

[DOI]

Inf. Control., September, 1968

Sets Accepted by One-Way Stack Automata Are Context Sensitive

[BibT_eX]

[DOI]

Inf. Control., August, 1968

The Theory of Languages.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1968

Deterministic Stack Automata and the Quotient Operator.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1968

Relations Between Time and Tape Complexities.

[BibT_eX]

[DOI]

J. ACM, 1968

Decidable and Undecidable Questions About Automata.

[BibT_eX]

[DOI]

J. ACM, 1968

Universal Two State Machines: Characterization Theorems and Decomposition Schemes

[BibT_eX]

[DOI]

Peter Weiner

Proceedings of the 9th Annual Symposium on Switching and Automata Theory, 1968

Automaton Analogs of Syntax Directed Translation Schemata

[BibT_eX]

[DOI]

Proceedings of the 9th Annual Symposium on Switching and Automata Theory, 1968

A recognition algorithm for pushdown store systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM national conference, 1968

1967

On the capabilities of codes to correct synchronization errors.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 1967

Nonerasing Stack Automata.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1967

An Approach to a Unified Theory of Automata

[BibT_eX]

[DOI]

Proceedings of the 8th Annual Symposium on Switching and Automata Theory, 1967

Two Results on One-Way Stack Automata

[BibT_eX]

[DOI]

Proceedings of the 8th Annual Symposium on Switching and Automata Theory, 1967

1966

Near-optimal, single-synchronization-error-correcting code.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 1966

1965

Decoding of Cyclic Codes Using Position Invariant Functions.

[BibT_eX]

[DOI]