Victor Vianu

Amarnath Gupta

Babak Salimi

SIGMOD Rec., 2022

2021

Datalog Unchained.

[BibT_eX]

[DOI]

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

2020

Projection Views of Register Automata.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

2019

Verification of Hierarchical Artifact Systems.

[BibT_eX]

[DOI]

Yuliang Li

ACM Trans. Database Syst., 2019

2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award.

[BibT_eX]

[DOI]

Jianwen Su

Dirk Van Gucht

Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

2018

Computationally Complete Relational Query Languages.

[BibT_eX]

[DOI]

Dirk Van Gucht

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Automatic verification of database-centric systems.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).

[BibT_eX]

[DOI]

Dagstuhl Manifestos, 2018

Explanations and Transparency in Collaborative Workflows.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

2017

VERIFAS: A Practical Verifier for Artifact Systems.

[BibT_eX]

[DOI]

Yuliang Li

Proc. VLDB Endow., 2017

Process-centric views of data-driven business artifacts.

[BibT_eX]

[DOI]

Adrien Koutsos

J. Comput. Syst. Sci., 2017

A Spin-based Verifier for Artifact Systems.

[BibT_eX]

[DOI]

Yuliang Li

CoRR, 2017

2016

Research Directions for Principles of Data Management (Abridged).

[BibT_eX]

[DOI]

SIGMOD Rec., 2016

Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes.

[BibT_eX]

[DOI]

Fenno F. Terry Heath III

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

A Formal Study of Collaborative Access Control in Distributed Datalog.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Database Theory, 2016

2015

Highly Expressive Query Languages for Unordered Data Trees.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2015

Analysis of Data-Centric Workfows.

[BibT_eX]

[DOI]

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014

Automatic Verification of Database-Centric Systems.

[BibT_eX]

[DOI]

Richard Hull

SIGMOD Rec., 2014

Foreword to Invited Articles Section.

[BibT_eX]

[DOI]

J. ACM, 2014

Deduction with Contradictions in Datalog.

[BibT_eX]

[DOI]

Daniel Deutch

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

2013

Editorial: JACM redux.

[BibT_eX]

[DOI]

J. ACM, 2013

What is a flagship publication?

[BibT_eX]

[DOI]

Commun. ACM, 2013

Collaborative data-driven workflows: think global, act local.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Models for Data-Centric Workflows.

[BibT_eX]

[DOI]

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012

Artifact systems with data dependencies and arithmetic.

[BibT_eX]

[DOI]

Elio Damaggio

ACM Trans. Database Syst., 2012

Comparing workflow specification languages: A matter of views.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2012

Invited article foreword.

[BibT_eX]

[DOI]

J. ACM, 2012

The ERC webdam on foundations of web data management.

[BibT_eX]

[DOI]

Pierre Senellart

Proceedings of the 21st World Wide Web Conference, 2012

2011

Invited articles foreword.

[BibT_eX]

[DOI]

J. ACM, 2011

Introduction to <i>JACM</i> invited article.

[BibT_eX]

[DOI]

J. ACM, 2011

Automatic Verification of Data-Centric Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 9th International Conference, 2011

2010

Views and queries: Determinacy and rewriting.

[BibT_eX]

[DOI]

Alan Nash

ACM Trans. Database Syst., 2010

Invited articles section foreword.

[BibT_eX]

[DOI]

J. ACM, 2010

Editorial: JACM at the start of a new decade.

[BibT_eX]

[DOI]

J. ACM, 2010

<i>JACM</i> at the start of a new decade.

[BibT_eX]

[DOI]

Commun. ACM, 2010

2009

Computationally Complete Relational Query Languages.

[BibT_eX]

[DOI]

Dirk Van Gucht

Proceedings of the Encyclopedia of Database Systems, 2009

Static analysis of active XML systems.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2009

Introduction to PODS 2006 special section.

[BibT_eX]

[DOI]

Jan Van den Bussche

J. ACM, 2009

Introduction to PODS 2007 special section.

[BibT_eX]

[DOI]

Leonid Libkin

J. ACM, 2009

Modeling and Verifying Active XML Artifacts.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2009

Automatic verification of database-driven systems: a new frontier.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2009

Automatic verification of data-centric business processes.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2009

2008

Database theory column.

[BibT_eX]

[DOI]

SIGACT News, 2008

WAVE: Automatic Verification of Data-Driven Web Services.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2008

08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

2007

Specification and verification of data-driven Web applications.

[BibT_eX]

[DOI]

Liying Sui

J. Comput. Syst. Sci., 2007

Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report.

[BibT_eX]

[DOI]

Alan Nash

Proceedings of the Database Theory, 2007

2006

Representing and querying XML with incomplete information.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2006

Introduction.

[BibT_eX]

[DOI]

Dan Suciu

J. ACM, 2006

A system for specification and verification of interactive, data-driven web applications.

[BibT_eX]

[DOI]

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

Verification of communicating data-driven web services.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

2005

In memory of Seymour Ginsburg 1928 - 2004.

[BibT_eX]

[DOI]

Daniel J. Rosenkrantz

Jeffrey D. Ullman

SIGMOD Rec., 2005

Introduction.

[BibT_eX]

[DOI]

Tova Milo

J. ACM, 2005

A Verifier for Interactive, Data-Driven Web Applications.

[BibT_eX]

[DOI]

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

Views and queries: determinacy and rewriting.

[BibT_eX]

[DOI]

Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 5th International Conference, 2005

PTIME Queries Revisited.

[BibT_eX]

[DOI]

Alan Nash

Jeffrey B. Remmel

Proceedings of the Database Theory, 2005

2004

Incremental validation of XML documents.

[BibT_eX]

[DOI]

Andrey Balmin

ACM Trans. Database Syst., 2004

Finite state machines for strings over infinite alphabets.

[BibT_eX]

[DOI]

Frank Neven

Thomas Schwentick

ACM Trans. Comput. Log., 2004

Foreword.

[BibT_eX]

[DOI]

Phokion G. Kolaitis

J. ACM, 2004

Specification and Verification of Data-driven Web Services.

[BibT_eX]

[DOI]

Liying Sui

Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

2003

Typechecking XML views of relational databases.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2003

A Web odyssey: from codd to XML.

[BibT_eX]

[DOI]

SIGMOD Rec., 2003

Typechecking for XML transformers.

[BibT_eX]

[DOI]

Tova Milo

Dan Suciu

J. Comput. Syst. Sci., 2003

XML with data values: typechecking revisited.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2003

Logic as a Query Language: From Frege to XML.

[BibT_eX]

[DOI]

Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003

XML: From Practice to Theory.

[BibT_eX]

Proceedings of the XVIII Simpósio Brasileiro de Bancos de Dados, 2003

Incremental Validation of XML Documents.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2003

2002

Validating Streaming XML Documents.

[BibT_eX]

[DOI]

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

2001

On the unusual effectiveness of logic in computer science.

[BibT_eX]

[DOI]

Bull. Symb. Log., 2001

Towards Regular Languages over Infinite Alphabets.

[BibT_eX]

[DOI]

Frank Neven

Thomas Schwentick

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

2000

Queries and computation on the web.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Reminiscences on Influential Papers.

[BibT_eX]

SIGMOD Rec., 2000

SIGMOD Sister Societies.

[BibT_eX]

[DOI]

Stefano Ceri

Leonid A. Kalinichenko

SIGMOD Rec., 2000

Querying Spatial Databases via Topological Invariants.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2000

Relational Transducers for Electronic Commerce.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2000

Review - Exact and Approximate Aggregation in Constraint Query.

[BibT_eX]

[DOI]

ACM SIGMOD Digit. Rev., 2000

Review - On Instance-Completeness for Database Query Languages involving Object Creation.

[BibT_eX]

[DOI]

ACM SIGMOD Digit. Rev., 2000

Review - Hypothetical Datalog: Complexity and Expressibility.

[BibT_eX]

[DOI]

ACM SIGMOD Digit. Rev., 2000

Review - Computable Queries for Relational Data Bases.

[BibT_eX]

[DOI]

ACM SIGMOD Digit. Rev., 2000

DTD Inference for Views of XML Data.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

Topological Queries.

[BibT_eX]

Bart Kuijpers

Proceedings of the Constraint Databases, 2000

Finite and Infinite in Logic.

[BibT_eX]

[DOI]

Christos H. Papadimitriou

Proceedings of the Finite Versus Infinite, 2000

1999

Topological Queries in Spatial Databases.

[BibT_eX]

[DOI]

Dan Suciu

J. Comput. Syst. Sci., 1999

Regular Path Queries with Constraints.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1999

Topological Queries in Spatial Databases.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

A Probabilistic View of Datalog Parallelization.

[BibT_eX]

[DOI]

Sérgio Lifschitz

Theor. Comput. Sci., 1998

Semantics and Expressiveness Issues in Active Databases.

[BibT_eX]

[DOI]

Philippe Picouet

J. Comput. Syst. Sci., 1998

Reflective Relational Machines.

[BibT_eX]

[DOI]

Christos H. Papadimitriou

Inf. Comput., 1998

Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation.

[BibT_eX]

[DOI]

Chaitanya K. Baru

Bertram Ludäscher

Pavel E. Velikhov

Proceedings of the Query Languages Workshop, Boston, 1998

Active Views for Electronic Commerce.

[BibT_eX]

Proceedings of the 14ème Journées Bases de Données Avancées, 1998

1997

Fixpoint logics, relational machines, and computational complexity.

[BibT_eX]

[DOI]

J. ACM, 1997

Rule-Based Languages.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1997

Expressiveness and Complexity of Active Databases.

[BibT_eX]

[DOI]

Philippe Picouet

Proceedings of the Database Theory, 1997

1996

Databases and Finite-Model Theory.

[BibT_eX]

[DOI]

Proceedings of the Descriptive Complexity and Finite Models, 1996

Modélisation Formelle des Bases de Données Actives.

[BibT_eX]

Philippe Picouet

Proceedings of the 12èmes Journées Bases de Données Avancées, 1996

1995

Computing with Infinitary Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

Tractable Query Languages for Complex Object Databases.

[BibT_eX]

[DOI]

Stéphane Grumbach

J. Comput. Syst. Sci., 1995

Computing with First-Order Logic.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1995

Foundations of Databases.

[BibT_eX]

[DOI]

Richard Hull

Addison-Wesley, ISBN: 0-201-53771-0, 1995

1994

The Power of Reflective Relational Machines

[BibT_eX]

[DOI]

Christos H. Papadimitriou

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993

Static and Dynamic Aspects of Goal-Oriented Concurrency Control.

[BibT_eX]

[DOI]

Gottfried Vossen

Ann. Math. Artif. Intell., 1993

Database Method Schemas and Object Creation.

[BibT_eX]

[DOI]

Karl Denninghoff

Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

Computing on Structures.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

Expressive Power of Query Languages.

[BibT_eX]

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Conceptual Level Concurrency Control of Relational Update Transactions.

[BibT_eX]

[DOI]

Gottfried Vossen

Theor. Comput. Sci., 1992

Queries Are Easier Than You Thought (Probably).

[BibT_eX]

[DOI]

Kevin J. Compton

Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

1991

Simplification Rules and Complete Axiomatization for Relational Update Transactions.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1991

Datalog Extensions for Database Queries and Updates.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1991

Non-Determinism in Logic-Based Languages.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1991

The Power of Methods With Parallel Semantics.

[BibT_eX]

[DOI]

Karl Denninghoff

Proceedings of the 17th International Conference on Very Large Data Bases, 1991

Generic Computation and Its Complexity

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991

Expressiveness and Complexity of Restricted Languages for Complex Objects.

[BibT_eX]

Stéphane Grumbach

Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990

Parallel Update Transactions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

New Hope on Data Models and Types: Report of an NSF-INRIA Workshop.

[BibT_eX]

[DOI]

SIGMOD Rec., 1990

Procedural Languages for Database Queries and Updates.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1990

Non-Deterministic Languages to Express Deterministic Transformations.

[BibT_eX]

[DOI]

Eric Simon

Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

Playing Games with Objects.

[BibT_eX]

[DOI]

Stéphane Grumbach

Proceedings of the ICDT'90, 1990

1989

A transaction-based approach to relational database specification.

[BibT_eX]

[DOI]

J. ACM, 1989

Goal-Oriented Concurrency Control.

[BibT_eX]

[DOI]

Gottfried Vossen

Proceedings of the MFDBS 89, 1989

Fixpoint Extensions of First-Order Logic and Datalog-Like Languages

[BibT_eX]

[DOI]

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

1988

A Dynamic Framework for Object Projection Views.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1988

Equivalence and optimization of relational transactions.

[BibT_eX]

[DOI]

J. ACM, 1988

Relational Translations of Semantic Models: A Case Study Based on Iris.

[BibT_eX]

[DOI]

Peter Lyngbæk

IEEE Data Eng. Bull., 1988

Database Survivability Under Dynamic Constraints.

[BibT_eX]

[DOI]

Acta Informatica, 1988

Procedural and Declarative Database Update Languages.

[BibT_eX]

[DOI]

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

The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

Parallel Update Transactions (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

1987

Dynamic functional dependencies and database aging.

[BibT_eX]

[DOI]

J. ACM, 1987

Mapping a Semantic Database Model to the Relational Model.

[BibT_eX]

[DOI]

Peter Lyngbæk

Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Axiomatization and Simplification Rules for Relational Transactions.

[BibT_eX]

[DOI]

Almira Karabeg

Kostoula Papakonstantinou

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

A Transcation Language Complete for Database Update and Specification.

[BibT_eX]

[DOI]

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

1986

Deciding Properties of Transactional Schemas.

[BibT_eX]

[DOI]

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

1985

Transactions and Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1985

1984

Transactions in Relational Databases (Preliminary Report).

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

Object Projection Views in the Dynamic Relational Model.

[BibT_eX]

[DOI]

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

1983

Dynamic Constraints and Database Evolution.

[BibT_eX]

[DOI]

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

1981

Tableaux which Define Expression Mappings.

[BibT_eX]

Tim Connors

Proceedings of the XP2 Workshop on Relational Database Theory, 1981

1977

The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space.

[BibT_eX]

[DOI]