Home

Leonid__Libkin



A Query Language for Multidimensional Arrays: Design, implementation, and Optimization Techniques

A Relational Algebra for Complex Objects based on Partial Information

Aggregate Functions, Conservative Extension, and Linear Orders

Aggregation in Constraint Databases

Conservativity of Nested Relational Calculi with Internal Generic Functions

Incremental recomputation of recursive queries with nested sets and aggregate functions

Logics with counting and local properties

Normalizing Incomplete Databases

On the forms of locality over finite models

Query languages for bags

Query languages for bags and aggregate functions

Semantic representations and query languages for or-sets

Some properties of query languages for bags

Variable independence, quantifier elimination, and constraint representations