Alin Deutsch

Amarnath Gupta

Babak Salimi

SIGMOD Rec., 2022

Graph Pattern Matching in GQL and SQL/PGQ.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2021

Vertex-centric Parallel Computation of SQL Queries.

[BibT_eX]

[DOI]

Ainur Smagulova

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2020

ESTOCADA: Towards Scalable Polystore Systems.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2020

Aggregation Support for Modern Graph Analytics in TigerGraph.

[BibT_eX]

[DOI]

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

2019

Verification of Hierarchical Artifact Systems.

[BibT_eX]

[DOI]

Yuliang Li

ACM Trans. Database Syst., 2019

TigerGraph: A Native MPP Graph Database.

[BibT_eX]

[DOI]

CoRR, 2019

Ariadne: Online Provenance for Big Graph Analytics.

[BibT_eX]

[DOI]

Vicky Papavasileiou

Ken Yocum

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

Towards Scalable Hybrid Stores: Constraint-Based Rewriting to the Rescue.

[BibT_eX]

[DOI]

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

2018

Chase.

[BibT_eX]

[DOI]

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

FOL Modeling of Integrity Constraints (Dependencies).

[BibT_eX]

[DOI]

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

Automatic verification of database-centric systems.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2018

Graph Data Models, Query Languages and Programming Paradigms.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2018

Querying Graph Databases with the GSQL Query Language.

[BibT_eX]

[DOI]

Proceedings of the XXXIII Simpósio Brasileiro de Banco de Dados, 2018

2017

VERIFAS: A Practical Verifier for Artifact Systems.

[BibT_eX]

[DOI]

Yuliang Li

Proc. VLDB Endow., 2017

A Spin-based Verifier for Artifact Systems.

[BibT_eX]

[DOI]

Yuliang Li

CoRR, 2017

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

Flexible hybrid stores: Constraint-based rewriting to the rescue.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

Datalography: Scaling datalog graph analytics on graph processing systems.

[BibT_eX]

[DOI]

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

2015

Toward Scalable Hybrid Stores.

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Invisible Glue: Scalable Self-Tunning Multi-Stores.

[BibT_eX]

[DOI]

Proceedings of the Seventh Biennial Conference on Innovative Data Systems Research, 2015

2014

Automatic Verification of Database-Centric Systems.

[BibT_eX]

[DOI]

Richard Hull

SIGMOD Rec., 2014

Complete yet practical search for minimal query reformulations under constraints.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Management of Data, 2014

State-Boundedness in Data-Aware Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Verification of Human Driven Data-Centric Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Automating the database schema evolution process.

[BibT_eX]

[DOI]

VLDB J., 2013

Rewriting XPath Queries using View Intersections: Tractability versus Completeness.

[BibT_eX]

[DOI]

CoRR, 2013

Abstractions for genomics.

[BibT_eX]

[DOI]

Commun. ACM, 2013

Verification of relational data-centric dynamic systems with external services.

[BibT_eX]

[DOI]

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

Provenance-Directed Chase&Backchase.

[BibT_eX]

[DOI]

Richard Hull

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

Trajectory and Policy Aware Sender Anonymity in Location Based Services

[BibT_eX]

[DOI]

CoRR, 2012

2011

Querying XML data sources that export very large sets of views.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2011

Querying Data Sources that Export Infinite Sets of Views.

[BibT_eX]

[DOI]

Bogdan Cautis

Nicola Onose

Theory Comput. Syst., 2011

ASTERIX: towards a scalable, semistructured data platform for evolving-world models.

[BibT_eX]

[DOI]

Vassilis J. Tsotras

Distributed Parallel Databases, 2011

Foundations of distributed data management (Dagstuhl Seminar 11421).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2011

Querying contract databases based on temporal behavior.

[BibT_eX]

[DOI]

Elio Damaggio

Dayou Zhou

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

Score-consistent algebraic optimization of full-text search queries with GRAFT.

[BibT_eX]

[DOI]

Nathan Bales

Vasilis Vassalos

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

Automatic Verification of Data-Centric Business Processes.

[BibT_eX]

[DOI]

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

2010

Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2010

Load-balanced query dissemination in privacy-aware online communities.

[BibT_eX]

[DOI]

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

Inconsistency resolution in online databases.

[BibT_eX]

[DOI]

Vasilis Vassalos

Proceedings of the 26th International Conference on Data Engineering, 2010

Policy-aware sender anonymity in location based services.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Data Engineering, 2010

2009

Chase.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

FOL Modeling of Integrity Constraints (Dependencies).

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Efficient Rewriting of XPath Queries Using Query Set Specifications.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2009

FORWARD: Design Specification Techniques for Do-It-Yourself Application Platforms.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on the Web and Databases, 2009

Automatic verification of data-centric business processes.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2009

Do-It-Yourself custom forms-driven workflow applications.

[BibT_eX]

[DOI]

Proceedings of the Fourth Biennial Conference on Innovative Data Systems Research, 2009

2008

Privacy in Database Publishing: A Bayesian Perspective.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Database Security - Applications and Trends, 2008

Managing and querying transaction-time databases under schema evolution.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2008

RIDE: a tool for interactive source registration in community-oriented information integration.

[BibT_eX]

[DOI]

Kevin Keliang Zhao

Proc. VLDB Endow., 2008

Interactive source registration in community-oriented information integration.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2008

XTreeNet: democratic community search.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2008

WAVE: Automatic Verification of Data-Driven Web Services.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2008

XPath Rewriting Using Multiple Views: Achieving Completeness and Efficiency.

[BibT_eX]

[DOI]

Bogdan Cautis

Nicola Onose

Proceedings of the 11th International Workshop on the Web and Databases, 2008

The chase revisited.

[BibT_eX]

[DOI]

Jeffrey B. Remmel

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

2007

Exporting and interactively querying Web service-accessed sources: The CLIDE System.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2007

Rewriting queries using views with access patterns under integrity constraints.

[BibT_eX]

[DOI]

Bertram Ludäscher

Theor. Comput. Sci., 2007

Specification and verification of data-driven Web applications.

[BibT_eX]

[DOI]

Liying Sui

J. Comput. Syst. Sci., 2007

CLIDE: interactive query formulation for service oriented architectures.

[BibT_eX]

[DOI]

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

Privacy in GLAV Information Integration.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2007

2006

Query reformulation with constraints.

[BibT_eX]

[DOI]

Lucian Popa

SIGMOD Rec., 2006

Interactive query formulation over web service-accessed sources.

[BibT_eX]

[DOI]

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

Rewriting nested XML queries using nested views.

[BibT_eX]

[DOI]

Nicola Onose

Emiran Curtmola

Proceedings of the ACM SIGMOD International Conference on Management of Data, 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

Flexible and efficient XML search with complex full-text predicates.

[BibT_eX]

[DOI]

Sihem Amer-Yahia

Emiran Curtmola

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

XML queries and constraints, containment and reformulation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

A Verifier for Interactive, Data-Driven Web Applications.

[BibT_eX]

[DOI]

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

Building an XQuery interpreter in a compiler construction course.

[BibT_eX]

[DOI]

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Determining source contribution in integration systems.

[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

Privacy in Database Publishing.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2005

Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM).

[BibT_eX]

[DOI]

Ioanna Koffina

Giorgos Serfiotis

Vassilis Christophides

Proceedings of the Semantic Interoperability and Integration, 2005

2004

The NEXT Logical Framework for XQuery.

[BibT_eX]

[DOI]

Yu Xu

Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 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

Minimization and Group-By Detection for Nested XQueries.

[BibT_eX]

[DOI]

Yu Xu

Proceedings of the 20th International Conference on Data Engineering, 2004

2003

The Query Set Specification Language (QSSL).

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Web and Databases, 2003

MARS: A System for Publishing XML from Mixed and Redundant Storage.

[BibT_eX]

[DOI]

Proceedings of 29th International Conference on Very Large Data Bases, 2003

Reformulation of XML Queries and Constraints.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2003

2001

Containment and Integrity Constraints for XPath

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), 2001

Optimization Properties for Classes of Conjunctive Regular Path Queries.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 8th International Workshop, 2001

2000

A Chase Too Far?

[BibT_eX]

[DOI]

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

1999

Querying XML Data.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1999

A Query Language for XML.

[BibT_eX]

[DOI]

Comput. Networks, 1999

Physical Data Independence, Constraints, and Optimization with Universal Plans

[BibT_eX]

[DOI]

Lucian Popa

Proceedings of the VLDB'99, 1999

Storing Semistructured Data with STORED.

[BibT_eX]

[DOI]

Mary F. Fernández

Dan Suciu

Proceedings of the SIGMOD 1999, 1999

1998

XML-QL.

[BibT_eX]

[DOI]

Proceedings of the Query Languages Workshop, Boston, 1998

Beyond XML Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Query Languages Workshop, Boston, 1998

1996

Design, Implementation and Management of Rules in an Active Database System.

[BibT_eX]

[DOI]

Jürgen Zimmermann

Holger Branding

Alejandro P. Buchmann

Andreas Geppert

Proceedings of the Database and Expert Systems Applications, 7th International Conference, 1996

1995

The REACH Active OODBMS.

[BibT_eX]

[DOI]

Alejandro P. Buchmann