Modern verification tools frequently rely on compiling high-level specifications to SMT
queries. However, the high-level specification language is usually more expressive than the …

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 …

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

Language-integrated query has attracted much attention from researchers and engineers. It
enables one to write a database query with high-level abstractions, which makes it possible …

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 study the operational semantics of an untyped computational lambda calculus whose
normal forms represent queries on databases. The calculus extends the computational core …

In the research on computational effects, defined algebraically, effect symbols are often
expected to obey certain equations. If we orient these equations, we get a rewrite system …

We study the operational semantics of an untyped computational lambda-calculus whose
normal forms represent queries on databases. The calculus extends the computational core …