Expressive power of SQL.

DOI10.1016/S0304-3975(02)00736-3zbMath1045.68053MaRDI QIDQ1401278

Leonid O. Libkin

Publication date: 17 August 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

SQLDatabasesAggregationQuery languagesExpressive powerLocality

Mathematics Subject Classification ID

Database theory (68P15) Theory of programming languages (68N15)

Related Items (4)

On the Expressive Power of Query Languages for Matrices ⋮ On the expressive power of linear algebra on graphs ⋮ On matrices and \(K\)-relations ⋮ On the expressiveness of \textsc{Lara}: a proposal for unifying linear and relational algebra

Uses Software

• GraphLog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Principles of programming with complex objects and collection types
• Low-complexity aggregation in GraphLog and Datalog
• Parallel computation with threshold functions
• Counting quantifiers, successor relations, and logarithmic space
• Query languages for bags and aggregate functions
• Metafinite model theory
• Local properties of query languages
• Logical hierarchies in PTIME
• On monadic NP vs monadic co-NP
• Normal forms and conservative extension properties for query languages over collection types
• On uniformity within \(NC^ 1\)
• Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
• Comprehending monads
• Notions of locality and their logical characterizations over finite models
• ON GROUPING IN RELATIONAL ALGEBRA
• Logics with aggregate operators
• Logics with counting and local properties
• Locality of order-invariant first-order formulas
• Natural proofs

This page was built for publication: Expressive power of SQL.