Alin Deutsch

Affiliations:
  • University of California, San Diego, USA


According to our database1, Alin Deutsch authored at least 92 papers between 1995 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Vertex-centric Parallel Computation of SQL Queries.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

HADAD: A Lightweight Approach for Optimizing Hybrid Complex Analytics Queries.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2020
ESTOCADA: Towards Scalable Polystore Systems.
Proc. VLDB Endow., 2020

Aggregation Support for Modern Graph Analytics in TigerGraph.
Proceedings of the 2020 International Conference on Management of Data, 2020

2019
Verification of Hierarchical Artifact Systems.
ACM Trans. Database Syst., 2019

TigerGraph: A Native MPP Graph Database.
CoRR, 2019

Ariadne: Online Provenance for Big Graph Analytics.
Proceedings of the 2019 International Conference on Management of Data, 2019

Towards Scalable Hybrid Stores: Constraint-Based Rewriting to the Rescue.
Proceedings of the 2019 International Conference on Management of Data, 2019

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

FOL Modeling of Integrity Constraints (Dependencies).
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Automatic verification of database-centric systems.
ACM SIGLOG News, 2018

Graph Data Models, Query Languages and Programming Paradigms.
Proc. VLDB Endow., 2018

Querying Graph Databases with the GSQL Query Language.
Proceedings of the XXXIII Simpósio Brasileiro de Banco de Dados, 2018

2017
VERIFAS: A Practical Verifier for Artifact Systems.
Proc. VLDB Endow., 2017

A Spin-based Verifier for Artifact Systems.
CoRR, 2017

2016
Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Flexible hybrid stores: Constraint-based rewriting to the rescue.
Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

Datalography: Scaling datalog graph analytics on graph processing systems.
Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015
Toward Scalable Hybrid Stores.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Invisible Glue: Scalable Self-Tunning Multi-Stores.
Proceedings of the Seventh Biennial Conference on Innovative Data Systems Research, 2015

2014
Automatic Verification of Database-Centric Systems.
SIGMOD Rec., 2014

Complete yet practical search for minimal query reformulations under constraints.
Proceedings of the International Conference on Management of Data, 2014

State-Boundedness in Data-Aware Dynamic Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Verification of Human Driven Data-Centric Dynamic Systems.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Automating the database schema evolution process.
VLDB J., 2013

Rewriting XPath Queries using View Intersections: Tractability versus Completeness.
CoRR, 2013

Abstractions for genomics.
Commun. ACM, 2013

Verification of relational data-centric dynamic systems with external services.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Provenance-Directed Chase&Backchase.
Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012
Artifact systems with data dependencies and arithmetic.
ACM Trans. Database Syst., 2012

Trajectory and Policy Aware Sender Anonymity in Location Based Services
CoRR, 2012

2011
Querying XML data sources that export very large sets of views.
ACM Trans. Database Syst., 2011

Querying Data Sources that Export Infinite Sets of Views.
Theory Comput. Syst., 2011

ASTERIX: towards a scalable, semistructured data platform for evolving-world models.
Distributed Parallel Databases, 2011

Foundations of distributed data management (Dagstuhl Seminar 11421).
Dagstuhl Reports, 2011

Querying contract databases based on temporal behavior.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

Score-consistent algebraic optimization of full-text search queries with GRAFT.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

Automatic Verification of Data-Centric Business Processes.
Proceedings of the Business Process Management - 9th International Conference, 2011

2010
Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++.
Proc. VLDB Endow., 2010

Load-balanced query dissemination in privacy-aware online communities.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

Inconsistency resolution in online databases.
Proceedings of the 26th International Conference on Data Engineering, 2010

Policy-aware sender anonymity in location based services.
Proceedings of the 26th International Conference on Data Engineering, 2010

2009
Chase.
Proceedings of the Encyclopedia of Database Systems, 2009

FOL Modeling of Integrity Constraints (Dependencies).
Proceedings of the Encyclopedia of Database Systems, 2009

Efficient Rewriting of XPath Queries Using Query Set Specifications.
Proc. VLDB Endow., 2009

FORWARD: Design Specification Techniques for Do-It-Yourself Application Platforms.
Proceedings of the 12th International Workshop on the Web and Databases, 2009

Automatic verification of data-centric business processes.
Proceedings of the Database Theory, 2009

Do-It-Yourself custom forms-driven workflow applications.
Proceedings of the Fourth Biennial Conference on Innovative Data Systems Research, 2009

2008
Privacy in Database Publishing: A Bayesian Perspective.
Proceedings of the Handbook of Database Security - Applications and Trends, 2008

Managing and querying transaction-time databases under schema evolution.
Proc. VLDB Endow., 2008

RIDE: a tool for interactive source registration in community-oriented information integration.
Proc. VLDB Endow., 2008

Interactive source registration in community-oriented information integration.
Proc. VLDB Endow., 2008

XTreeNet: democratic community search.
Proc. VLDB Endow., 2008

WAVE: Automatic Verification of Data-Driven Web Services.
IEEE Data Eng. Bull., 2008

XPath Rewriting Using Multiple Views: Achieving Completeness and Efficiency.
Proceedings of the 11th International Workshop on the Web and Databases, 2008

The chase revisited.
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.
ACM Trans. Database Syst., 2007

Rewriting queries using views with access patterns under integrity constraints.
Theor. Comput. Sci., 2007

Specification and verification of data-driven Web applications.
J. Comput. Syst. Sci., 2007

CLIDE: interactive query formulation for service oriented architectures.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

Privacy in GLAV Information Integration.
Proceedings of the Database Theory, 2007

2006
Query reformulation with constraints.
SIGMOD Rec., 2006

Interactive query formulation over web service-accessed sources.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Rewriting nested XML queries using nested views.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

A system for specification and verification of interactive, data-driven web applications.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Flexible and efficient XML search with complex full-text predicates.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Verification of communicating data-driven web services.
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

2005
XML queries and constraints, containment and reformulation.
Theor. Comput. Sci., 2005

A Verifier for Interactive, Data-Driven Web Applications.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

Building an XQuery interpreter in a compiler construction course.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Determining source contribution in integration systems.
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.
Proceedings of the Web Engineering, 5th International Conference, 2005

Privacy in Database Publishing.
Proceedings of the Database Theory, 2005

Integrating XML Data Sources using RDF/S Schemas: The ICS-FORTH Semantic Web Integration Middleware (SWIM).
Proceedings of the Semantic Interoperability and Integration, 2005

2004
The NEXT Logical Framework for XQuery.
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.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Minimization and Group-By Detection for Nested XQueries.
Proceedings of the 20th International Conference on Data Engineering, 2004

2003
The Query Set Specification Language (QSSL).
Proceedings of the International Workshop on Web and Databases, 2003

MARS: A System for Publishing XML from Mixed and Redundant Storage.
Proceedings of 29th International Conference on Very Large Data Bases, 2003

Reformulation of XML Queries and Constraints.
Proceedings of the Database Theory, 2003

2001
Containment and Integrity Constraints for XPath
Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), 2001

Optimization Properties for Classes of Conjunctive Regular Path Queries.
Proceedings of the Database Programming Languages, 8th International Workshop, 2001

2000
A Chase Too Far?
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

1999
Querying XML Data.
IEEE Data Eng. Bull., 1999

A Query Language for XML.
Comput. Networks, 1999

Physical Data Independence, Constraints, and Optimization with Universal Plans
Proceedings of the VLDB'99, 1999

Storing Semistructured Data with STORED.
Proceedings of the SIGMOD 1999, 1999

1998
XML-QL.
Proceedings of the Query Languages Workshop, Boston, 1998

Beyond XML Query Languages.
Proceedings of the Query Languages Workshop, Boston, 1998

1996
Design, Implementation and Management of Rules in an Active Database System.
Proceedings of the Database and Expert Systems Applications, 7th International Conference, 1996

1995
The REACH Active OODBMS.
Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995


  Loading...