Abstract GQL (Graph Query Language) is being developed as a new ISO standard for graph
query languages to play the same role for graph databases as SQL plays for relational. In …

Runtime verification tools must correctly establish a specification's validity or detect
violations. This task is difficult, especially when the specification is given in an expressive …

This article presents GenSQL, a probabilistic programming system for querying probabilistic
generative models of database tables. By augmenting SQL with only a few key primitives for …

Checking query equivalence is of great significance in database systems. Prior work in
automated query equivalence checking sets the first steps in formally modeling and …

The task of SQL query equivalence checking is important in various real-world applications
(including query rewriting and automated grading) that involve complex queries with …

Tensor compilers, essential for generating efficient code for deep learning models across
various applications, employ tensor graph rewrites as one of the key optimizations. These …

GraphQL is a novel language for specifying and querying web APIs, allowing clients to
flexibly and efficiently retrieve data of interest. The GraphQL language specification is …

Language-integrated query is a powerful programming construct allowing database queries
and ordinary program code to interoperate seamlessly and safely. Languageintegrated …

SQL is by far the most widely used and implemented query language. Yet, on some key
features, such as correlated queries and NULL value semantics, many implementations …

Improving code quality without changing its functionality, eg, by refactoring or optimization, is
an everyday programming activity. Good programming practice requires that each such …