We consider injective first-order interpretations that input and output trees of bounded
height. The corresponding functions have polynomial output size, since a first-order …

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 …

Language-integrated query based on comprehension syntax is a powerful technique for
safe database programming, and provides a basis for advanced techniques such as query …

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

Recent programming languages research has developed language-integrated query, a
convenient technique to seamlessly embed a domain-specific database query language into …

SQL is the world's most popular declarative language, forming the basis of the multi-billion-
dollar database industry. Although SQL has been standardized, the full standard is based on …

The Nested Relational Calculus (NRC) has been an influential high-level query language,
providing power and flexibility while still allowing translation to standard SQL queries. It has …

We consider injective first-order interpretations that input and output trees of bounded
height. The corresponding functions have polynomial output size, since a first-order …

Handling nested data collections in large-scale distributed systems poses considerable
challenges in query processing, often resulting in substantial costs and error susceptibility …

The paper studies and determines the algebraic and logic structure of the multiset semantics
of the core patterns of SPARQL formed by AND, UNION, OPTIONAL, FILTER, MINUS and …