Graphiti: Bridging Graph and Relational Database Queries

Trinity: An Extensible Synthesis Framework for Data Science

Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, and Isil Dillig. 2019 · 1917

Earlier work this paper cites.

Impossibility of an algorithm for the decision problem in finite classes. In Doklady Akademii Nauk SSSR 70 . 569–572

Boris A Trakhtenbrot. 1950 · 1950

Earlier work this paper cites.

Optimal Implementation of Conjunctive Queries in Relational Data Bases. In Proceedings of the ACM Symposium on Theory of Computing (STOC) . 77–90

Ashok K. Chandra and Philip M. Merlin. 1977 · 1977

Earlier work this paper cites.

Equivalences Among Relational Expressions

Alfred V. Aho, Yehoshua Sagiv, and Jeffrey D. Ullman. 1979 · 1979

Earlier work this paper cites.

Differential Testing for Software

William M. McKeeman. 1998 · 1998

Earlier work this paper cites.

Schema Mapping as Query Discovery. In Proceedings of the International Conference on Very Large Data Bases (VLDB) . 77–88

Renée J. Miller, Laura M. Haas, and Mauricio A. Hernández. 2000 · 2000

Earlier work this paper cites.

Metamorphic testing: a new approach for generating next test cases

Original

Tsong Yueh Chen, S. C. Cheung, and Siu-Ming Yiu. 2020 · 2002

Earlier work this paper cites.

Visualization of mappings between schemas. In Proceedings of the Conference on Human Factors in Computing Systems (CHI) . 431–439

George G. Robertson, Mary Czerwinski, and John E. Churchill. 2005 · 2005

Earlier work this paper cites.

Graceful database schema evolution: the PRISM workbench

Carlo Curino, Hyun Jin Moon, and Carlo Zaniolo. 2008 · 2008

Earlier work this paper cites.

Clio: Schema Mapping Creation and Data Exchange. In Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos (Lecture Notes in Computer Science, Vol. 5600) . 198–236

Ronald Fagin, Laura M. Haas, Mauricio A. Hernández, Renée J. Miller, Lucian Popa, and Yannis Velegrakis. 2009 · 2009

Earlier work this paper cites.

Qex: Symbolic SQL Query Explorer. In International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) . 425–446

Margus Veanes, Nikolai Tillmann, and Jonathan de Halleux. 2010 · 2010

Earlier work this paper cites.

A comparison of a graph database and a relational database: a data provenance perspective. In Proceedings of the Annual Southeast Regional Conference . 42

Chad Vicknair, Michael Macias, Zhendong Zhao, Xiaofei Nan, Yixin Chen, and Dawn Wilkins. 2010 · 2010

Earlier work this paper cites.

Containment of Conjunctive Queries on Annotated Relations

Todd J. Green. 2011 · 2011

Earlier work this paper cites.

Dynamic Provenance for SPARQL Updates Using Named Graphs. In Workshop on the Theory and Practice of Provenance (TaPP)

Harry Halpin and James Cheney. 2011 · 2011

Earlier work this paper cites.

Reconciling manual and automatic refactoring. In International Conference on Software Engineering (ICSE) . 211–221

Xi Ge, Quinton L. DuBose, and Emerson R. Murphy-Hill. 2012 · 2012

Earlier work this paper cites.

Refactoring pattern matching

Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, and Zhenjiang Hu. 2013 · 2012

Earlier work this paper cites.

Optimizing database-backed applications with query synthesis. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) . ACM, 3–14

Alvin Cheung, Armando Solar-Lezama, and Samuel Madden. 2013 · 2013

Earlier work this paper cites.

Automating the database schema evolution process

Carlo Curino, Hyun Jin Moon, Alin Deutsch, and Carlo Zaniolo. 2013 · 2013

Earlier work this paper cites.

Data generation for testing and grading SQL queries

Bikash Chandra, Bhupesh Chawda, Biplab Kar, K. V. Maheshwara Reddy, Shetal Shah, and S. Sudarshan. 2015 · 2015

Earlier work this paper cites.

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) . 689–700

Benjamin Delaware, Clément Pit-Claudel, Jason Gross, and Adam Chlipala. 2015 · 2015

Cited alongside, same era.

The Gremlin graph traversal machine and language (invited talk). In Proceedings of the Symposium on Database Programming Languages (DBPL) . 1–10

Marko A. Rodriguez. 2015 · 2015

Cited alongside, same era.

Fast In-Memory SQL Analytics on Relationships between Entities

Original

Chunbin Lin, Benjamin Mandel, Yannis Papakonstantinou, and Matthias Springer. 2016 · 2016

Cited alongside, same era.

PGQL: a property graph query language. In Proceedings of the International Workshop on Graph Data Management Experiences and Systems (GRADES) . 7

Oskar van Rest, Sungpack Hong, Jinha Kim, Xuming Meng, and Hassan Chafi. 2016 · 2016

Cited alongside, same era.

Repairing serializability bugs in distributed database programs via automated schema refactoring. In ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI) . 32–47

Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan. 2021 · 2021

Later among the works it cites.

Towards a Complete Direct Mapping from Relational Databases to Property Graphs. In Proceedings of the International Conference on Model and Data Engineering (MEDI) . 222–235

Abdelkrim Boudaoud, Houari Mahfoud, and Azeddine Chikh. 2022 · 2022

Later among the works it cites.

Synthesis-powered optimization of smart contracts via data type refactoring

Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, and Isil Dillig. 2022 · 2022

Later among the works it cites.

Graph Pattern Matching in GQL and SQL/PGQ. In International Conference on Management of Data (SIGMOD) . 2246–2258

Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Oskar van Rest, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, and Fred Zemke. 2022 · 2022

Later among the works it cites.